Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Evaluation.Machine.Ck

Description

The CK machine.

Synopsis

data EvaluationResult a
- = EvaluationSuccess !a
- | EvaluationFailure
type CkEvaluationException uni fun = EvaluationException (MachineError fun) CkUserError (Term TyName Name uni fun ())
type CkM uni fun s = ReaderT (CkEnv uni fun s) (ExceptT (CkEvaluationException uni fun) (ST s))
data CkValue uni fun
runCk ∷ BuiltinsRuntime fun (CkValue uni fun) → Bool → Term TyName Name uni fun () → (Either (CkEvaluationException uni fun) (Term TyName Name uni fun ()), [Text])
splitStructuralOperational ∷ Either (EvaluationException structural operational term) a → Either (ErrorWithCause structural term) (EvaluationResult a)
unsafeSplitStructuralOperational ∷ (PrettyPlc structural, PrettyPlc term, Typeable structural, Typeable term) ⇒ Either (EvaluationException structural operational term) a → EvaluationResult a
evaluateCk ∷ BuiltinsRuntime fun (CkValue uni fun) → Term TyName Name uni fun () → (Either (CkEvaluationException uni fun) (Term TyName Name uni fun ()), [Text])
evaluateCkNoEmit ∷ BuiltinsRuntime fun (CkValue uni fun) → Term TyName Name uni fun () → Either (CkEvaluationException uni fun) (Term TyName Name uni fun ())
readKnownCk ∷ ReadKnown (Term TyName Name uni fun ()) a ⇒ BuiltinsRuntime fun (CkValue uni fun) → Term TyName Name uni fun () → Either (CkEvaluationException uni fun) a

Documentation

data EvaluationResult a Source #

The parameterized type of results various evaluation engines return. On the PLC side this becomes (via makeKnown) either a call to Error or a value of the PLC counterpart of type a.

Constructors

EvaluationSuccess !a
EvaluationFailure

Instances

Instances details

