cardano-ledger-babbage-1.8.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Babbage.Scripts

Description

Figure 3: Functions related to scripts Babbage Specification

Synopsis

Documentation

data AlonzoScript era Source #

Scripts in the Alonzo Era, Either a Timelock script or a Plutus script.

Constructors

TimelockScript !(Timelock era) 
PlutusScript !(PlutusScript era) 

Instances

Instances details
AlonzoEraScript era ⇒ ToJSON (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Generic (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AlonzoScript era) ∷ TypeType Source #

Methods

fromAlonzoScript era → Rep (AlonzoScript era) x Source #

toRep (AlonzoScript era) x → AlonzoScript era Source #

(AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Show (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBORAlonzoScript era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #

AlonzoEraScript era ⇒ DecCBOR (Annotator (AlonzoScript era)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORAlonzoScript era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoScript era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoScript era] → Size Source #

Eq (PlutusScript era) ⇒ EqRaw (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

eqRawAlonzoScript era → AlonzoScript era → Bool Source #

SafeToHash (PlutusScript era) ⇒ SafeToHash (AlonzoScript era)

Both constructors know their original bytes

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NFData (PlutusScript era) ⇒ NFData (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAlonzoScript era → () Source #

Eq (PlutusScript era) ⇒ Eq (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==)AlonzoScript era → AlonzoScript era → Bool Source #

(/=)AlonzoScript era → AlonzoScript era → Bool Source #

(Era era, NoThunks (PlutusScript era)) ⇒ NoThunks (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) (C1 ('MetaCons "TimelockScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Timelock era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

data family PlutusScript era Source #

Instances

Instances details
Generic (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript (AlonzoEra c)) ∷ TypeType Source #

Generic (PlutusScript (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

type Rep (PlutusScript (BabbageEra c)) ∷ TypeType Source #

Show (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Show (PlutusScript (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

SafeToHash (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Crypto c ⇒ SafeToHash (PlutusScript (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

NFData (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfPlutusScript (AlonzoEra c) → () Source #

NFData (PlutusScript (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

rnfPlutusScript (BabbageEra c) → () Source #

Eq (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Eq (PlutusScript (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Ord (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Ord (PlutusScript (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

NoThunks (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (PlutusScript (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript (BabbageEra c)) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.8.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))))
newtype PlutusScript (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

data PlutusScript (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Orphan instances

Generic (PlutusScript (BabbageEra c)) Source # 
Instance details

Associated Types

type Rep (PlutusScript (BabbageEra c)) ∷ TypeType Source #

Show (PlutusScript (BabbageEra c)) Source # 
Instance details

Crypto c ⇒ AlonzoEraScript (BabbageEra c) Source # 
Instance details

Associated Types

data PlutusScript (BabbageEra c) Source #

type PlutusPurpose f (BabbageEra c) = (r ∷ Type) Source #

Methods

eraMaxLanguageLanguage Source #

toPlutusScriptScript (BabbageEra c) → Maybe (PlutusScript (BabbageEra c)) Source #

fromPlutusScriptPlutusScript (BabbageEra c) → Script (BabbageEra c) Source #

mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript (BabbageEra c)) Source #

withPlutusScriptPlutusScript (BabbageEra c) → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g (BabbageEra c) → PlutusPurpose f (BabbageEra c) Source #

mkSpendingPurpose ∷ f Word32 (TxIn (EraCrypto (BabbageEra c))) → PlutusPurpose f (BabbageEra c) Source #

toSpendingPurposePlutusPurpose f (BabbageEra c) → Maybe (f Word32 (TxIn (EraCrypto (BabbageEra c)))) Source #

mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto (BabbageEra c))) → PlutusPurpose f (BabbageEra c) Source #

toMintingPurposePlutusPurpose f (BabbageEra c) → Maybe (f Word32 (PolicyID (EraCrypto (BabbageEra c)))) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert (BabbageEra c)) → PlutusPurpose f (BabbageEra c) Source #

toCertifyingPurposePlutusPurpose f (BabbageEra c) → Maybe (f Word32 (TxCert (BabbageEra c))) Source #

mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto (BabbageEra c))) → PlutusPurpose f (BabbageEra c) Source #

toRewardingPurposePlutusPurpose f (BabbageEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (BabbageEra c)))) Source #

upgradePlutusPurposeAsIxPlutusPurpose AsIx (PreviousEra (BabbageEra c)) → PlutusPurpose AsIx (BabbageEra c) Source #

Crypto c ⇒ EraScript (BabbageEra c) Source # 
Instance details

Associated Types

type Script (BabbageEra c) = (r ∷ Type) Source #

type NativeScript (BabbageEra c) = (r ∷ Type) Source #

Crypto c ⇒ SafeToHash (PlutusScript (BabbageEra c)) Source # 
Instance details

NFData (PlutusScript (BabbageEra c)) Source # 
Instance details

Methods

rnfPlutusScript (BabbageEra c) → () Source #

Eq (PlutusScript (BabbageEra c)) Source # 
Instance details

Ord (PlutusScript (BabbageEra c)) Source # 
Instance details

NoThunks (PlutusScript (BabbageEra c)) Source # 
Instance details