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

Cardano.Ledger.Conway.Scripts

Synopsis

Documentation

data AlonzoScript era Source #

Scripts in the Alonzo Era, Either a Timelock script or a Plutus script.

Constructors

TimelockScript !(Timelock era) 
PlutusScript !(PlutusScript era) 

Instances

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

Defined in Cardano.Ledger.Alonzo.Scripts

Generic (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AlonzoScript era) ∷ TypeType Source #

Methods

fromAlonzoScript era → Rep (AlonzoScript era) x Source #

toRep (AlonzoScript era) x → AlonzoScript era Source #

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

Defined in Cardano.Ledger.Alonzo.Scripts

AlonzoEraScript era ⇒ ToCBOR (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toCBORAlonzoScript era → Encoding Source #

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

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

AlonzoEraScript era ⇒ DecCBOR (Annotator (AlonzoScript era)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

AlonzoEraScript era ⇒ EncCBOR (AlonzoScript era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBORAlonzoScript era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

eqRawAlonzoScript 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

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

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfAlonzoScript 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

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.10.0.1-inplace" 'False) (C1 ('MetaCons "TimelockScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Timelock era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))

data family PlutusScript era Source #

Instances

Instances details
Generic (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript (AlonzoEra c)) ∷ TypeType Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

type Rep (PlutusScript (ConwayEra c)) ∷ TypeType Source #

Show (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

SafeToHash (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

NFData (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnfPlutusScript (AlonzoEra c) → () Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Methods

rnfPlutusScript (ConwayEra c) → () Source #

Eq (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

Ord (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

NoThunks (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

type Rep (PlutusScript (AlonzoEra c)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

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.8.2.1-inplace" 'False) (C1 ('MetaCons "BabbagePlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe 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.16.0.1-inplace" 'False) (C1 ('MetaCons "ConwayPlutusV1" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: (C1 ('MetaCons "ConwayPlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))) :+: C1 ('MetaCons "ConwayPlutusV3" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV3)))))
newtype PlutusScript (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

data PlutusScript (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

data PlutusScript (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

data ConwayPlutusPurpose f era Source #

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

Generic (ConwayPlutusPurpose f era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

Associated Types

type Rep (ConwayPlutusPurpose f era) ∷ TypeType Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Show (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

(∀ 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

(∀ 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

encCBORConwayPlutusPurpose 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

(∀ 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

(∀ 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

rnfConwayPlutusPurpose f era → () Source #

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

Defined in Cardano.Ledger.Conway.Scripts

Eq (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

Ord (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

NoThunks (ConwayPlutusPurpose AsIx era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Scripts

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

Defined in Cardano.Ledger.Conway.Scripts

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.16.0.1-inplace" 'False) ((C1 ('MetaCons "ConwaySpending" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxIn (EraCrypto era))))) :+: (C1 ('MetaCons "ConwayMinting" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (PolicyID (EraCrypto era))))) :+: C1 ('MetaCons "ConwayCertifying" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (TxCert era)))))) :+: (C1 ('MetaCons "ConwayRewarding" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (RewardAccount (EraCrypto era))))) :+: (C1 ('MetaCons "ConwayVoting" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (Voter (EraCrypto era))))) :+: C1 ('MetaCons "ConwayProposing" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (f Word32 (ProposalProcedure era)))))))

pattern VotingPurposeConwayEraScript era ⇒ f Word32 (Voter (EraCrypto era)) → PlutusPurpose f era Source #

Orphan instances

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

Associated Types

type Rep (PlutusScript (ConwayEra c)) ∷ TypeType Source #

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

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

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

Associated Types

data PlutusScript (ConwayEra c) Source #

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

Methods

eraMaxLanguageLanguage Source #

toPlutusScriptScript (ConwayEra c) → Maybe (PlutusScript (ConwayEra c)) Source #

fromPlutusScriptPlutusScript (ConwayEra c) → Script (ConwayEra c) Source #

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

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

toSpendingPurposePlutusPurpose f (ConwayEra c) → Maybe (f Word32 (TxIn (EraCrypto (ConwayEra c)))) Source #

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

toMintingPurposePlutusPurpose f (ConwayEra c) → Maybe (f Word32 (PolicyID (EraCrypto (ConwayEra c)))) Source #

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

toCertifyingPurposePlutusPurpose f (ConwayEra c) → Maybe (f Word32 (TxCert (ConwayEra c))) Source #

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

toRewardingPurposePlutusPurpose f (ConwayEra c) → Maybe (f Word32 (RewardAccount (EraCrypto (ConwayEra c)))) Source #

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

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

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

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

Methods

rnfPlutusScript (ConwayEra c) → () Source #

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

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

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