inductive MLIR.AST.TransformError (Ty : Type) : Type

• nameAlreadyDeclared: {Ty : Type} → String → MLIR.AST.TransformError Ty
• undeclaredName: {Ty : Type} → String → MLIR.AST.TransformError Ty
• indexOutOfBounds: {Ty : Type} → String → ℕ → ℕ → MLIR.AST.TransformError Ty
• typeError: {Ty : Type} → Ty → Ty → MLIR.AST.TransformError Ty
• widthError: {Ty : Type} → {φ : ℕ} → MLIR.AST.Width φ → MLIR.AST.Width φ → MLIR.AST.TransformError Ty
• unsupportedUnaryOp: {Ty : Type} → MLIR.AST.TransformError Ty
• unsupportedBinaryOp: {Ty : Type} → String → MLIR.AST.TransformError Ty
• unsupportedOp: {Ty : Type} → String → MLIR.AST.TransformError Ty
• unsupportedType: {Ty : Type} → MLIR.AST.TransformError Ty
• generic: {Ty : Type} → String → MLIR.AST.TransformError Ty

instance MLIR.AST.TransformError.instRepr {Ty : Type} [Repr Ty] : Repr (MLIR.AST.TransformError Ty)

Equations

• One or more equations did not get rendered due to their size.