Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Error

Contents

Orphan instances

Synopsis

data ParserError
- = BuiltinTypeNotAStar !Text !SourcePos
- | UnknownBuiltinFunction !Text !SourcePos ![Text]
- | InvalidBuiltinConstant !Text !Text !SourcePos
data ParserErrorBundle = ParseErrorB !(ParseErrorBundle Text ParserError)
data NormCheckError tyname name uni fun ann
- = BadType !ann !(Type tyname uni ann) !Text
- | BadTerm !ann !(Term tyname name uni fun ann) !Text
data UniqueError ann
- = MultiplyDefined !Unique !ann !ann
- | IncoherentUsage !Unique !ann !ann
- | FreeVariable !Unique !ann
data ExpectedShapeOr a
- = ExpectedShape !Text ![Text]
- | ExpectedExact !a
data TypeError term uni fun ann
- = KindMismatch !ann !(Type TyName uni ()) !(ExpectedShapeOr (Kind ())) !(Kind ())
- | TypeMismatch !ann !term !(ExpectedShapeOr (Type TyName uni ())) !(Normalized (Type TyName uni ()))
- | TyNameMismatch !ann !TyName !TyName
- | NameMismatch !ann !Name !Name
- | FreeTypeVariableE !ann !TyName
- | FreeVariableE !ann !Name
- | UnknownBuiltinFunctionE !ann !fun
- | UnsupportedCaseBuiltin !ann !Text
data FreeVariableError
- = FreeUnique !Unique
- | FreeIndex !Index
data Error uni fun ann
- = ParseErrorE !ParserErrorBundle
- | UniqueCoherencyErrorE !(UniqueError ann)
- | TypeErrorE !(TypeError (Term TyName Name uni fun ()) uni fun ann)
- | NormCheckErrorE !(NormCheckError TyName Name uni fun ann)
- | FreeVariableErrorE !FreeVariableError
throwingEither ∷ MonadError e m ⇒ AReview e t → Either t a → m a
class Ord a ⇒ ShowErrorComponent a where
- showErrorComponent ∷ a → String
- errorComponentLen ∷ a → Int
data ApplyProgramError = MkApplyProgramError Version Version

Documentation

data ParserError Source #

An error encountered during parsing.

Constructors

BuiltinTypeNotAStar !Text !SourcePos
UnknownBuiltinFunction !Text !SourcePos ![Text]
InvalidBuiltinConstant !Text !Text !SourcePos

Instances

Instances details

