cardano-ledger-babbage-1.11.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 #

Methods

fromAlonzoScript era → Rep (AlonzoScript era) x #

toRep (AlonzoScript era) x → AlonzoScript era #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrecIntAlonzoScript era → ShowS #

showAlonzoScript era → String #

showList ∷ [AlonzoScript era] → ShowS #

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 #

SafeToHash (PlutusScript era) ⇒ SafeToHash (AlonzoScript era)

Both constructors know their original bytes

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

eqRawAlonzoScript era → AlonzoScript era → Bool Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAlonzoScript era → () #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

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

Defined in Cardano.Ledger.Alonzo.Scripts

(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.13.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) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript AlonzoEra) ∷ TypeType #

Generic (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

type Rep (PlutusScript BabbageEra) ∷ TypeType #

Show (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Show (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

SafeToHash (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

SafeToHash (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

NFData (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfPlutusScript AlonzoEra → () #

NFData (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

rnfPlutusScript BabbageEra → () #

Eq (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Eq (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Ord (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Ord (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

MemPack (PlutusScript AlonzoEra)

It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras.

That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and MemPack for now is only used for TxOuts

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

MemPack (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

NoThunks (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

NoThunks (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

data PlutusScript BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.11.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))))

Orphan instances

AllegraEraScript BabbageEra Source # 
Instance details

AlonzoEraScript BabbageEra Source # 
Instance details

Associated Types

data PlutusScript BabbageEra Source #

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

EraScript BabbageEra Source # 
Instance details

Associated Types

type Script BabbageEra = (r ∷ Type) Source #

type NativeScript BabbageEra = (r ∷ Type) Source #

ShelleyEraScript BabbageEra Source # 
Instance details

Generic (PlutusScript BabbageEra) Source # 
Instance details

Associated Types

type Rep (PlutusScript BabbageEra) ∷ TypeType #

Show (PlutusScript BabbageEra) Source # 
Instance details

SafeToHash (PlutusScript BabbageEra) Source # 
Instance details

NFData (PlutusScript BabbageEra) Source # 
Instance details

Methods

rnfPlutusScript BabbageEra → () #

Eq (PlutusScript BabbageEra) Source # 
Instance details

Ord (PlutusScript BabbageEra) Source # 
Instance details

MemPack (PlutusScript BabbageEra) Source # 
Instance details

NoThunks (PlutusScript BabbageEra) Source # 
Instance details