cardano-ledger-conway-1.18.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Scripts

Synopsis

Documentation

class AlonzoEraScript era ⇒ ConwayEraScript era where Source #

Methods

mkVotingPurpose ∷ f Word32 (Voter (EraCrypto era)) → PlutusPurpose f era Source #

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

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

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

Instances

Instances details
Crypto c ⇒ ConwayEraScript (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

mkVotingPurpose ∷ f Word32 (Voter (EraCrypto (ConwayEra c))) → PlutusPurpose f (ConwayEra c) Source #

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

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

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

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

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 #

Generic (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AlonzoScript era) ∷ Type → Type Source #

Methods

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

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

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoScript era → ShowS Source #

show ∷ AlonzoScript era → String Source #

showList ∷ [AlonzoScript era] → ShowS 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 #

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

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

Methods

originalBytes ∷ AlonzoScript era → ByteString Source #

originalBytesSize ∷ AlonzoScript era → Int Source #

makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoScript era → SafeHash c index Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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.12.0.0-inplace" 'False) (C1 ('MetaCons "TimelockScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Timelock 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
Generic (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript (AlonzoEra c)) ∷ Type → Type Source #

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

type Rep (PlutusScript (ConwayEra c)) ∷ Type → Type Source #

Methods

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

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

Show (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → PlutusScript (AlonzoEra c) → ShowS Source #

show ∷ PlutusScript (AlonzoEra c) → String Source #

showList ∷ [PlutusScript (AlonzoEra c)] → ShowS Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → PlutusScript (ConwayEra c) → ShowS Source #

show ∷ PlutusScript (ConwayEra c) → String Source #

showList ∷ [PlutusScript (ConwayEra c)] → ShowS Source #

SafeToHash (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes ∷ PlutusScript (AlonzoEra c) → ByteString Source #

originalBytesSize ∷ PlutusScript (AlonzoEra c) → Int Source #

makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c0) ⇒ Proxy c0 → Proxy index → PlutusScript (AlonzoEra c) → SafeHash c0 index Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

originalBytes ∷ PlutusScript (ConwayEra c) → ByteString Source #

originalBytesSize ∷ PlutusScript (ConwayEra c) → Int Source #

makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c0) ⇒ Proxy c0 → Proxy index → PlutusScript (ConwayEra c) → SafeHash c0 index Source #

NFData (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ PlutusScript (AlonzoEra c) → () Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

rnf ∷ PlutusScript (ConwayEra c) → () Source #

Eq (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

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

Ord (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → Ordering Source #

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

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

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

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

max ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) Source #

min ∷ PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) → PlutusScript (AlonzoEra c) Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → Ordering Source #

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

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

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

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

max ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) Source #

min ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) Source #

NoThunks (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

showTypeOf ∷ Proxy (PlutusScript (AlonzoEra c)) → String Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

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

showTypeOf ∷ Proxy (PlutusScript (ConwayEra c)) → String Source #

type Rep (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript (AlonzoEra c)) = Rep (Plutus 'PlutusV1)
type Rep (PlutusScript (BabbageEra c)) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Rep (PlutusScript (BabbageEra c)) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Babbage.Scripts" "cardano-ledger-babbage-1.10.1.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 c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

type Rep (PlutusScript (ConwayEra c)) = D1 ('MetaData "PlutusScript" "Cardano.Ledger.Conway.Scripts" "cardano-ledger-conway-1.18.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)))))
newtype PlutusScript (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Babbage.Scripts

data PlutusScript (BabbageEra c)
data PlutusScript (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

data PlutusScript (ConwayEra c)

isPlutusScript ∷ AlonzoEraScript era ⇒ Script era → Bool Source #

data ConwayPlutusPurpose f era Source #

Constructors

ConwaySpending !(f Word32 (TxIn (EraCrypto era))) 
ConwayMinting !(f Word32 (PolicyID (EraCrypto era))) 
ConwayCertifying !(f Word32 (TxCert era)) 
ConwayRewarding !(f Word32 (RewardAccount (EraCrypto era))) 
ConwayVoting !(f Word32 (Voter (EraCrypto era))) 
ConwayProposing !(f Word32 (ProposalProcedure era)) 

Instances

Instances details
(∀ 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 #

Generic (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

type Rep (ConwayPlutusPurpose f era) ∷ Type → Type Source #

Methods

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

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

(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 Source #

show ∷ ConwayPlutusPurpose AsItem era → String Source #

showList ∷ [ConwayPlutusPurpose AsItem era] → ShowS Source #

Show (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → ConwayPlutusPurpose AsIx era → ShowS Source #

show ∷ ConwayPlutusPurpose AsIx era → String Source #

showList ∷ [ConwayPlutusPurpose AsIx era] → ShowS Source #

(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 Source #

show ∷ ConwayPlutusPurpose AsIxItem era → String Source #

showList ∷ [ConwayPlutusPurpose AsIxItem era] → ShowS 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, Typeable f, EncCBOR (TxCert era)) ⇒ EncCBOR (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

encCBOR ∷ ConwayPlutusPurpose f era → Encoding Source #

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

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayPlutusPurpose f era] → Size 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, Typeable f, EncCBOR (TxCert era)) ⇒ EncCBORGroup (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

encCBORGroup ∷ ConwayPlutusPurpose f era → Encoding Source #

encodedGroupSizeExpr ∷ (∀ x. EncCBOR x ⇒ Proxy x → Size) → Proxy (ConwayPlutusPurpose f era) → Size Source #

listLen ∷ ConwayPlutusPurpose f era → Word Source #

listLenBound ∷ 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 → () Source #

(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 Source #

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

Eq (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

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

(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 Source #

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

Ord (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

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

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

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

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

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

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

(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.18.0.0-inplace" 'False) ((C1 ('MetaCons "ConwaySpending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxIn (EraCrypto era))))) :+: (C1 ('MetaCons "ConwayMinting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (PolicyID (EraCrypto era))))) :+: C1 ('MetaCons "ConwayCertifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: (C1 ('MetaCons "ConwayRewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (RewardAccount (EraCrypto era))))) :+: (C1 ('MetaCons "ConwayVoting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (Voter (EraCrypto era))))) :+: 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 (EraCrypto era)) → PlutusPurpose f era Source #

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

Orphan instances

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

Associated Types

type Rep (PlutusScript (ConwayEra c)) ∷ Type → Type Source #

Methods

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

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

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

Methods

showsPrec ∷ Int → PlutusScript (ConwayEra c) → ShowS Source #

show ∷ PlutusScript (ConwayEra c) → String Source #

showList ∷ [PlutusScript (ConwayEra c)] → ShowS Source #

Crypto c ⇒ AllegraEraScript (ConwayEra c) Source # 
Instance details

Methods

mkTimeStart ∷ SlotNo → NativeScript (ConwayEra c) Source #

getTimeStart ∷ NativeScript (ConwayEra c) → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript (ConwayEra c) Source #

getTimeExpire ∷ NativeScript (ConwayEra c) → Maybe SlotNo Source #

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

Associated Types

data PlutusScript (ConwayEra c) Source #

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

Methods

eraMaxLanguage ∷ Language Source #

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

fromPlutusScript ∷ PlutusScript (ConwayEra c) → Script (ConwayEra c) Source #

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

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

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

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

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

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

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

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

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

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

toRewardingPurpose ∷ PlutusPurpose f (ConwayEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (ConwayEra c)))) Source #

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

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

Associated Types

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

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

Methods

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

scriptPrefixTag ∷ Script (ConwayEra c) → ByteString Source #

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

fromNativeScript ∷ NativeScript (ConwayEra c) → Script (ConwayEra c) Source #

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

Methods

originalBytes ∷ PlutusScript (ConwayEra c) → ByteString Source #

originalBytesSize ∷ PlutusScript (ConwayEra c) → Int Source #

makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c0) ⇒ Proxy c0 → Proxy index → PlutusScript (ConwayEra c) → SafeHash c0 index Source #

Crypto c ⇒ ShelleyEraScript (ConwayEra c) Source # 
Instance details

Methods

mkRequireSignature ∷ KeyHash 'Witness (EraCrypto (ConwayEra c)) → NativeScript (ConwayEra c) Source #

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

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

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

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

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

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

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

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

Methods

rnf ∷ PlutusScript (ConwayEra c) → () Source #

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

Methods

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

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

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

Methods

compare ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → Ordering Source #

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

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

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

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

max ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) Source #

min ∷ PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) → PlutusScript (ConwayEra c) Source #

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

Methods

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

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

showTypeOf ∷ Proxy (PlutusScript (ConwayEra c)) → String Source #