Moduleplutus-core-1.70.0.0
PlutusCore.Evaluation.Machine.Exception
Synopsis
- value notAConstant
- value throwErrorWithCause
- value splitStructuralOperational
- value throwBuiltinErrorWithCause
- value unsafeSplitStructuralOperational
- data BuiltinError
- newtype UnliftingError
- data EvaluationError
- data ErrorWithCause
- class BuiltinErrorToEvaluationError
- type EvaluationException
- data MachineError
- Packageplutus-core-1.70.0.0
- Exports12
- LicenceApache-2.0
Instances4Eq, Show, Pretty, MonadError
Eq BuiltinErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.ResultShow BuiltinErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.ResultPretty BuiltinErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.ResultMonadError BuiltinError BuiltinResultDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Constructors
Instances7Eq, Show, IsString, Semigroup, Monoid, NFData, …
Eq UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.ResultShow UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.ResultIsString UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.ResultSemigroup UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.ResultMonoid UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.ResultNFData UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.ResultPretty UnliftingErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.Result
Constructors
StructuralError !structuralOperationalError !operational
Instances12Bifoldable, Bifunctor, Bitraversable, PrettyBy, Functor, Eq, …
Bifoldable EvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorBifunctor EvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorBitraversable EvaluationErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error(HasPrettyDefaults config ~ 'True, PrettyBy config structural, Pretty operational) => PrettyBy config (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorFunctor (EvaluationError structural)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error(Eq structural, Eq operational) => Eq (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error(Show structural, Show operational) => Show (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorGeneric (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error(NFData structural, NFData operational) => NFData (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error(Pretty structural, Pretty operational) => Pretty (EvaluationError structural operational)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorThrowableBuiltins uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internaltype Rep (EvaluationError structural operational) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Error"EvaluationError"
"PlutusCore.Evaluation.Error"
"plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM"
'False) (C1 ('MetaCons"StructuralError"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 structural)) :+: C1 ('MetaCons"OperationalError"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 operational)))
Constructors
Instances13Bifunctor, PrettyBy, Functor, Foldable, Traversable, Eq, …
Bifunctor ErrorWithCauseDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCause(PrettyBy config cause, PrettyBy config err) => PrettyBy config (ErrorWithCause err cause)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCauseFunctor (ErrorWithCause err)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCauseFoldable (ErrorWithCause err)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCauseTraversable (ErrorWithCause err)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCause(Eq err, Eq cause) => Eq (ErrorWithCause err cause)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCause(PrettyPlc cause, PrettyPlc err) => Show (ErrorWithCause err cause)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCauseGeneric (ErrorWithCause err cause)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCause(PrettyPlc cause, PrettyPlc err, Typeable cause, Typeable err) => Exception (ErrorWithCause err cause)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCause(NFData err, NFData cause) => NFData (ErrorWithCause err cause)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCause(Pretty err, Pretty cause) => Pretty (ErrorWithCause err cause)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCauseThrowableBuiltins uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internaltype Rep (ErrorWithCause err cause) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ErrorWithCause"ErrorWithCause"
"PlutusCore.Evaluation.ErrorWithCause"
"plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM"
'False) (C1 ('MetaCons"ErrorWithCause"
'PrefixI 'True) (S1 ('MetaSel ('Just"_ewcError"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 err) :*: S1 ('MetaSel ('Just"_ewcCause"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe cause))))
Methods
builtinErrorToEvaluationError :: BuiltinError -> EvaluationError structural operational
Instances2BuiltinErrorToEvaluationError
BuiltinErrorToEvaluationError (MachineError fun) CkUserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CkBuiltinErrorToEvaluationError (MachineError fun) CekUserErrorDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal
type
type EvaluationException structural operational = ErrorWithCause (EvaluationError structural operational)Constructors
NonPolymorphicInstantiationMachineErrorNonWrapUnwrappedMachineErrorNonFunctionalApplicationMachineErrorOpenTermEvaluatedMachineErrorUnliftingMachineError UnliftingErrorBuiltinTermArgumentExpectedMachineErrorUnexpectedBuiltinTermArgumentMachineErrorNonConstrScrutinizedMachineErrorMissingCaseBranchMachineError Word64PanicMachineError String
Instances10Functor, PrettyBy, Eq, Show, Generic, NFData, …
Functor MachineErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Exception(HasPrettyDefaults config ~ 'True, Pretty fun) => PrettyBy config (MachineError fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExceptionEq (MachineError fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExceptionShow (MachineError fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExceptionGeneric (MachineError fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExceptionNFData (MachineError fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExceptionBuiltinErrorToEvaluationError (MachineError fun) CkUserErrorDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CkBuiltinErrorToEvaluationError (MachineError fun) CekUserErrorDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.InternalThrowableBuiltins uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internaltype Rep (MachineError fun) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Exception"MachineError"
"PlutusCore.Evaluation.Machine.Exception"
"plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM"
'False) (((C1 ('MetaCons"NonPolymorphicInstantiationMachineError"
'PrefixI 'False) U1 :+: C1 ('MetaCons"NonWrapUnwrappedMachineError"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"NonFunctionalApplicationMachineError"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"OpenTermEvaluatedMachineError"
'PrefixI 'False) U1 :+: C1 ('MetaCons"UnliftingMachineError"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnliftingError))))) :+: ((C1 ('MetaCons"BuiltinTermArgumentExpectedMachineError"
'PrefixI 'False) U1 :+: C1 ('MetaCons"UnexpectedBuiltinTermArgumentMachineError"
'PrefixI 'False) U1) :+: (C1 ('MetaCons"NonConstrScrutinizedMachineError"
'PrefixI 'False) U1 :+: (C1 ('MetaCons"MissingCaseBranchMachineError"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)) :+: C1 ('MetaCons"PanicMachineError"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))