Moduleplutus-core-1.70.0.0

PlutusCore.Evaluation.Machine.Ck

4 types
6 values

Packageplutus-core-1.70.0.0
Exports10
LicenceApache-2.0

valueevaluateCk

:: BuiltinsRuntime fun (CkValue uni fun)
-> CaserBuiltin uni
-> Term TyName Name uni fun ()
-> (Either (CkEvaluationException uni fun) (Term TyName Name uni fun ()), [Text])

valueevaluateCkNoEmit

:: BuiltinsRuntime fun (CkValue uni fun)
-> CaserBuiltin uni
-> Term TyName Name uni fun ()
-> Either (CkEvaluationException uni fun) (Term TyName Name uni fun ())

valuereadKnownCk

:: ReadKnown (Term TyName Name uni fun ()) a
=> BuiltinsRuntime fun (CkValue uni fun)
-> CaserBuiltin uni
-> Term TyName Name uni fun ()
-> Either (CkEvaluationException uni fun) a

valuerunCk

:: BuiltinsRuntime fun (CkValue uni fun)
-> CaserBuiltin uni
-> Bool
-> Term TyName Name uni fun ()
-> (Either (CkEvaluationException uni fun) (Term TyName Name uni fun ()), [Text])

valuesplitStructuralOperational

:: Either (EvaluationException structural operational term) a
-> Either (ErrorWithCause structural term) (EvaluationResult a)

valueunsafeSplitStructuralOperational

:: (PrettyPlc structural, PrettyPlc term, Typeable structural, Typeable term)
=> Either (EvaluationException structural operational term) a
-> EvaluationResult a

type

type CkEvaluationException (uni :: Type -> Type) fun = EvaluationException (MachineError fun) CkUserError (Term TyName Name uni fun ())

typetype CkM (uni :: Type -> Type) fun s = ReaderT (CkEnv uni fun s) (ExceptT (CkEvaluationException uni fun) (ST s))

datadata CkValue (uni :: Type -> Type) fun

Instances6PrettyBy, Show, ExMemoryUsage, HasConstant, UniOf

(PrettyUni uni, Pretty fun) => PrettyBy PrettyConfigPlc (CkValue uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck
Show (BuiltinRuntime (CkValue uni fun))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck
(GShow uni, Everywhere uni Show, Show fun, Closed uni) => Show (CkValue uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck
ExMemoryUsage (CkValue uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck
HasConstant (CkValue uni fun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck
type UniOf (CkValue uni fun) = uniDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.Ck

datadata EvaluationResult a

Constructors

EvaluationSuccess !a
EvaluationFailure

Instances21Monad, Functor, MonadFail, Applicative, Foldable, Traversable, …

Monad EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
Functor EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
MonadFail EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
Applicative EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
Foldable EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
Traversable EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
Alternative EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
MonadError () EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
KnownTypeAst tyname uni a => KnownTypeAst tyname uni (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
(TypeError ('Text "Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217"), uni ~ UniOf val) => MakeKnownIn uni val (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
(TypeError ('Text "Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217"), uni ~ UniOf val) => ReadKnownIn uni val (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType
PrettyBy config a => PrettyBy config (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
Eq a => Eq (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
Show a => Show (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
Generic (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
NFData a => NFData (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
PrettyClassic a => Pretty (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
type Rep (EvaluationResult a) = D1 ('MetaData "EvaluationResult" "PlutusCore.Evaluation.Result" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "EvaluationSuccess" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "EvaluationFailure" 'PrefixI 'False) U1)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result
type IsBuiltin uni (EvaluationResult a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToBinds uni acc (EvaluationResult a) = ToBinds uni acc aDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst
type ToHoles uni _1 (EvaluationResult a) = '[TypeHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst