Moduleplutus-core-1.70.0.0
PlutusCore.Evaluation.Result
- 1 type
- 2 values
- Packageplutus-core-1.70.0.0
- Exports3
- LicenceApache-2.0
Constructors
Instances21Monad, Functor, MonadFail, Applicative, Foldable, Traversable, …
Monad EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultFunctor EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultMonadFail EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultApplicative EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultFoldable EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultTraversable EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultAlternative EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultMonadError () EvaluationResultDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultKnownTypeAst tyname uni a => KnownTypeAst tyname uni (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst(TypeError ('TextDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType"Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217"
), uni ~ UniOf val) => MakeKnownIn uni val (EvaluationResult a)(TypeError ('TextDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownType"Use \8216BuiltinResult\8217 instead of \8216EvaluationResult\8217"
), uni ~ UniOf val) => ReadKnownIn uni val (EvaluationResult a)PrettyBy config a => PrettyBy config (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultEq a => Eq (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultShow a => Show (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultGeneric (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultNFData a => NFData (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.ResultPrettyClassic a => Pretty (EvaluationResult a)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Resulttype Rep (EvaluationResult a) = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Result"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)type IsBuiltin uni (EvaluationResult a) = 'FalseDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAsttype ToBinds uni acc (EvaluationResult a) = ToBinds uni acc aDefined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAsttype ToHoles uni _1 (EvaluationResult a) = '[TypeHole a]Defined in plutus-core-1.70.0.0 · PlutusCore.Builtin.KnownTypeAst