Moduleplutus-core-1.70.0.0
PlutusCore.Error
- 9 types
- 1 class
- 1 value
- Packageplutus-core-1.70.0.0
- Exports11
- LicenceApache-2.0
- SourceError.hs
The type class defines how to print a custom component of ParseError.
Methods
showErrorComponent :: a -> StringPretty-print a component of ParseError.
errorComponentLen :: a -> IntLength of the error component in characters, used for highlighting parse errors in the input string.
Instances2ShowErrorComponent
ShowErrorComponent VoidDefined in megaparsec-9.8.3 · Text.Megaparsec.ErrorShowErrorComponent ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Error
Constructors
Instances9Eq, Ord, Show, Generic, Exception, NFData, …
Eq FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.InternalOrd FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.InternalShow FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.InternalGeneric FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.InternalException FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.InternalNFData FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.InternalPretty FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.InternalAsFreeVariableError FreeVariableErrorDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internaltype Rep FreeVariableError = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal"FreeVariableError"
"PlutusCore.DeBruijn.Internal"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) (C1 ('MetaCons"FreeUnique"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Unique)) :+: C1 ('MetaCons"FreeIndex"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Index)))
Constructors
Instances2Show, Exception
Show ApplyProgramErrorDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorException ApplyProgramErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Error
Constructors
ParseErrorE !ParserErrorBundleUniqueCoherencyErrorE !(UniqueError ann)TypeErrorE !(TypeError (Term TyName Name uni fun ()) uni fun ann)NormCheckErrorE !(NormCheckError TyName Name uni fun ann)FreeVariableErrorE !FreeVariableError
Instances7PrettyBy, Functor, Eq, Show, Generic, NFData, …
(PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (Error uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorFunctor (Error uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Error(Eq fun, Eq ann, Closed uni, Everywhere uni Eq, GEq uni, Eq ParserError) => Eq (Error uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Error(Show fun, Show ann, Closed uni, Everywhere uni Show, GShow uni, Show ParserError) => Show (Error uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorGeneric (Error uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Error(NFData fun, NFData ann, Closed uni, Everywhere uni NFData, NFData ParserError) => NFData (Error uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Errortype Rep (Error uni fun ann) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Error"Error"
"PlutusCore.Error"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) ((C1 ('MetaCons"ParseErrorE"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ParserErrorBundle)) :+: C1 ('MetaCons"UniqueCoherencyErrorE"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UniqueError ann)))) :+: (C1 ('MetaCons"TypeErrorE"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TypeError (Term TyName Name uni fun ()) uni fun ann))) :+: (C1 ('MetaCons"NormCheckErrorE"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NormCheckError TyName Name uni fun ann))) :+: C1 ('MetaCons"FreeVariableErrorE"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FreeVariableError)))))
Constructors
ExpectedShape !Text ![Text]ExpectedExact !a
Instances7Functor, PrettyBy, Eq, Show, Generic, NFData, …
Functor ExpectedShapeOrDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorPrettyBy PrettyConfigPlc a => PrettyBy PrettyConfigPlc (ExpectedShapeOr a)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorEq a => Eq (ExpectedShapeOr a)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorShow a => Show (ExpectedShapeOr a)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorGeneric (ExpectedShapeOr a)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorNFData a => NFData (ExpectedShapeOr a)Defined in plutus-core-1.70.0.0 · PlutusCore.Errortype Rep (ExpectedShapeOr a) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Error"ExpectedShapeOr"
"PlutusCore.Error"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) (C1 ('MetaCons"ExpectedShape"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text])) :+: C1 ('MetaCons"ExpectedExact"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))
Instances7PrettyBy, Functor, Eq, Show, Generic, NFData, …
(Pretty ann, PrettyBy config (Type tyname uni ann), PrettyBy config (Term tyname name uni fun ann)) => PrettyBy config (NormCheckError tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorFunctor (NormCheckError tyname name uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Error(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)Defined in plutus-core-1.70.0.0 · PlutusCore.Error(Show tyname, Show name, Closed uni, Everywhere uni Show, Show fun, Show ann, GShow uni) => Show (NormCheckError tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorGeneric (NormCheckError tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Error(NFData tyname, NFData name, Closed uni, Everywhere uni NFData, NFData fun, NFData ann) => NFData (NormCheckError tyname name uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Errortype Rep (NormCheckError tyname name uni fun ann) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Error"NormCheckError"
"PlutusCore.Error"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) (C1 ('MetaCons"BadType"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Type tyname uni ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: C1 ('MetaCons"BadTerm"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Term tyname name uni fun ann)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))))
Constructors
Instances8Eq, Ord, Show, Generic, NFData, Pretty, …
Eq ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorOrd ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorShow ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorGeneric ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorNFData ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorPretty ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorShowErrorComponent ParserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Errortype Rep ParserError = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Error"ParserError"
"PlutusCore.Error"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) (C1 ('MetaCons"BuiltinTypeNotAStar"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos)) :+: (C1 ('MetaCons"UnknownBuiltinFunction"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Text]))) :+: C1 ('MetaCons"InvalidBuiltinConstant"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SourcePos)))))
Constructors
Instances6Eq, Show, Generic, NFData, Pretty, Rep
Eq ParserErrorBundleDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorShow ParserErrorBundleDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorGeneric ParserErrorBundleDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorNFData ParserErrorBundleDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorPretty ParserErrorBundleDefined in plutus-core-1.70.0.0 · PlutusCore.Errortype Rep ParserErrorBundle = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Error"ParserErrorBundle"
"PlutusCore.Error"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) (C1 ('MetaCons"ParseErrorB"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ParseErrorBundle Text ParserError))))
Constructors
KindMismatch !ann !(Type TyName uni ()) !(ExpectedShapeOr (Kind ())) !(Kind ())TypeMismatch !ann !term !(ExpectedShapeOr (Type TyName uni ())) !(Normalized (Type TyName uni ()))TyNameMismatch !ann !TyName !TyNameNameMismatch !ann !Name !NameFreeTypeVariableE !ann !TyNameFreeVariableE !ann !NameUnknownBuiltinFunctionE !ann !funUnsupportedCaseBuiltin !ann !Text
Instances7PrettyBy, Functor, Eq, Show, Generic, NFData, …
(Pretty term, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (TypeError term uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorFunctor (TypeError term uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Error(GEq uni, Eq term, Eq fun, Eq ann) => Eq (TypeError term uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Error(GShow uni, Show term, Show fun, Show ann) => Show (TypeError term uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorGeneric (TypeError term uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Error(Closed uni, NFData ann, NFData term, NFData fun) => NFData (TypeError term uni fun ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Errortype Rep (TypeError term uni fun ann) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Error"TypeError"
"PlutusCore.Error"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) (((C1 ('MetaCons"KindMismatch"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Type TyName uni ()))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExpectedShapeOr (Kind ()))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Kind ())))) :+: C1 ('MetaCons"TypeMismatch"
'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 term)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ExpectedShapeOr (Type TyName uni ()))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Normalized (Type TyName uni ())))))) :+: (C1 ('MetaCons"TyNameMismatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TyName) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TyName))) :+: C1 ('MetaCons"NameMismatch"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name))))) :+: ((C1 ('MetaCons"FreeTypeVariableE"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TyName)) :+: C1 ('MetaCons"FreeVariableE"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Name))) :+: (C1 ('MetaCons"UnknownBuiltinFunctionE"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 fun)) :+: C1 ('MetaCons"UnsupportedCaseBuiltin"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))
Constructors
MultiplyDefined !Unique !ann !annIncoherentUsage !Unique !ann !annFreeVariable !Unique !ann
Instances8Functor, Eq, Show, Generic, Exception, NFData, …
Functor UniqueErrorDefined in plutus-core-1.70.0.0 · PlutusCore.ErrorEq ann => Eq (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorShow ann => Show (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorGeneric (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorException (UniqueError SrcSpan)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorNFData ann => NFData (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.ErrorPretty ann => Pretty (UniqueError ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Errortype Rep (UniqueError ann) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Error"UniqueError"
"PlutusCore.Error"
"plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt"
'False) (C1 ('MetaCons"MultiplyDefined"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Unique) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))) :+: (C1 ('MetaCons"IncoherentUsage"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Unique) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))) :+: C1 ('MetaCons"FreeVariable"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Unique) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ann))))