Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Evaluation.Result

Description

This module defines a common type various evaluation machine use to return their results.

Synopsis

class AsEvaluationFailure err where
- _EvaluationFailure ∷ Prism' err ()
evaluationFailure ∷ AsEvaluationFailure err ⇒ err
_EvaluationFailureVia ∷ Eq err ⇒ err → Prism' err ()
data EvaluationResult a
- = EvaluationSuccess !a
- | EvaluationFailure
isEvaluationSuccess ∷ EvaluationResult a → Bool
isEvaluationFailure ∷ EvaluationResult a → Bool

Documentation

class AsEvaluationFailure err where Source #

A class for viewing errors as evaluation failures (in the sense of Plutus).

Methods

_EvaluationFailure ∷ Prism' err () Source #

Instances

Instances details

AsEvaluationFailure BuiltinError Source #
Instance details Defined in PlutusCore.Builtin.Result Methods _EvaluationFailure ∷ Prism' BuiltinError () Source #
AsEvaluationFailure CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods _EvaluationFailure ∷ Prism' CekUserError () Source #
AsEvaluationFailure () Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods _EvaluationFailure ∷ Prism' () () Source #
AsEvaluationFailure (BuiltinResult a) Source #
Instance details Defined in PlutusCore.Builtin.Result Methods _EvaluationFailure ∷ Prism' (BuiltinResult a) () Source #
AsEvaluationFailure (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods _EvaluationFailure ∷ Prism' (EvaluationResult a) () Source #
AsEvaluationFailure operational ⇒ AsEvaluationFailure (EvaluationError structural operational) Source #	A raw evaluation failure is always an operational error.
Instance details Defined in PlutusCore.Evaluation.Error Methods _EvaluationFailure ∷ Prism' (EvaluationError structural operational) () Source #
AsEvaluationFailure err ⇒ AsEvaluationFailure (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods _EvaluationFailure ∷ Prism' (ErrorWithCause err cause) () Source #

evaluationFailure ∷ AsEvaluationFailure err ⇒ err Source #

_EvaluationFailureVia ∷ Eq err ⇒ err → Prism' err () Source #

Construct a prism focusing on the *EvaluationFailure part of err by taking that *EvaluationFailure and

returning it for the setter part of the prism
checking the error for equality with *EvaluationFailure for the opposite direction.

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))

isEvaluationSuccess ∷ EvaluationResult a → Bool Source #

Check whether an EvaluationResult is an EvaluationSuccess.

isEvaluationFailure ∷ EvaluationResult a → Bool Source #

Check whether an EvaluationResult is an EvaluationFailure.