cardano-ledger-conway-1.24.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Conway.Scripts

Synopsis

Documentation

class AlonzoEraScript era ⇒ ConwayEraScript era where Source #

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f era Source #

toVotingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 Voter) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure era) → PlutusPurpose f era Source #

toProposingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (ProposalProcedure era)) Source #

Instances

Instances details
ConwayEraScript ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

mkVotingPurpose ∷ f Word32 Voter → PlutusPurpose f ConwayEra Source #

toVotingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 Voter) Source #

mkProposingPurpose ∷ f Word32 (ProposalProcedure ConwayEra) → PlutusPurpose f ConwayEra Source #

toProposingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 (ProposalProcedure ConwayEra)) Source #

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, DecCBOR (Annotator (AlonzoScript era))) ⇒ FromJSON (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

parseJSON ∷ Value → Parser (AlonzoScript era) Source #

parseJSONList ∷ Value → Parser [AlonzoScript era] Source #

omittedField ∷ Maybe (AlonzoScript era) Source #

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.17.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 #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AlonzoScript era → AlonzoScript era → Ordering #

(<) ∷ AlonzoScript era → AlonzoScript era → Bool #

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

(>) ∷ AlonzoScript era → AlonzoScript era → Bool #

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

max ∷ AlonzoScript era → AlonzoScript era → AlonzoScript era #

min ∷ AlonzoScript era → AlonzoScript era → AlonzoScript era #

(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.17.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))))

data family PlutusScript era Source #

Instances

Instances details
AlonzoEraScript era ⇒ ToCBOR (PlutusScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBOR ∷ PlutusScript era → Encoding Source #

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

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

AlonzoEraScript era ⇒ EncCBOR (PlutusScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ PlutusScript era → Encoding Source #

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) 
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 #

SafeToHash (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

originalBytes ∷ PlutusScript ConwayEra → ByteString Source #

originalBytesSize ∷ PlutusScript ConwayEra → Int Source #

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

NFData (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ PlutusScript AlonzoEra → () #

NFData (PlutusScript BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

rnf ∷ PlutusScript BabbageEra → () #

NFData (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

rnf ∷ PlutusScript ConwayEra → () #

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) 
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.15.0.0-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV2))))

Methods

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

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

Generic (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

type Rep (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.24.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3)))))

Methods

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

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

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) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

showsPrec ∷ Int → PlutusScript BabbageEra → ShowS #

show ∷ PlutusScript BabbageEra → String #

showList ∷ [PlutusScript BabbageEra] → ShowS #

Show (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → PlutusScript ConwayEra → ShowS #

show ∷ PlutusScript ConwayEra → String #

showList ∷ [PlutusScript ConwayEra] → 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) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

Methods

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

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

Eq (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

(/=) ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → 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) 
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 #

Ord (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Ordering #

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

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

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

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

max ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

min ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

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) 
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 #

MemPack (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript ConwayEra → Int Source #

packM ∷ PlutusScript ConwayEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript ConwayEra) 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) 
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 #

NoThunks (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

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

showTypeOf ∷ Proxy (PlutusScript ConwayEra) → String Source #

newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Babbage.Scripts

data PlutusScript BabbageEra
data PlutusScript ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

data PlutusScript ConwayEra
type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.24.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3)))))

isPlutusScript ∷ AlonzoEraScript era ⇒ Script era → Bool Source #

data ConwayPlutusPurpose (f ∷ Type → Type → Type) era Source #

Constructors

ConwaySpending !(f Word32 TxIn) 
ConwayMinting !(f Word32 PolicyID) 
ConwayCertifying !(f Word32 (TxCert era)) 
ConwayWithdrawing !(f Word32 AccountAddress) 
ConwayVoting !(f Word32 Voter) 
ConwayProposing !(f Word32 (ProposalProcedure era)) 

Bundled Patterns

pattern ConwayRewarding ∷ f Word32 AccountAddress → ConwayPlutusPurpose f era

Deprecated: In favor of ConwayWithdrawing

Instances

Instances details
(∀ a b. (FromJSON a, FromJSON b) ⇒ FromJSON (f a b), FromJSON (TxCert era), EraPParams era) ⇒ FromJSON (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

parseJSON ∷ Value → Parser (ConwayPlutusPurpose f era) Source #

parseJSONList ∷ Value → Parser [ConwayPlutusPurpose f era] Source #

omittedField ∷ Maybe (ConwayPlutusPurpose f era) Source #

(∀ a b. (ToJSON a, ToJSON b) ⇒ ToJSON (f a b), ToJSON (TxCert era), EraPParams era) ⇒ ToJSON (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

toJSON ∷ ConwayPlutusPurpose f era → Value Source #

toEncoding ∷ ConwayPlutusPurpose f era → Encoding Source #

toJSONList ∷ [ConwayPlutusPurpose f era] → Value Source #

toEncodingList ∷ [ConwayPlutusPurpose f era] → Encoding Source #

omitField ∷ ConwayPlutusPurpose f era → Bool Source #

(∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), ∀ a b. (DecCBOR a, DecCBOR b) ⇒ DecCBOR (f a b), EraPParams era, Typeable f, EncCBOR (TxCert era), DecCBOR (TxCert era)) ⇒ DecCBOR (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

decCBOR ∷ Decoder s (ConwayPlutusPurpose f era) Source #

dropCBOR ∷ Proxy (ConwayPlutusPurpose f era) → Decoder s () Source #

label ∷ Proxy (ConwayPlutusPurpose f era) → Text Source #

(∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EraPParams era, EncCBOR (TxCert era)) ⇒ EncCBOR (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

encCBOR ∷ ConwayPlutusPurpose f era → Encoding Source #

(∀ a b. (DecCBOR a, DecCBOR b) ⇒ DecCBOR (f a b), EraPParams era, Typeable f, DecCBOR (TxCert era)) ⇒ DecCBORGroup (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

decCBORGroup ∷ Decoder s (ConwayPlutusPurpose f era) Source #

(∀ a b. (EncCBOR a, EncCBOR b) ⇒ EncCBOR (f a b), EraPParams era, EncCBOR (TxCert era)) ⇒ EncCBORGroup (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

encCBORGroup ∷ ConwayPlutusPurpose f era → Encoding Source #

listLen ∷ Proxy (ConwayPlutusPurpose f era) → Word Source #

(∀ a b. (NFData a, NFData b) ⇒ NFData (f a b), NFData (TxCert era), EraPParams era) ⇒ NFData (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

rnf ∷ ConwayPlutusPurpose f era → () #

Generic (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

type Rep (ConwayPlutusPurpose f era) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (ConwayPlutusPurpose f era) = D1 ('MetaData "ConwayPlutusPurpose" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.24.0.0-inplace" 'False) ((C1 ('MetaCons "ConwaySpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: (C1 ('MetaCons "ConwayMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID))) :+: C1 ('MetaCons "ConwayCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: (C1 ('MetaCons "ConwayWithdrawing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress))) :+: (C1 ('MetaCons "ConwayVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 Voter))) :+: C1 ('MetaCons "ConwayProposing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))))))

Methods

from ∷ ConwayPlutusPurpose f era → Rep (ConwayPlutusPurpose f era) x #

to ∷ Rep (ConwayPlutusPurpose f era) x → ConwayPlutusPurpose f era #

(Show (TxCert era), EraPParams era) ⇒ Show (ConwayPlutusPurpose AsItem era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → ConwayPlutusPurpose AsItem era → ShowS #

show ∷ ConwayPlutusPurpose AsItem era → String #

showList ∷ [ConwayPlutusPurpose AsItem era] → ShowS #

Show (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → ConwayPlutusPurpose AsIx era → ShowS #

show ∷ ConwayPlutusPurpose AsIx era → String #

showList ∷ [ConwayPlutusPurpose AsIx era] → ShowS #

(Show (TxCert era), EraPParams era) ⇒ Show (ConwayPlutusPurpose AsIxItem era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → ConwayPlutusPurpose AsIxItem era → ShowS #

show ∷ ConwayPlutusPurpose AsIxItem era → String #

showList ∷ [ConwayPlutusPurpose AsIxItem era] → ShowS #

(Eq (TxCert era), EraPParams era) ⇒ Eq (ConwayPlutusPurpose AsItem era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

(==) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(/=) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

Eq (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

(==) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(/=) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(Eq (TxCert era), EraPParams era) ⇒ Eq (ConwayPlutusPurpose AsIxItem era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

(==) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

(/=) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

(Ord (TxCert era), EraPParams era) ⇒ Ord (ConwayPlutusPurpose AsItem era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Ordering #

(<) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(<=) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(>) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

(>=) ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → Bool #

max ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era #

min ∷ ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era → ConwayPlutusPurpose AsItem era #

Ord (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Ordering #

(<) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(<=) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(>) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

(>=) ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → Bool #

max ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era #

min ∷ ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era → ConwayPlutusPurpose AsIx era #

(Ord (TxCert era), EraPParams era) ⇒ Ord (ConwayPlutusPurpose AsIxItem era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Ordering #

(<) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

(<=) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

(>) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

(>=) ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → Bool #

max ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era #

min ∷ ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era → ConwayPlutusPurpose AsIxItem era #

(NoThunks (TxCert era), EraPParams era) ⇒ NoThunks (ConwayPlutusPurpose AsItem era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

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

showTypeOf ∷ Proxy (ConwayPlutusPurpose AsItem era) → String Source #

NoThunks (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

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

showTypeOf ∷ Proxy (ConwayPlutusPurpose AsIx era) → String Source #

(NoThunks (TxCert era), EraPParams era) ⇒ NoThunks (ConwayPlutusPurpose AsIxItem era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

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

showTypeOf ∷ Proxy (ConwayPlutusPurpose AsIxItem era) → String Source #

type Rep (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (ConwayPlutusPurpose f era) = D1 ('MetaData "ConwayPlutusPurpose" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.24.0.0-inplace" 'False) ((C1 ('MetaCons "ConwaySpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 TxIn))) :+: (C1 ('MetaCons "ConwayMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 PolicyID))) :+: C1 ('MetaCons "ConwayCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: (C1 ('MetaCons "ConwayWithdrawing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 AccountAddress))) :+: (C1 ('MetaCons "ConwayVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 Voter))) :+: C1 ('MetaCons "ConwayProposing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))))))

pattern VotingPurpose ∷ ConwayEraScript era ⇒ f Word32 Voter → PlutusPurpose f era Source #

pattern ProposingPurpose ∷ ConwayEraScript era ⇒ f Word32 (ProposalProcedure era) → PlutusPurpose f era Source #

Orphan instances

AllegraEraScript ConwayEra Source # 
Instance details

Methods

mkTimeStart ∷ SlotNo → NativeScript ConwayEra Source #

getTimeStart ∷ NativeScript ConwayEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript ConwayEra Source #

getTimeExpire ∷ NativeScript ConwayEra → Maybe SlotNo Source #

AlonzoEraScript ConwayEra Source # 
Instance details

Associated Types

data PlutusScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

data PlutusScript ConwayEra
type PlutusPurpose f ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type PlutusPurpose f ConwayEra = ConwayPlutusPurpose f ConwayEra

Methods

eraMaxLanguage ∷ Language Source #

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

fromPlutusScript ∷ PlutusScript ConwayEra → Script ConwayEra Source #

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

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

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

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f ConwayEra Source #

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

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f ConwayEra Source #

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

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

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

mkWithdrawingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f ConwayEra Source #

toWithdrawingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 AccountAddress) Source #

mkRewardingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f ConwayEra Source #

toRewardingPurpose ∷ PlutusPurpose f ConwayEra → Maybe (f Word32 AccountAddress) Source #

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

EraScript ConwayEra Source # 
Instance details

Associated Types

type Script ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Script ConwayEra = AlonzoScript ConwayEra
type NativeScript ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type NativeScript ConwayEra = Timelock ConwayEra

Methods

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

scriptPrefixTag ∷ Script ConwayEra → ByteString Source #

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

fromNativeScript ∷ NativeScript ConwayEra → Script ConwayEra Source #

ShelleyEraScript ConwayEra Source # 
Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript ConwayEra Source #

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

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

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

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

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

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

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

SafeToHash (PlutusScript ConwayEra) Source # 
Instance details

Methods

originalBytes ∷ PlutusScript ConwayEra → ByteString Source #

originalBytesSize ∷ PlutusScript ConwayEra → Int Source #

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

NFData (PlutusScript ConwayEra) Source # 
Instance details

Methods

rnf ∷ PlutusScript ConwayEra → () #

Generic (PlutusScript ConwayEra) Source # 
Instance details

Associated Types

type Rep (PlutusScript ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (PlutusScript ConwayEra) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.24.0.0-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3)))))

Methods

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

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

Show (PlutusScript ConwayEra) Source # 
Instance details

Methods

showsPrec ∷ Int → PlutusScript ConwayEra → ShowS #

show ∷ PlutusScript ConwayEra → String #

showList ∷ [PlutusScript ConwayEra] → ShowS #

Eq (PlutusScript ConwayEra) Source # 
Instance details

Methods

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

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

Ord (PlutusScript ConwayEra) Source # 
Instance details

Methods

compare ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Ordering #

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

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

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

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

max ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

min ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra #

MemPack (PlutusScript ConwayEra) Source # 
Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript ConwayEra → Int Source #

packM ∷ PlutusScript ConwayEra → Pack s () Source #

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

NoThunks (PlutusScript ConwayEra) Source # 
Instance details

Methods

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

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

showTypeOf ∷ Proxy (PlutusScript ConwayEra) → String Source #