cardano-ledger-babbage-1.8.2.1: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Babbage

Synopsis

Documentation

data BabbageEra c Source #

The Babbage era

Instances

Instances details
InjectRuleEvent "UTXOS" AlonzoUtxosEvent (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

InjectRuleFailure "BBODY" AllegraUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" BabbageUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" BabbageUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyDelplPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPoolPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyPpupPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

InjectRuleFailure "DELEG" ShelleyDelegPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Deleg

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

InjectRuleFailure "DELPL" ShelleyDelegPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyDelplPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

InjectRuleFailure "DELPL" ShelleyPoolPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" BabbageUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" BabbageUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" BabbageUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" BabbageUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

InjectRuleFailure "POOL" ShelleyPoolPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Pool

InjectRuleFailure "PPUP" ShelleyPpupPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ppup

InjectRuleFailure "UTXO" AllegraUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" BabbageUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyPpupPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" BabbageUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" BabbageUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

Crypto c ⇒ EraPlutusTxInfo 'PlutusV1 (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

Crypto c ⇒ EraPlutusTxInfo 'PlutusV2 (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

Crypto c ⇒ FromJSON (TransitionConfig (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Crypto c ⇒ ToJSON (TransitionConfig (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

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

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

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

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

Defined in Cardano.Ledger.Babbage.Scripts

Crypto c ⇒ Show (TransitionConfig (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

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

Defined in Cardano.Ledger.Babbage.Scripts

Crypto c ⇒ AllegraEraTxAuxData (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

Crypto c ⇒ AllegraEraTxBody (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Crypto c ⇒ AlonzoEraPParams (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Crypto c ⇒ EraPlutusContext (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

Associated Types

type ContextError (BabbageEra c) = (r ∷ Type) Source #

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

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

data PlutusScript (BabbageEra c) Source #

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

Methods

eraMaxLanguageLanguage Source #

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

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

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

withPlutusScriptPlutusScript (BabbageEra c) → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

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

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

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

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

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

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

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

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

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

upgradePlutusPurposeAsIxPlutusPurpose AsIx (PreviousEra (BabbageEra c)) → PlutusPurpose AsIx (BabbageEra c) Source #

Crypto c ⇒ AlonzoEraTx (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Crypto c ⇒ AlonzoEraTxAuxData (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

Crypto c ⇒ AlonzoEraTxBody (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Crypto c ⇒ AlonzoEraTxOut (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Crypto c ⇒ AlonzoEraTxWits (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

Crypto c ⇒ AlonzoEraUTxO (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

Crypto c ⇒ BabbageEraPParams (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Methods

hkdCoinsPerUTxOByteL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f CoinPerByte) Source #

Crypto c ⇒ BabbageEraTxBody (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Crypto c ⇒ BabbageEraTxOut (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

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

Defined in Cardano.Ledger.Babbage.Scripts

Associated Types

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

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

Crypto c ⇒ EraSegWits (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Associated Types

type TxSeq (BabbageEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraTx (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Associated Types

type Tx (BabbageEra c) = (r ∷ Type) Source #

type TxUpgradeError (BabbageEra c) Source #

Crypto c ⇒ EraTxAuxData (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

Associated Types

type TxAuxData (BabbageEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraTxBody (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type TxBody (BabbageEra c) = (r ∷ Type) Source #

type TxBodyUpgradeError (BabbageEra c) Source #

Crypto c ⇒ EraTxOut (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type TxOut (BabbageEra c) = (r ∷ Type) Source #

Crypto c ⇒ EraTxWits (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

Associated Types

type TxWits (BabbageEra c) = (r ∷ Type) Source #

Crypto c ⇒ Era (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

Associated Types

type EraCrypto (BabbageEra c) Source #

type PreviousEra (BabbageEra c) = (r ∷ Type) Source #

type ProtVerLow (BabbageEra c) ∷ Nat Source #

type ProtVerHigh (BabbageEra c) ∷ Nat Source #

Methods

eraNameString Source #

Crypto c ⇒ EraPParams (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Associated Types

type PParamsHKD f (BabbageEra c) = (r ∷ Type) Source #

type UpgradePParams f (BabbageEra c) Source #

type DowngradePParams f (BabbageEra c) Source #

Methods

applyPPUpdatesPParams (BabbageEra c) → PParamsUpdate (BabbageEra c) → PParams (BabbageEra c) Source #

emptyPParamsIdentityPParamsHKD Identity (BabbageEra c) Source #

emptyPParamsStrictMaybePParamsHKD StrictMaybe (BabbageEra c) Source #

upgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDApplicative f, EraPParams (PreviousEra (BabbageEra c))) ⇒ UpgradePParams f (BabbageEra c) → PParamsHKD f (PreviousEra (BabbageEra c)) → PParamsHKD f (BabbageEra c) Source #

downgradePParamsHKD ∷ ∀ (f ∷ TypeType). (HKDFunctor f, EraPParams (PreviousEra (BabbageEra c))) ⇒ DowngradePParams f (BabbageEra c) → PParamsHKD f (BabbageEra c) → PParamsHKD f (PreviousEra (BabbageEra c)) Source #

hkdMinFeeAL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdPoolDepositL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdEMaxL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Natural) Source #

hkdA0L ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 6) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f UnitInterval) Source #

ppDGSimpleGetter (PParams (BabbageEra c)) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 6) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 8) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f ProtVer) Source #

ppProtocolVersionLLens' (PParams (BabbageEra c)) ProtVer Source #

ppuProtocolVersionLLens' (PParamsUpdate (BabbageEra c)) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ TypeType). (HKDFunctor f, ProtVerAtMost (BabbageEra c) 4) ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ TypeType). HKDFunctor f ⇒ Lens' (PParamsHKD f (BabbageEra c)) (HKD f Coin) Source #

Crypto c ⇒ EraTxCert (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

Associated Types

type TxCert (BabbageEra c) = (r ∷ Type) Source #

type TxCertUpgradeError (BabbageEra c) Source #

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

Defined in Cardano.Ledger.Babbage.Scripts

Crypto c ⇒ EraUTxO (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

Associated Types

type ScriptsNeeded (BabbageEra c) = (r ∷ Type) Source #

Crypto c ⇒ MaryEraTxBody (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Crypto c ⇒ CanStartFromGenesis (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage

Associated Types

type AdditionalGenesisConfig (BabbageEra c) Source #

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage

Crypto c ⇒ EraGov (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

Associated Types

type GovState (BabbageEra c) = (r ∷ Type) Source #

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

Defined in Cardano.Ledger.Babbage.Scripts

Crypto c ⇒ EraTransition (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Associated Types

data TransitionConfig (BabbageEra c) Source #

Crypto c ⇒ ShelleyEraTxBody (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Crypto c ⇒ ShelleyEraTxCert (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

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

Defined in Cardano.Ledger.Babbage.Scripts

Methods

rnfPlutusScript (BabbageEra c) → () Source #

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

Defined in Cardano.Ledger.Babbage.Scripts

Crypto c ⇒ Eq (TransitionConfig (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

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

Defined in Cardano.Ledger.Babbage.Scripts

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

Defined in Cardano.Ledger.Babbage.Scripts

Crypto c ⇒ NoThunks (TransitionConfig (BabbageEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Crypto c ⇒ TranslateEra (BabbageEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) Tx Source #

Crypto c ⇒ TranslateEra (BabbageEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) CertState Source #

Crypto c ⇒ TranslateEra (BabbageEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Crypto c ⇒ TranslateEra (BabbageEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) DState Source #

Crypto c ⇒ TranslateEra (BabbageEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) PState Source #

Crypto c ⇒ TranslateEra (BabbageEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) VState Source #

Crypto c ⇒ TranslateEra (BabbageEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) PParams Source #

Crypto c ⇒ TranslateEra (BabbageEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) UTxO Source #

Crypto c ⇒ TranslateEra (BabbageEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Crypto c ⇒ TranslateEra (BabbageEra c) ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Crypto c ⇒ TranslateEra (BabbageEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) EpochState Source #

Crypto c ⇒ TranslateEra (BabbageEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Crypto c ⇒ TranslateEra (BabbageEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Crypto c ⇒ TranslateEra (BabbageEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError (BabbageEra c) UTxOState Source #

Crypto c ⇒ TranslateEra (BabbageEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type PlutusPurpose f (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type EraRule "BBODY" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "BBODY" (BabbageEra c) = AlonzoBBODY (BabbageEra c)
type EraRule "DELEG" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELEG" (BabbageEra c) = ShelleyDELEG (BabbageEra c)
type EraRule "DELEGS" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELEGS" (BabbageEra c) = ShelleyDELEGS (BabbageEra c)
type EraRule "DELPL" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "DELPL" (BabbageEra c) = ShelleyDELPL (BabbageEra c)
type EraRule "EPOCH" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "EPOCH" (BabbageEra c) = ShelleyEPOCH (BabbageEra c)
type EraRule "LEDGER" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "LEDGER" (BabbageEra c) = BabbageLEDGER (BabbageEra c)
type EraRule "LEDGERS" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "LEDGERS" (BabbageEra c) = ShelleyLEDGERS (BabbageEra c)
type EraRule "MIR" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "NEWEPOCH" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "NEWEPOCH" (BabbageEra c) = ShelleyNEWEPOCH (BabbageEra c)
type EraRule "NEWPP" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "NEWPP" (BabbageEra c) = ShelleyNEWPP (BabbageEra c)
type EraRule "POOL" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "POOLREAP" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "POOLREAP" (BabbageEra c) = ShelleyPOOLREAP (BabbageEra c)
type EraRule "PPUP" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "RUPD" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "SNAP" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICK" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICKF" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "TICKF" (BabbageEra c) = ShelleyTICKF (BabbageEra c)
type EraRule "UPEC" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXO" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXOS" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXOS" (BabbageEra c) = BabbageUTXOS (BabbageEra c)
type EraRule "UTXOW" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraRule "UTXOW" (BabbageEra c) = BabbageUTXOW (BabbageEra c)
type EraRuleEvent "LEDGER" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "PPUP" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "TICK" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules

type EraRuleEvent "UTXOS" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "BBODY" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Bbody

type EraRuleFailure "DELEG" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Deleg

type EraRuleFailure "DELEGS" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delegs

type EraRuleFailure "DELPL" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Delpl

type EraRuleFailure "LEDGER" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type EraRuleFailure "LEDGERS" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledgers

type EraRuleFailure "POOL" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Pool

type EraRuleFailure "PPUP" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ppup

type EraRuleFailure "UTXO" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type EraRuleFailure "UTXOS" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type EraRuleFailure "UTXOW" (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type DowngradePParams f (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type PParamsHKD f (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type UpgradePParams f (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

type UpgradePParams f (BabbageEra c) = ()
type Rep (PlutusScript (BabbageEra c)) Source # 
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 'DecidedStrict) (Rec0 (Plutus 'PlutusV1))) :+: C1 ('MetaCons "BabbagePlutusV2" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Plutus 'PlutusV2))))
type ContextError (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxInfo

data PlutusScript (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type NativeScript (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Script (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Scripts

type Tx (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxAuxData (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

type TxBody (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type TxBodyUpgradeError (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type TxOut (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type TxSeq (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxUpgradeError (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type TxWits (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

type Value (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraCrypto (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type EraCrypto (BabbageEra c) = c
type PreviousEra (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type ProtVerHigh (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type ProtVerHigh (BabbageEra c) = 8
type ProtVerLow (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type ProtVerLow (BabbageEra c) = 7
type TranslationContext (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TxCert (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type TxCertUpgradeError (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxCert

type ScriptsNeeded (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.UTxO

type AdditionalGenesisConfig (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage

type GovState (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.PParams

newtype TransitionConfig (BabbageEra c) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

type TranslationError (BabbageEra c) Tx Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) CertState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) DState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) PState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) VState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) PParams Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) UTxO Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) EpochState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError (BabbageEra c) ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

data BabbageTxOut era Source #

Instances

Instances details
(Era era, ToJSON (Datum era), ToJSON (Script era), Val (Value era)) ⇒ ToJSON (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Generic (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type Rep (BabbageTxOut era) ∷ TypeType Source #

Methods

fromBabbageTxOut era → Rep (BabbageTxOut era) x Source #

toRep (BabbageTxOut era) x → BabbageTxOut era Source #

(Era era, Show (Script era), Val (Value era)) ⇒ Show (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

(EraScript era, Val (Value era)) ⇒ FromCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

(EraScript era, Val (Value era)) ⇒ ToCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

toCBORBabbageTxOut era → Encoding Source #

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

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

(EraScript era, Val (Value era)) ⇒ DecCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

(EraScript era, Val (Value era)) ⇒ DecShareCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type Share (BabbageTxOut era) Source #

(EraScript era, Val (Value era)) ⇒ EncCBOR (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

encCBORBabbageTxOut era → Encoding Source #

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

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

NFData (BabbageTxOut era) Source #

Already in NF

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

rnfBabbageTxOut era → () Source #

(Era era, Eq (Script era), Eq (CompactForm (Value era))) ⇒ Eq (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

(==)BabbageTxOut era → BabbageTxOut era → Bool Source #

(/=)BabbageTxOut era → BabbageTxOut era → Bool Source #

(Era era, NoThunks (Script era), Val (Value era)) ⇒ NoThunks (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type Rep (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

type Rep (BabbageTxOut era) = D1 ('MetaData "BabbageTxOut" "Cardano.Ledger.Babbage.TxOut" "cardano-ledger-babbage-1.8.2.1-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: (C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era))))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" 'PrefixI 'False) ((S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Datum era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script era)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32))))))
type Share (BabbageTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxOut

data BabbageTxBody era Source #

Instances

Instances details
Memoized BabbageTxBody Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type RawType BabbageTxBody = (r ∷ TypeType) Source #

Generic (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type Rep (BabbageTxBody era) ∷ TypeType Source #

Methods

fromBabbageTxBody era → Rep (BabbageTxBody era) x Source #

toRep (BabbageTxBody era) x → BabbageTxBody era Source #

(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Typeable era ⇒ ToCBOR (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

toCBORBabbageTxBody era → Encoding Source #

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

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

(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (BabbageTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Era era ⇒ EncCBOR (BabbageTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

encCBORBabbageTxBody era → Encoding Source #

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

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

(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

eqRawBabbageTxBody era → BabbageTxBody era → Bool Source #

SafeToHash (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

rnfBabbageTxBody era → () Source #

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

(==)BabbageTxBody era → BabbageTxBody era → Bool Source #

(/=)BabbageTxBody era → BabbageTxBody era → Bool Source #

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

c ~ EraCrypto era ⇒ HashAnnotated (BabbageTxBody era) EraIndependentTxBody c Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType BabbageTxBody Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (BabbageTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

data AlonzoScript era Source #

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

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 AlonzoTxAuxData era Source #

Instances

Instances details
Memoized AlonzoTxAuxData 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type RawType AlonzoTxAuxData = (r ∷ TypeType) Source #

Generic (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type Rep (AlonzoTxAuxData era) ∷ TypeType Source #

HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AuxiliaryData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Typeable era ⇒ ToCBOR (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

toCBORAlonzoTxAuxData era → Encoding Source #

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

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

Era era ⇒ DecCBOR (Annotator (AuxiliaryData era)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Era era ⇒ EncCBOR (AlonzoTxAuxData era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

encCBORAlonzoTxAuxData era → Encoding Source #

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

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

EqRaw (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

eqRawAlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #

SafeToHash (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

NFData (AuxiliaryData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

rnfAuxiliaryData era → () Source #

Eq (AuxiliaryData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

(==)AuxiliaryData era → AuxiliaryData era → Bool Source #

(/=)AuxiliaryData era → AuxiliaryData era → Bool Source #

NoThunks (AuxiliaryData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

EraCrypto era ~ c ⇒ HashAnnotated (AuxiliaryData era) EraIndependentTxAuxData c 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type RawType AlonzoTxAuxData 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.10.0.1-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxAuxDataRaw era))))

Orphan instances

Crypto c ⇒ CanStartFromGenesis (BabbageEra c) Source # 
Instance details

Associated Types

type AdditionalGenesisConfig (BabbageEra c) Source #

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (BabbageEra c) Source # 
Instance details

(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (BabbageEra c) Source # 
Instance details