plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

prettyByPrettyConfigPlcError uni fun ann → Doc ann0 Source #

prettyListByPrettyConfigPlc → [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

toExceptionError uni fun ann → SomeException Source #

fromExceptionSomeExceptionMaybe (Error uni fun ann) Source #

displayExceptionError 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

showsPrecIntError uni fun ann → ShowS Source #

showError 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 #