MonadFail EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods fail ∷ String → EvaluationResult a Source #
Foldable EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods fold ∷ Monoid m ⇒ EvaluationResult m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → EvaluationResult a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → EvaluationResult a → m Source # foldr ∷ (a → b → b) → b → EvaluationResult a → b Source # foldr' ∷ (a → b → b) → b → EvaluationResult a → b Source # foldl ∷ (b → a → b) → b → EvaluationResult a → b Source # foldl' ∷ (b → a → b) → b → EvaluationResult a → b Source # foldr1 ∷ (a → a → a) → EvaluationResult a → a Source # foldl1 ∷ (a → a → a) → EvaluationResult a → a Source # toList ∷ EvaluationResult a → [a] Source # null ∷ EvaluationResult a → Bool Source # length ∷ EvaluationResult a → Int Source # elem ∷ Eq a ⇒ a → EvaluationResult a → Bool Source # maximum ∷ Ord a ⇒ EvaluationResult a → a Source # minimum ∷ Ord a ⇒ EvaluationResult a → a Source # sum ∷ Num a ⇒ EvaluationResult a → a Source # product ∷ Num a ⇒ EvaluationResult a → a Source #
Traversable EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods traverse ∷ Applicative f ⇒ (a → f b) → EvaluationResult a → f (EvaluationResult b) Source # sequenceA ∷ Applicative f ⇒ EvaluationResult (f a) → f (EvaluationResult a) Source # mapM ∷ Monad m ⇒ (a → m b) → EvaluationResult a → m (EvaluationResult b) Source # sequence ∷ Monad m ⇒ EvaluationResult (m a) → m (EvaluationResult a) Source #
Alternative EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods empty ∷ EvaluationResult a Source # (<\|>) ∷ EvaluationResult a → EvaluationResult a → EvaluationResult a Source # some ∷ EvaluationResult a → EvaluationResult [a] Source # many ∷ EvaluationResult a → EvaluationResult [a] Source #
Applicative EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods pure ∷ a → EvaluationResult a Source # (<>) ∷ EvaluationResult (a → b) → EvaluationResult a → EvaluationResult b Source # liftA2 ∷ (a → b → c) → EvaluationResult a → EvaluationResult b → EvaluationResult c Source # (>) ∷ EvaluationResult a → EvaluationResult b → EvaluationResult b Source # (<*) ∷ EvaluationResult a → EvaluationResult b → EvaluationResult a Source #
Functor EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods fmap ∷ (a → b) → EvaluationResult a → EvaluationResult b Source # (<$) ∷ a → EvaluationResult b → EvaluationResult a Source #
Monad EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods (>>=) ∷ EvaluationResult a → (a → EvaluationResult b) → EvaluationResult b Source # (>>) ∷ EvaluationResult a → EvaluationResult b → EvaluationResult b Source # return ∷ a → EvaluationResult a Source #
MonadError () EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods throwError ∷ () → EvaluationResult a Source # catchError ∷ EvaluationResult a → (() → EvaluationResult a) → EvaluationResult a Source #
KnownTypeAst tyname uni a ⇒ KnownTypeAst tyname uni (EvaluationResult a ∷ Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst Associated Types type IsBuiltin uni (EvaluationResult a) ∷ Bool Source # type ToHoles uni hole (EvaluationResult a) ∷ [Hole] Source # type ToBinds uni acc (EvaluationResult a) ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type0 tyname uni () Source #
(TypeError ('Text "Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217") ∷ Constraint, uni ~ UniOf val) ⇒ MakeKnownIn uni val (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Builtin.KnownType Methods makeKnown ∷ EvaluationResult a → BuiltinResult (HeadSpine val) Source #
(TypeError ('Text "Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217") ∷ Constraint, uni ~ UniOf val) ⇒ ReadKnownIn uni val (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Builtin.KnownType Methods readKnown ∷ val → ReadKnownM (EvaluationResult a) Source #
PrettyBy config a ⇒ PrettyBy config (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods prettyBy ∷ config → EvaluationResult a → Doc ann Source # prettyListBy ∷ config → [EvaluationResult a] → Doc ann Source #
Generic (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Associated Types type Rep (EvaluationResult a) ∷ Type → Type Source # Methods from ∷ EvaluationResult a → Rep (EvaluationResult a) x Source # to ∷ Rep (EvaluationResult a) x → EvaluationResult a Source #
Show a ⇒ Show (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods showsPrec ∷ Int → EvaluationResult a → ShowS Source # show ∷ EvaluationResult a → String Source # showList ∷ [EvaluationResult a] → ShowS Source #
NFData a ⇒ NFData (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods rnf ∷ EvaluationResult a → () Source #
Eq a ⇒ Eq (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods (==) ∷ EvaluationResult a → EvaluationResult a → Bool Source # (/=) ∷ EvaluationResult a → EvaluationResult a → Bool Source #
AsEvaluationFailure (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods _EvaluationFailure ∷ Prism' (EvaluationResult a) () Source #
PrettyClassic a ⇒ Pretty (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods pretty ∷ EvaluationResult a → Doc ann Source # prettyList ∷ [EvaluationResult a] → Doc ann Source #
type ToBinds uni acc (EvaluationResult a ∷ Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type ToBinds uni acc (EvaluationResult a ∷ Type) = ToBinds uni acc a
type ToHoles uni _1 (EvaluationResult a ∷ Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type ToHoles uni _1 (EvaluationResult a ∷ Type) = '[TypeHole a ∷ Hole]
type IsBuiltin uni (EvaluationResult a ∷ Type) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type IsBuiltin uni (EvaluationResult a ∷ Type) = 'False
type Rep (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result type Rep (EvaluationResult a) = D1 ('MetaData "EvaluationResult" "PlutusCore.Evaluation.Result" "plutus-core-1.39.0.0-inplace" 'False) (C1 ('MetaCons "EvaluationSuccess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)) :+: C1 ('MetaCons "EvaluationFailure" 'PrefixI 'False) (U1 ∷ Type → Type))

type CkEvaluationException uni fun = EvaluationException (MachineError fun) CkUserError (Term TyName Name uni fun ()) Source #

The CK machine-specific EvaluationException.

type CkM uni fun s = ReaderT (CkEnv uni fun s) (ExceptT (CkEvaluationException uni fun) (ST s)) Source #

data CkValue uni fun Source #

Instances

Instances details

(PrettyUni uni, Pretty fun) ⇒ PrettyBy PrettyConfigPlc (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods prettyBy ∷ PrettyConfigPlc → CkValue uni fun → Doc ann Source # prettyListBy ∷ PrettyConfigPlc → [CkValue uni fun] → Doc ann Source #
Show (BuiltinRuntime (CkValue uni fun)) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods showsPrec ∷ Int → BuiltinRuntime (CkValue uni fun) → ShowS Source # show ∷ BuiltinRuntime (CkValue uni fun) → String Source # showList ∷ [BuiltinRuntime (CkValue uni fun)] → ShowS Source #
(GShow uni, Everywhere uni Show, Show fun, Closed uni) ⇒ Show (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods showsPrec ∷ Int → CkValue uni fun → ShowS Source # show ∷ CkValue uni fun → String Source # showList ∷ [CkValue uni fun] → ShowS Source #
HasConstant (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods asConstant ∷ CkValue uni fun → Either BuiltinError (Some (ValueOf (UniOf (CkValue uni fun)))) Source # fromConstant ∷ Some (ValueOf (UniOf (CkValue uni fun))) → CkValue uni fun Source #
ExMemoryUsage (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods memoryUsage ∷ CkValue uni fun → CostRose Source #
type UniOf (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck type UniOf (CkValue uni fun) = uni

runCk ∷ BuiltinsRuntime fun (CkValue uni fun) → Bool → Term TyName Name uni fun () → (Either (CkEvaluationException uni fun) (Term TyName Name uni fun ()), [Text]) Source #

splitStructuralOperational ∷ Either (EvaluationException structural operational term) a → Either (ErrorWithCause structural term) (EvaluationResult a) Source #

Preserve the contents of an StructuralEvaluationError as a Left and turn an OperationalEvaluationError into a Right EvaluationFailure (thus erasing the content of the error in the latter case).

unsafeSplitStructuralOperational ∷ (PrettyPlc structural, PrettyPlc term, Typeable structural, Typeable term) ⇒ Either (EvaluationException structural operational term) a → EvaluationResult a Source #

Throw on a StructuralEvaluationError and turn an OperationalEvaluationError into an EvaluationFailure (thus erasing the content of the error in the latter case).

evaluateCk ∷ BuiltinsRuntime fun (CkValue uni fun) → Term TyName Name uni fun () → (Either (CkEvaluationException uni fun) (Term TyName Name uni fun ()), [Text]) Source #

Evaluate a term using the CK machine with logging enabled.

evaluateCkNoEmit ∷ BuiltinsRuntime fun (CkValue uni fun) → Term TyName Name uni fun () → Either (CkEvaluationException uni fun) (Term TyName Name uni fun ()) Source #

Evaluate a term using the CK machine with logging disabled.

readKnownCk ∷ ReadKnown (Term TyName Name uni fun ()) a ⇒ BuiltinsRuntime fun (CkValue uni fun) → Term TyName Name uni fun () → Either (CkEvaluationException uni fun) a Source #

Unlift a value using the CK machine.