cardano-ledger-conway-1.19.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 → 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 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 #

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 ∷ Proxy i → AlonzoScript era → SafeHash i Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

eqRaw ∷ AlonzoScript era → AlonzoScript era → Bool 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.13.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) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

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

Methods

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

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

Generic (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

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

Methods

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

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

Show (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS Source #

show ∷ PlutusScript AlonzoEra → String Source #

showList ∷ [PlutusScript AlonzoEra] → ShowS Source #

Show (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

showsPrec ∷ Int → PlutusScript ConwayEra → ShowS Source #

show ∷ PlutusScript ConwayEra → String Source #

showList ∷ [PlutusScript ConwayEra] → ShowS 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 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 → () Source #

NFData (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

rnf ∷ PlutusScript ConwayEra → () Source #

Eq (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

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

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

Eq (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

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

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

Ord (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering Source #

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

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

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

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

max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra Source #

min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra Source #

Ord (PlutusScript ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Methods

compare ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Ordering Source #

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

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

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

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

max ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra Source #

min ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → 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 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.11.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.19.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 era Source #

Constructors

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

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

Methods

eraMaxLanguage ∷ Language Source #

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

fromPlutusScript ∷ PlutusScript ConwayEra → Script ConwayEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → Maybe (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 #

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f ConwayEra Source #

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

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

EraScript ConwayEra Source # 
Instance details

Associated Types

type Script ConwayEra = (r ∷ Type) Source #

type NativeScript ConwayEra = (r ∷ Type) Source #

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 #

Generic (PlutusScript ConwayEra) Source # 
Instance details

Associated Types

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

Methods

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

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

Show (PlutusScript ConwayEra) Source # 
Instance details

Methods

showsPrec ∷ Int → PlutusScript ConwayEra → ShowS Source #

show ∷ PlutusScript ConwayEra → String Source #

showList ∷ [PlutusScript ConwayEra] → ShowS 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 → () Source #

Eq (PlutusScript ConwayEra) Source # 
Instance details

Methods

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

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

Ord (PlutusScript ConwayEra) Source # 
Instance details

Methods

compare ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → Ordering Source #

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

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

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

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

max ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → PlutusScript ConwayEra Source #

min ∷ PlutusScript ConwayEra → PlutusScript ConwayEra → 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 #