Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.Plutus.Evaluate

Synopsis

evalPlutusScripts ∷ EraTx era ⇒ Tx era → [PlutusWithContext (EraCrypto era)] → ScriptResult (EraCrypto era)
evalPlutusScriptsWithLogs ∷ EraTx era ⇒ Tx era → [PlutusWithContext (EraCrypto era)] → ([Text], ScriptResult (EraCrypto era))
data CollectError era
- = NoRedeemer !(PlutusPurpose AsItem era)
- | NoWitness !(ScriptHash (EraCrypto era))
- | NoCostModel !Language
- | BadTranslation !(ContextError era)
collectPlutusScriptsWithContext ∷ ∀ era. (AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraPlutusContext era) ⇒ EpochInfo (Either Text) → SystemStart → PParams era → Tx era → UTxO era → Either [CollectError era] [PlutusWithContext (EraCrypto era)]
lookupPlutusScript ∷ AlonzoEraScript era ⇒ Map (ScriptHash (EraCrypto era)) (Script era) → ScriptHash (EraCrypto era) → Maybe (PlutusScript era)

Documentation

evalPlutusScripts ∷ EraTx era ⇒ Tx era → [PlutusWithContext (EraCrypto era)] → ScriptResult (EraCrypto era) Source #

Evaluate a list of Plutus scripts. All scripts in the list must evaluate to True.

evalPlutusScriptsWithLogs ∷ EraTx era ⇒ Tx era → [PlutusWithContext (EraCrypto era)] → ([Text], ScriptResult (EraCrypto era)) Source #

data CollectError era Source #

When collecting inputs for two phase scripts, 3 things can go wrong.

Constructors

NoRedeemer !(PlutusPurpose AsItem era)
NoWitness !(ScriptHash (EraCrypto era))
NoCostModel !Language
BadTranslation !(ContextError era)

Instances

Instances details

(Era era, ToJSON (PlutusPurpose AsItem era), ToJSON (ContextError era)) ⇒ ToJSON (CollectError era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.Evaluate Methods toJSON ∷ CollectError era → Value Source # toEncoding ∷ CollectError era → Encoding Source # toJSONList ∷ [CollectError era] → Value Source # toEncodingList ∷ [CollectError era] → Encoding Source # omitField ∷ CollectError era → Bool Source #
Generic (CollectError era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.Evaluate Associated Types type Rep (CollectError era) ∷ Type → Type Source # Methods from ∷ CollectError era → Rep (CollectError era) x Source # to ∷ Rep (CollectError era) x → CollectError era Source #
(AlonzoEraScript era, Show (ContextError era)) ⇒ Show (CollectError era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.Evaluate Methods showsPrec ∷ Int → CollectError era → ShowS Source # show ∷ CollectError era → String Source # showList ∷ [CollectError era] → ShowS Source #
(AlonzoEraScript era, DecCBOR (ContextError era)) ⇒ DecCBOR (CollectError era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.Evaluate Methods decCBOR ∷ Decoder s (CollectError era) Source # dropCBOR ∷ Proxy (CollectError era) → Decoder s () Source # label ∷ Proxy (CollectError era) → Text Source #
(AlonzoEraScript era, EncCBOR (ContextError era)) ⇒ EncCBOR (CollectError era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.Evaluate Methods encCBOR ∷ CollectError era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (CollectError era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CollectError era] → Size Source #
(AlonzoEraScript era, NFData (ContextError era)) ⇒ NFData (CollectError era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.Evaluate Methods rnf ∷ CollectError era → () Source #
(AlonzoEraScript era, Eq (ContextError era)) ⇒ Eq (CollectError era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.Evaluate Methods (==) ∷ CollectError era → CollectError era → Bool Source # (/=) ∷ CollectError era → CollectError era → Bool Source #
(AlonzoEraScript era, NoThunks (ContextError era)) ⇒ NoThunks (CollectError era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.Evaluate Methods noThunks ∷ Context → CollectError era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CollectError era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (CollectError era) → String Source #
type Rep (CollectError era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Plutus.Evaluate type Rep (CollectError era) = D1 ('MetaData "CollectError" "Cardano.Ledger.Alonzo.Plutus.Evaluate" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) ((C1 ('MetaCons "NoRedeemer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusPurpose AsItem era))) :+: C1 ('MetaCons "NoWitness" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ScriptHash (EraCrypto era))))) :+: (C1 ('MetaCons "NoCostModel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language)) :+: C1 ('MetaCons "BadTranslation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ContextError era)))))

collectPlutusScriptsWithContext ∷ ∀ era. (AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraUTxO era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraPlutusContext era) ⇒ EpochInfo (Either Text) → SystemStart → PParams era → Tx era → UTxO era → Either [CollectError era] [PlutusWithContext (EraCrypto era)] Source #

lookupPlutusScript ∷ AlonzoEraScript era ⇒ Map (ScriptHash (EraCrypto era)) (Script era) → ScriptHash (EraCrypto era) → Maybe (PlutusScript era) Source #

Given a script hash and a Map of available scripts, find the PlutusScript. Returns Nothing when script is missing or it is not a PlutusScript