Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
CompilationError !a !Text | A generic compilation error. |
UnsupportedError !a !Text | An error relating specifically to an unsupported feature. |
OptionsError !Text | An error relating to compilation options. |
PLCError !(Error uni fun a) | An error from running some PLC function, lifted into this error type for convenience. |
PLCTypeError !(TypeError (Term TyName Name uni fun ()) uni fun a) | |
PIRTypeError !(TypeErrorExt uni a) |
Instances
class AsTypeError r term (uni ∷ Type → Type) fun ann | r → term uni fun ann where Source #
_TypeError ∷ Prism' r (TypeError term uni fun ann) Source #
_KindMismatch ∷ Prism' r (ann, Type TyName uni (), ExpectedShapeOr (Kind ()), Kind ()) Source #
_TypeMismatch ∷ Prism' r (ann, term, ExpectedShapeOr (Type TyName uni ()), Normalized (Type TyName uni ())) Source #
_TyNameMismatch ∷ Prism' r (ann, TyName, TyName) Source #
_NameMismatch ∷ Prism' r (ann, Name, Name) Source #
_FreeTypeVariableE ∷ Prism' r (ann, TyName) Source #
_FreeVariableE ∷ Prism' r (ann, Name) Source #
_UnknownBuiltinFunctionE ∷ Prism' r (ann, fun) Source #
Instances
AsTypeError (Error uni fun ann) (Term TyName Name uni fun ()) uni fun ann | |
Defined in PlutusCore.Error _TypeError ∷ Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source # _KindMismatch ∷ Prism' (Error uni fun ann) (ann, Type TyName uni (), ExpectedShapeOr (Kind ()), Kind ()) Source # _TypeMismatch ∷ Prism' (Error uni fun ann) (ann, Term TyName Name uni fun (), ExpectedShapeOr (Type TyName uni ()), Normalized (Type TyName uni ())) Source # _TyNameMismatch ∷ Prism' (Error uni fun ann) (ann, TyName, TyName) Source # _NameMismatch ∷ Prism' (Error uni fun ann) (ann, Name, Name) Source # _FreeTypeVariableE ∷ Prism' (Error uni fun ann) (ann, TyName) Source # _FreeVariableE ∷ Prism' (Error uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE ∷ Prism' (Error uni fun ann) (ann, fun) Source # | |
AsTypeError (Error uni fun ann) (Term TyName Name uni fun ()) uni fun ann Source # | |
Defined in PlutusIR.Compiler.Error _TypeError ∷ Prism' (Error uni fun ann) (TypeError (Term TyName Name uni fun ()) uni fun ann) Source # _KindMismatch ∷ Prism' (Error uni fun ann) (ann, Type TyName uni (), ExpectedShapeOr (Kind ()), Kind ()) Source # _TypeMismatch ∷ Prism' (Error uni fun ann) (ann, Term TyName Name uni fun (), ExpectedShapeOr (Type TyName uni ()), Normalized (Type TyName uni ())) Source # _TyNameMismatch ∷ Prism' (Error uni fun ann) (ann, TyName, TyName) Source # _NameMismatch ∷ Prism' (Error uni fun ann) (ann, Name, Name) Source # _FreeTypeVariableE ∷ Prism' (Error uni fun ann) (ann, TyName) Source # _FreeVariableE ∷ Prism' (Error uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE ∷ Prism' (Error uni fun ann) (ann, fun) Source # | |
AsTypeError (Error uni fun a) (Term TyName Name uni fun ()) uni fun a Source # | |
Defined in PlutusIR.Error _TypeError ∷ Prism' (Error uni fun a) (TypeError (Term TyName Name uni fun ()) uni fun a) Source # _KindMismatch ∷ Prism' (Error uni fun a) (a, Type TyName uni (), ExpectedShapeOr (Kind ()), Kind ()) Source # _TypeMismatch ∷ Prism' (Error uni fun a) (a, Term TyName Name uni fun (), ExpectedShapeOr (Type TyName uni ()), Normalized (Type TyName uni ())) Source # _TyNameMismatch ∷ Prism' (Error uni fun a) (a, TyName, TyName) Source # _NameMismatch ∷ Prism' (Error uni fun a) (a, Name, Name) Source # _FreeTypeVariableE ∷ Prism' (Error uni fun a) (a, TyName) Source # _FreeVariableE ∷ Prism' (Error uni fun a) (a, Name) Source # _UnknownBuiltinFunctionE ∷ Prism' (Error uni fun a) (a, fun) Source # | |
AsTypeError (TypeError term uni fun ann) term uni fun ann | |
Defined in PlutusCore.Error _TypeError ∷ Prism' (TypeError term uni fun ann) (TypeError term uni fun ann) Source # _KindMismatch ∷ Prism' (TypeError term uni fun ann) (ann, Type TyName uni (), ExpectedShapeOr (Kind ()), Kind ()) Source # _TypeMismatch ∷ Prism' (TypeError term uni fun ann) (ann, term, ExpectedShapeOr (Type TyName uni ()), Normalized (Type TyName uni ())) Source # _TyNameMismatch ∷ Prism' (TypeError term uni fun ann) (ann, TyName, TyName) Source # _NameMismatch ∷ Prism' (TypeError term uni fun ann) (ann, Name, Name) Source # _FreeTypeVariableE ∷ Prism' (TypeError term uni fun ann) (ann, TyName) Source # _FreeVariableE ∷ Prism' (TypeError term uni fun ann) (ann, Name) Source # _UnknownBuiltinFunctionE ∷ Prism' (TypeError term uni fun ann) (ann, fun) Source # |
data TypeError term (uni ∷ Type → Type) fun ann Source #
Instances
class AsTypeErrorExt r uni ann | r → uni ann where Source #
_TypeErrorExt ∷ Prism' r (TypeErrorExt uni ann) Source #
_MalformedDataConstrResType ∷ Prism' r (ann, Type TyName uni ann) Source #
Instances
AsTypeErrorExt (TypeErrorExt uni ann) uni ann Source # | |
Defined in PlutusIR.Error _TypeErrorExt ∷ Prism' (TypeErrorExt uni ann) (TypeErrorExt uni ann) Source # _MalformedDataConstrResType ∷ Prism' (TypeErrorExt uni ann) (ann, Type TyName uni ann) Source # | |
AsTypeErrorExt (Error uni fun a) uni a Source # | |
Defined in PlutusIR.Error _TypeErrorExt ∷ Prism' (Error uni fun a) (TypeErrorExt uni a) Source # _MalformedDataConstrResType ∷ Prism' (Error uni fun a) (a, Type TyName uni a) Source # |
class AsError r uni fun a | r → uni fun a where Source #
_Error ∷ Prism' r (Error uni fun a) Source #
_CompilationError ∷ Prism' r (a, Text) Source #
_UnsupportedError ∷ Prism' r (a, Text) Source #
_OptionsError ∷ Prism' r Text Source #
_PLCError ∷ Prism' r (Error uni fun a) Source #
_PLCTypeError ∷ Prism' r (TypeError (Term TyName Name uni fun ()) uni fun a) Source #
_PIRTypeError ∷ Prism' r (TypeErrorExt uni a) Source #
Instances
AsError (Error uni fun a) uni fun a Source # | |
Defined in PlutusIR.Error _Error ∷ Prism' (Error uni fun a) (Error uni fun a) Source # _CompilationError ∷ Prism' (Error uni fun a) (a, Text) Source # _UnsupportedError ∷ Prism' (Error uni fun a) (a, Text) Source # _OptionsError ∷ Prism' (Error uni fun a) Text Source # _PLCError ∷ Prism' (Error uni fun a) (Error0 uni fun a) Source # _PLCTypeError ∷ Prism' (Error uni fun a) (TypeError (Term TyName Name uni fun ()) uni fun a) Source # _PIRTypeError ∷ Prism' (Error uni fun a) (TypeErrorExt uni a) Source # |
data TypeErrorExt uni ann Source #
MalformedDataConstrResType !ann !(Type TyName uni ann) |
Instances
newtype Normalized a Source #