cardano-ledger-babbage-1.13.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellNone
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 native script or a Plutus script.

Constructors

NativeScript !(NativeScript era) 
PlutusScript !(PlutusScript era) 

Instances

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSON ∷ AlonzoScript era → Value Source #

toEncoding ∷ AlonzoScript era → Encoding Source #

toJSONList ∷ [AlonzoScript era] → Value Source #

toEncodingList ∷ [AlonzoScript era] → Encoding Source #

omitField ∷ AlonzoScript era → Bool Source #

AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBOR ∷ AlonzoScript 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

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoScript era)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoScript era)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoScript era)) → Text Source #

AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ AlonzoScript era → Encoding Source #

(SafeToHash (PlutusScript era), SafeToHash (NativeScript era)) ⇒ SafeToHash (AlonzoScript era)

Both constructors know their original bytes

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes ∷ AlonzoScript era → ByteString Source #

originalBytesSize ∷ AlonzoScript era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → AlonzoScript era → SafeHash i Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

eqRaw ∷ AlonzoScript era → AlonzoScript era → Bool Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AlonzoScript era → () #

Generic (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

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.15.0.0-inplace" 'False) (C1 ('MetaCons "NativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

Methods

from ∷ AlonzoScript era → Rep (AlonzoScript era) x #

to ∷ Rep (AlonzoScript era) x → AlonzoScript era #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoScript era → ShowS #

show ∷ AlonzoScript era → String #

showList ∷ [AlonzoScript era] → ShowS #

(Eq (PlutusScript era), Eq (NativeScript 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 (NativeScript era)) ⇒ MemPack (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ AlonzoScript era → Int Source #

packM ∷ AlonzoScript era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (AlonzoScript era) Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoScript era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoScript era) → String Source #

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.15.0.0-inplace" 'False) (C1 ('MetaCons "NativeScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

isPlutusScript ∷ AlonzoEraScript era ⇒ Script era → Bool Source #

data family PlutusScript era Source #

Instances

Instances details
SafeToHash (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes ∷ PlutusScript AlonzoEra → ByteString Source #

originalBytesSize ∷ PlutusScript AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #

SafeToHash (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

originalBytes ∷ PlutusScript BabbageEra → ByteString Source #

originalBytesSize ∷ PlutusScript BabbageEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript BabbageEra → SafeHash i Source #

NFData (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ PlutusScript AlonzoEra → () #

NFData (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

rnf ∷ PlutusScript BabbageEra → () #

Generic (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

Methods

from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x #

to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra #

Generic (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

type Rep (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))))

Methods

from ∷ PlutusScript BabbageEra → Rep (PlutusScript BabbageEra) x #

to ∷ Rep (PlutusScript BabbageEra) x → PlutusScript BabbageEra #

Show (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS #

show ∷ PlutusScript AlonzoEra → String #

showList ∷ [PlutusScript AlonzoEra] → ShowS #

Show (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

showsPrec ∷ Int → PlutusScript BabbageEra → ShowS #

show ∷ PlutusScript BabbageEra → String #

showList ∷ [PlutusScript BabbageEra] → ShowS #

Eq (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

Eq (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

(==) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(/=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

Ord (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering #

(<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

Ord (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

compare ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Ordering #

(<) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(<=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(>) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(>=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

max ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → PlutusScript BabbageEra #

min ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → PlutusScript BabbageEra #

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

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript AlonzoEra → Int Source #

packM ∷ PlutusScript AlonzoEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript AlonzoEra) Source #

MemPack (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript BabbageEra → Int Source #

packM ∷ PlutusScript BabbageEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript BabbageEra) Source #

NoThunks (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #

NoThunks (PlutusScript BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

noThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript BabbageEra) → String Source #

newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
data PlutusScript BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

data PlutusScript BabbageEra
type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)
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.13.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))))

Orphan instances

AllegraEraScript BabbageEra Source # 
Instance details

Methods

mkTimeStart ∷ SlotNo → NativeScript BabbageEra Source #

getTimeStart ∷ NativeScript BabbageEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript BabbageEra Source #

getTimeExpire ∷ NativeScript BabbageEra → Maybe SlotNo Source #

AlonzoEraScript BabbageEra Source # 
Instance details

Associated Types

data PlutusScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

data PlutusScript BabbageEra
type PlutusPurpose f BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type PlutusPurpose f BabbageEra = AlonzoPlutusPurpose f BabbageEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script BabbageEra → Maybe (PlutusScript BabbageEra) Source #

fromPlutusScript ∷ PlutusScript BabbageEra → Script BabbageEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript BabbageEra) Source #

withPlutusScript ∷ PlutusScript BabbageEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

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

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f BabbageEra Source #

toSpendingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f BabbageEra Source #

toMintingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 PolicyID) Source #

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

toCertifyingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 (TxCert BabbageEra)) Source #

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f BabbageEra Source #

toRewardingPurpose ∷ PlutusPurpose f BabbageEra → Maybe (f Word32 RewardAccount) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra BabbageEra) → PlutusPurpose AsIx BabbageEra Source #

EraScript BabbageEra Source # 
Instance details

Associated Types

type Script BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Script BabbageEra = AlonzoScript BabbageEra
type NativeScript BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type NativeScript BabbageEra = Timelock BabbageEra

Methods

upgradeScript ∷ Script (PreviousEra BabbageEra) → Script BabbageEra Source #

scriptPrefixTag ∷ Script BabbageEra → ByteString Source #

getNativeScript ∷ Script BabbageEra → Maybe (NativeScript BabbageEra) Source #

fromNativeScript ∷ NativeScript BabbageEra → Script BabbageEra Source #

ShelleyEraScript BabbageEra Source # 
Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript BabbageEra Source #

getRequireSignature ∷ NativeScript BabbageEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript BabbageEra) → NativeScript BabbageEra Source #

getRequireAllOf ∷ NativeScript BabbageEra → Maybe (StrictSeq (NativeScript BabbageEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript BabbageEra) → NativeScript BabbageEra Source #

getRequireAnyOf ∷ NativeScript BabbageEra → Maybe (StrictSeq (NativeScript BabbageEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript BabbageEra) → NativeScript BabbageEra Source #

getRequireMOf ∷ NativeScript BabbageEra → Maybe (Int, StrictSeq (NativeScript BabbageEra)) Source #

SafeToHash (PlutusScript BabbageEra) Source # 
Instance details

Methods

originalBytes ∷ PlutusScript BabbageEra → ByteString Source #

originalBytesSize ∷ PlutusScript BabbageEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript BabbageEra → SafeHash i Source #

NFData (PlutusScript BabbageEra) Source # 
Instance details

Methods

rnf ∷ PlutusScript BabbageEra → () #

Generic (PlutusScript BabbageEra) Source # 
Instance details

Associated Types

type Rep (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript BabbageEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.13.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))))

Methods

from ∷ PlutusScript BabbageEra → Rep (PlutusScript BabbageEra) x #

to ∷ Rep (PlutusScript BabbageEra) x → PlutusScript BabbageEra #

Show (PlutusScript BabbageEra) Source # 
Instance details

Methods

showsPrec ∷ Int → PlutusScript BabbageEra → ShowS #

show ∷ PlutusScript BabbageEra → String #

showList ∷ [PlutusScript BabbageEra] → ShowS #

Eq (PlutusScript BabbageEra) Source # 
Instance details

Methods

(==) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(/=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

Ord (PlutusScript BabbageEra) Source # 
Instance details

Methods

compare ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Ordering #

(<) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(<=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(>) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

(>=) ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → Bool #

max ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → PlutusScript BabbageEra #

min ∷ PlutusScript BabbageEra → PlutusScript BabbageEra → PlutusScript BabbageEra #

MemPack (PlutusScript BabbageEra) Source # 
Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript BabbageEra → Int Source #

packM ∷ PlutusScript BabbageEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript BabbageEra) Source #

NoThunks (PlutusScript BabbageEra) Source # 
Instance details

Methods

noThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript BabbageEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript BabbageEra) → String Source #