Generic ParserError Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep ParserError ∷ Type → Type Source # Methods from ∷ ParserError → Rep ParserError x Source # to ∷ Rep ParserError x → ParserError Source #
Show ParserError Source #
Instance details Defined in PlutusCore.Error Methods showsPrec ∷ Int → ParserError → ShowS Source # show ∷ ParserError → String Source # showList ∷ [ParserError] → ShowS Source #
NFData ParserError Source #
Instance details Defined in PlutusCore.Error Methods rnf ∷ ParserError → () Source #
Eq ParserError Source #
Instance details Defined in PlutusCore.Error Methods (==) ∷ ParserError → ParserError → Bool Source # (/=) ∷ ParserError → ParserError → Bool Source #
Ord ParserError Source #
Instance details Defined in PlutusCore.Error Methods compare ∷ ParserError → ParserError → Ordering Source # (<) ∷ ParserError → ParserError → Bool Source # (<=) ∷ ParserError → ParserError → Bool Source # (>) ∷ ParserError → ParserError → Bool Source # (>=) ∷ ParserError → ParserError → Bool Source # max ∷ ParserError → ParserError → ParserError Source # min ∷ ParserError → ParserError → ParserError Source #
ShowErrorComponent ParserError Source #
Instance details Defined in PlutusCore.Error Methods showErrorComponent ∷ ParserError → String Source # errorComponentLen ∷ ParserError → Int Source #
Pretty ParserError Source #
Instance details Defined in PlutusCore.Error Methods pretty ∷ ParserError → Doc ann Source # prettyList ∷ [ParserError] → Doc ann Source #
type Rep ParserError Source #
Instance details Defined in PlutusCore.Error type Rep ParserError = D1 ('MetaData "ParserError" "PlutusCore.Error" "plutus-core-1.53.0.0-inplace" 'False) (C1 ('MetaCons "BuiltinTypeNotAStar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos)) :+: (C1 ('MetaCons "UnknownBuiltinFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text]))) :+: C1 ('MetaCons "InvalidBuiltinConstant" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos)))))

data ParserErrorBundle Source #

Constructors

ParseErrorB !(ParseErrorBundle Text ParserError)

Instances

Instances details

Generic ParserErrorBundle Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep ParserErrorBundle ∷ Type → Type Source # Methods from ∷ ParserErrorBundle → Rep ParserErrorBundle x Source # to ∷ Rep ParserErrorBundle x → ParserErrorBundle Source #
Show ParserErrorBundle Source #
Instance details Defined in PlutusCore.Error Methods showsPrec ∷ Int → ParserErrorBundle → ShowS Source # show ∷ ParserErrorBundle → String Source # showList ∷ [ParserErrorBundle] → ShowS Source #
NFData ParserErrorBundle Source #
Instance details Defined in PlutusCore.Error Methods rnf ∷ ParserErrorBundle → () Source #
Eq ParserErrorBundle Source #
Instance details Defined in PlutusCore.Error Methods (==) ∷ ParserErrorBundle → ParserErrorBundle → Bool Source # (/=) ∷ ParserErrorBundle → ParserErrorBundle → Bool Source #
Pretty ParserErrorBundle Source #
Instance details Defined in PlutusCore.Error Methods pretty ∷ ParserErrorBundle → Doc ann Source # prettyList ∷ [ParserErrorBundle] → Doc ann Source #
type Rep ParserErrorBundle Source #
Instance details Defined in PlutusCore.Error type Rep ParserErrorBundle = D1 ('MetaData "ParserErrorBundle" "PlutusCore.Error" "plutus-core-1.53.0.0-inplace" 'False) (C1 ('MetaCons "ParseErrorB" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ParseErrorBundle Text ParserError))))

data NormCheckError tyname name uni fun ann Source #

Constructors

BadType !ann !(Type tyname uni ann) !Text
BadTerm !ann !(Term tyname name uni fun ann) !Text

Instances

Instances details

(Pretty ann, PrettyBy config (Type tyname uni ann), PrettyBy config (Term tyname name uni fun ann)) ⇒ PrettyBy config (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy ∷ config → NormCheckError tyname name uni fun ann → Doc ann0 Source # prettyListBy ∷ config → [NormCheckError tyname name uni fun ann] → Doc ann0 Source #
Functor (NormCheckError tyname name uni fun) Source #
Instance details Defined in PlutusCore.Error Methods fmap ∷ (a → b) → NormCheckError tyname name uni fun a → NormCheckError tyname name uni fun b Source # (<$) ∷ a → NormCheckError tyname name uni fun b → NormCheckError tyname name uni fun a Source #
Generic (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (NormCheckError tyname name uni fun ann) ∷ Type → Type Source # Methods from ∷ NormCheckError tyname name uni fun ann → Rep (NormCheckError tyname name uni fun ann) x Source # to ∷ Rep (NormCheckError tyname name uni fun ann) x → NormCheckError tyname name uni fun ann Source #
(Show tyname, Show name, Closed uni, Everywhere uni Show, Show fun, Show ann, GShow uni) ⇒ Show (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods showsPrec ∷ Int → NormCheckError tyname name uni fun ann → ShowS Source # show ∷ NormCheckError tyname name uni fun ann → String Source # showList ∷ [NormCheckError tyname name uni fun ann] → ShowS Source #
(NFData tyname, NFData name, Closed uni, Everywhere uni NFData, NFData fun, NFData ann) ⇒ NFData (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf ∷ NormCheckError tyname name uni fun ann → () Source #
(Eq (Term tyname name uni fun ann), Eq (Type tyname uni ann), GEq uni, Closed uni, Everywhere uni Eq, Eq fun, Eq ann) ⇒ Eq (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods (==) ∷ NormCheckError tyname name uni fun ann → NormCheckError tyname name uni fun ann → Bool Source # (/=) ∷ NormCheckError tyname name uni fun ann → NormCheckError tyname name uni fun ann → Bool Source #
type Rep (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error type Rep (NormCheckError tyname name uni fun ann) = D1 ('MetaData "NormCheckError" "PlutusCore.Error" "plutus-core-1.53.0.0-inplace" 'False) (C1 ('MetaCons "BadType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Type tyname uni ann)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: C1 ('MetaCons "BadTerm" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term tyname name uni fun ann)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))))

data UniqueError ann Source #

Constructors

MultiplyDefined !Unique !ann !ann
IncoherentUsage !Unique !ann !ann
FreeVariable !Unique !ann

Instances

Instances details

Functor UniqueError Source #
Instance details Defined in PlutusCore.Error Methods fmap ∷ (a → b) → UniqueError a → UniqueError b Source # (<$) ∷ a → UniqueError b → UniqueError a Source #
Exception (UniqueError SrcSpan) Source #
Instance details Defined in PlutusCore.Error Methods toException ∷ UniqueError SrcSpan → SomeException Source # fromException ∷ SomeException → Maybe (UniqueError SrcSpan) Source # displayException ∷ UniqueError SrcSpan → String Source #
Generic (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (UniqueError ann) ∷ Type → Type Source # Methods from ∷ UniqueError ann → Rep (UniqueError ann) x Source # to ∷ Rep (UniqueError ann) x → UniqueError ann Source #
Show ann ⇒ Show (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods showsPrec ∷ Int → UniqueError ann → ShowS Source # show ∷ UniqueError ann → String Source # showList ∷ [UniqueError ann] → ShowS Source #
NFData ann ⇒ NFData (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf ∷ UniqueError ann → () Source #
Eq ann ⇒ Eq (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods (==) ∷ UniqueError ann → UniqueError ann → Bool Source # (/=) ∷ UniqueError ann → UniqueError ann → Bool Source #
Pretty ann ⇒ Pretty (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods pretty ∷ UniqueError ann → Doc ann0 Source # prettyList ∷ [UniqueError ann] → Doc ann0 Source #
type Rep (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error type Rep (UniqueError ann) = D1 ('MetaData "UniqueError" "PlutusCore.Error" "plutus-core-1.53.0.0-inplace" 'False) (C1 ('MetaCons "MultiplyDefined" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))) :+: (C1 ('MetaCons "IncoherentUsage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))) :+: C1 ('MetaCons "FreeVariable" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))))

data ExpectedShapeOr a Source #

This is needed for nice kind/type checking error messages. In some cases the type checker knows the exact type that an expression has to have for type checking to succeed (see any of checkTypeM functions and its usages), which is what ExpectedExact is suitable for. In other cases the type checker only cares about the shape of the inferred type, e.g. the type checker knows that the type of a function has to be dom -> cod for type checking to succeed, but it doesn't yet care what dom and cod exactly are. Which is what ExpectedShape is useful for as it allows one to specify the shape of an expected type with some existential variables in it when it's impossible to provide an exact type.

Constructors

ExpectedShape
Fields !Text The expected shape potentially referencing existential variables. ![Text] The list of existential variables.
ExpectedExact !a

Instances

Instances details

Functor ExpectedShapeOr Source #
Instance details Defined in PlutusCore.Error Methods fmap ∷ (a → b) → ExpectedShapeOr a → ExpectedShapeOr b Source # (<$) ∷ a → ExpectedShapeOr b → ExpectedShapeOr a Source #
PrettyBy PrettyConfigPlc a ⇒ PrettyBy PrettyConfigPlc (ExpectedShapeOr a) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy ∷ PrettyConfigPlc → ExpectedShapeOr a → Doc ann Source # prettyListBy ∷ PrettyConfigPlc → [ExpectedShapeOr a] → Doc ann Source #
Generic (ExpectedShapeOr a) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (ExpectedShapeOr a) ∷ Type → Type Source # Methods from ∷ ExpectedShapeOr a → Rep (ExpectedShapeOr a) x Source # to ∷ Rep (ExpectedShapeOr a) x → ExpectedShapeOr a Source #
Show a ⇒ Show (ExpectedShapeOr a) Source #
Instance details Defined in PlutusCore.Error Methods showsPrec ∷ Int → ExpectedShapeOr a → ShowS Source # show ∷ ExpectedShapeOr a → String Source # showList ∷ [ExpectedShapeOr a] → ShowS Source #
NFData a ⇒ NFData (ExpectedShapeOr a) Source #
Instance details Defined in PlutusCore.Error Methods rnf ∷ ExpectedShapeOr a → () Source #
Eq a ⇒ Eq (ExpectedShapeOr a) Source #
Instance details Defined in PlutusCore.Error Methods (==) ∷ ExpectedShapeOr a → ExpectedShapeOr a → Bool Source # (/=) ∷ ExpectedShapeOr a → ExpectedShapeOr a → Bool Source #
type Rep (ExpectedShapeOr a) Source #
Instance details Defined in PlutusCore.Error type Rep (ExpectedShapeOr a) = D1 ('MetaData "ExpectedShapeOr" "PlutusCore.Error" "plutus-core-1.53.0.0-inplace" 'False) (C1 ('MetaCons "ExpectedShape" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text])) :+: C1 ('MetaCons "ExpectedExact" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

data TypeError term uni fun ann Source #

Constructors

KindMismatch
Fields !ann !(Type TyName uni ()) !(ExpectedShapeOr (Kind ())) The expected type or the shape of a kind. !(Kind ()) The actual kind.
TypeMismatch
Fields !ann !term !(ExpectedShapeOr (Type TyName uni ())) The expected type or the shape of a type. !(Normalized (Type TyName uni ())) The actual type.
TyNameMismatch !ann !TyName !TyName
NameMismatch !ann !Name !Name
FreeTypeVariableE !ann !TyName
FreeVariableE !ann !Name
UnknownBuiltinFunctionE !ann !fun
UnsupportedCaseBuiltin !ann !Text

Instances

Instances details

(Pretty term, PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy PrettyConfigPlc (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy ∷ PrettyConfigPlc → TypeError term uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigPlc → [TypeError term uni fun ann] → Doc ann0 Source #
Functor (TypeError term uni fun) Source #
Instance details Defined in PlutusCore.Error Methods fmap ∷ (a → b) → TypeError term uni fun a → TypeError term uni fun b Source # (<$) ∷ a → TypeError term uni fun b → TypeError term uni fun a Source #
Generic (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (TypeError term uni fun ann) ∷ Type → Type Source # Methods from ∷ TypeError term uni fun ann → Rep (TypeError term uni fun ann) x Source # to ∷ Rep (TypeError term uni fun ann) x → TypeError term uni fun ann Source #
(GShow uni, Show term, Show fun, Show ann) ⇒ Show (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods showsPrec ∷ Int → TypeError term uni fun ann → ShowS Source # show ∷ TypeError term uni fun ann → String Source # showList ∷ [TypeError term uni fun ann] → ShowS Source #
(Closed uni, NFData ann, NFData term, NFData fun) ⇒ NFData (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf ∷ TypeError term uni fun ann → () Source #
(GEq uni, Eq term, Eq fun, Eq ann) ⇒ Eq (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods (==) ∷ TypeError term uni fun ann → TypeError term uni fun ann → Bool Source # (/=) ∷ TypeError term uni fun ann → TypeError term uni fun ann → Bool Source #
type Rep (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error type Rep (TypeError term uni fun ann) = D1 ('MetaData "TypeError" "PlutusCore.Error" "plutus-core-1.53.0.0-inplace" 'False) (((C1 ('MetaCons "KindMismatch" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Type TyName uni ()))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExpectedShapeOr (Kind ()))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Kind ())))) :+: C1 ('MetaCons "TypeMismatch" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 term)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExpectedShapeOr (Type TyName uni ()))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Normalized (Type TyName uni ())))))) :+: (C1 ('MetaCons "TyNameMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TyName) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TyName))) :+: C1 ('MetaCons "NameMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name))))) :+: ((C1 ('MetaCons "FreeTypeVariableE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TyName)) :+: C1 ('MetaCons "FreeVariableE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name))) :+: (C1 ('MetaCons "UnknownBuiltinFunctionE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 fun)) :+: C1 ('MetaCons "UnsupportedCaseBuiltin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))

data FreeVariableError Source #

We cannot do a correct translation to or from de Bruijn indices if the program is not well-scoped. So we throw an error in such a case.

Constructors

FreeUnique !Unique
FreeIndex !Index

Instances

Instances details

Exception FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods toException ∷ FreeVariableError → SomeException Source # fromException ∷ SomeException → Maybe FreeVariableError Source # displayException ∷ FreeVariableError → String Source #
Generic FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Associated Types type Rep FreeVariableError ∷ Type → Type Source # Methods from ∷ FreeVariableError → Rep FreeVariableError x Source # to ∷ Rep FreeVariableError x → FreeVariableError Source #
Show FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods showsPrec ∷ Int → FreeVariableError → ShowS Source # show ∷ FreeVariableError → String Source # showList ∷ [FreeVariableError] → ShowS Source #
NFData FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods rnf ∷ FreeVariableError → () Source #
Eq FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods (==) ∷ FreeVariableError → FreeVariableError → Bool Source # (/=) ∷ FreeVariableError → FreeVariableError → Bool Source #
Ord FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods compare ∷ FreeVariableError → FreeVariableError → Ordering Source # (<) ∷ FreeVariableError → FreeVariableError → Bool Source # (<=) ∷ FreeVariableError → FreeVariableError → Bool Source # (>) ∷ FreeVariableError → FreeVariableError → Bool Source # (>=) ∷ FreeVariableError → FreeVariableError → Bool Source # max ∷ FreeVariableError → FreeVariableError → FreeVariableError Source # min ∷ FreeVariableError → FreeVariableError → FreeVariableError Source #
Pretty FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty ∷ FreeVariableError → Doc ann Source # prettyList ∷ [FreeVariableError] → Doc ann Source #
type Rep FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal type Rep FreeVariableError = D1 ('MetaData "FreeVariableError" "PlutusCore.DeBruijn.Internal" "plutus-core-1.53.0.0-inplace" 'False) (C1 ('MetaCons "FreeUnique" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Unique)) :+: C1 ('MetaCons "FreeIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Index)))

data Error uni fun ann Source #

Constructors

ParseErrorE !ParserErrorBundle
UniqueCoherencyErrorE !(UniqueError ann)
TypeErrorE !(TypeError (Term TyName Name uni fun ()) uni fun ann)
NormCheckErrorE !(NormCheckError TyName Name uni fun ann)
FreeVariableErrorE !FreeVariableError

Instances

Instances details

(PrettyUni uni, Pretty fun, Pretty ann) ⇒ PrettyBy PrettyConfigPlc (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy ∷ PrettyConfigPlc → Error uni fun ann → Doc ann0 Source # prettyListBy ∷ PrettyConfigPlc → [Error uni fun ann] → Doc ann0 Source #
Functor (Error uni fun) Source #
Instance details Defined in PlutusCore.Error Methods fmap ∷ (a → b) → Error uni fun a → Error uni fun b Source # (<$) ∷ a → Error uni fun b → Error uni fun a Source #
Generic (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Associated Types type Rep (Error uni fun ann) ∷ Type → Type Source # Methods from ∷ Error uni fun ann → Rep (Error uni fun ann) x Source # to ∷ Rep (Error uni fun ann) x → Error uni fun ann Source #
(Show fun, Show ann, Closed uni, Everywhere uni Show, GShow uni, Show ParserError) ⇒ Show (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods showsPrec ∷ Int → Error uni fun ann → ShowS Source # show ∷ Error uni fun ann → String Source # showList ∷ [Error uni fun ann] → ShowS Source #
(NFData fun, NFData ann, Closed uni, Everywhere uni NFData, NFData ParserError) ⇒ NFData (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods rnf ∷ Error uni fun ann → () Source #
(Eq fun, Eq ann, Closed uni, Everywhere uni Eq, GEq uni, Eq ParserError) ⇒ Eq (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods (==) ∷ Error uni fun ann → Error uni fun ann → Bool Source # (/=) ∷ Error uni fun ann → Error uni fun ann → Bool Source #
type Rep (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error type Rep (Error uni fun ann) = D1 ('MetaData "Error" "PlutusCore.Error" "plutus-core-1.53.0.0-inplace" 'False) ((C1 ('MetaCons "ParseErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ParserErrorBundle)) :+: C1 ('MetaCons "UniqueCoherencyErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UniqueError ann)))) :+: (C1 ('MetaCons "TypeErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TypeError (Term TyName Name uni fun ()) uni fun ann))) :+: (C1 ('MetaCons "NormCheckErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NormCheckError TyName Name uni fun ann))) :+: C1 ('MetaCons "FreeVariableErrorE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FreeVariableError)))))

throwingEither ∷ MonadError e m ⇒ AReview e t → Either t a → m a Source #

Lifts an Either into an error context where we can embed the Left value into the error.

class Ord a ⇒ ShowErrorComponent a where Source #

The type class defines how to print a custom component of ParseError.

Since: megaparsec-5.0.0

Minimal complete definition

showErrorComponent

Methods

showErrorComponent ∷ a → String Source #

Pretty-print a component of ParseError.

errorComponentLen ∷ a → Int Source #

Length of the error component in characters, used for highlighting of parse errors in input string.

Since: megaparsec-7.0.0

Instances

Instances details

ShowErrorComponent Void
Instance details Defined in Text.Megaparsec.Error Methods showErrorComponent ∷ Void → String Source # errorComponentLen ∷ Void → Int Source #
ShowErrorComponent ParserError Source #
Instance details Defined in PlutusCore.Error Methods showErrorComponent ∷ ParserError → String Source # errorComponentLen ∷ ParserError → Int Source #

data ApplyProgramError Source #

Errors from applyProgram for PIR, PLC, UPLC.

Constructors

MkApplyProgramError Version Version

Instances

Instances details

Exception ApplyProgramError Source #
Instance details Defined in PlutusCore.Error Methods toException ∷ ApplyProgramError → SomeException Source # fromException ∷ SomeException → Maybe ApplyProgramError Source # displayException ∷ ApplyProgramError → String Source #
Show ApplyProgramError Source #
Instance details Defined in PlutusCore.Error Methods showsPrec ∷ Int → ApplyProgramError → ShowS Source # show ∷ ApplyProgramError → String Source # showList ∷ [ApplyProgramError] → ShowS Source #

Orphan instances

Pretty SourcePos Source #
Instance details Methods pretty ∷ SourcePos → Doc ann Source # prettyList ∷ [SourcePos] → Doc ann Source #