Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Compiler.Error

Documentation

data Error uni fun a Source #

Constructors

CompilationError !a !Text	A generic compilation error.
UnsupportedError !a !Text	An error relating specifically to an unsupported feature.
PLCError !(Error uni fun a)	An error from running some PLC function, lifted into this error type for convenience.

Instances

Instances details

(PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy PrettyConfigPlc (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Compiler.Error Methods prettyBy ∷ PrettyConfigPlc → Error uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigPlc → [Error uni fun ann] → Doc ann0 Source #
(ThrowableBuiltins uni fun, Pretty ann, Typeable ann) ⇒ Exception (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Compiler.Error Methods toException ∷ Error uni fun ann → SomeException Source # fromException ∷ SomeException → Maybe (Error uni fun ann) Source # displayException ∷ Error uni fun ann → String Source #
(PrettyUni uni, Pretty fun, Pretty ann) ⇒ Show (Error uni fun ann) Source #
Instance details Defined in PlutusIR.Compiler.Error Methods showsPrec ∷ Int → Error uni fun ann → ShowS Source # show ∷ Error uni fun ann → String Source # showList ∷ [Error uni fun ann] → ShowS Source #
AsError (Error uni fun a) uni fun a Source #
Instance details Defined in PlutusIR.Compiler.Error Methods _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 # _PLCError ∷ Prism' (Error uni fun a) (Error0 uni fun a) Source #
AsTypeError (Error uni fun ann) (Term TyName Name uni fun ()) uni fun ann Source #
Instance details Defined in PlutusIR.Compiler.Error Methods _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 #

class AsError r uni fun a | r → uni fun a where Source #

Minimal complete definition

_Error

Methods

_Error ∷ Prism' r (Error uni fun a) Source #

_CompilationError ∷ Prism' r (a, Text) Source #

_UnsupportedError ∷ Prism' r (a, Text) Source #

_PLCError ∷ Prism' r (Error uni fun a) Source #

Instances

Instances details

AsError (Error uni fun a) uni fun a Source #
Instance details Defined in PlutusIR.Compiler.Error Methods _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 # _PLCError ∷ Prism' (Error uni fun a) (Error0 uni fun a) Source #