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

Cardano.Ledger.Babbage.Era

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

Instances

Instances details
(EraTx era, EraUTxO era, BabbageEraTxBody era, AlonzoEraTxWits era, Tx era ~ AlonzoTx era, EraRule "UTXO" era ~ BabbageUTXO era, InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era, InjectRuleFailure "UTXO" AllegraUtxoPredFailure era, InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era, InjectRuleFailure "UTXO" BabbageUtxoPredFailure era, Embed (EraRule "UTXOS" era) (BabbageUTXO era), Environment (EraRule "UTXOS" era) ~ UtxoEnv era, State (EraRule "UTXOS" era) ~ UTxOState era, Signal (EraRule "UTXOS" era) ~ Tx era) ⇒ STS (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

Associated Types

type State (BabbageUTXO era) Source #

type Signal (BabbageUTXO era) Source #

type Environment (BabbageUTXO era) Source #

type BaseM (BabbageUTXO era) ∷ TypeType Source #

type Event (BabbageUTXO era) Source #

type PredicateFailure (BabbageUTXO era) Source #

(Era era, STS (BabbageUTXO era), PredicateFailure (EraRule "UTXO" era) ~ BabbageUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (BabbageUTXOW era) ~ ShelleyBase, PredicateFailure (BabbageUTXOW era) ~ BabbageUtxowPredFailure era, Event (BabbageUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (BabbageUTXO era) (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

(Era era, STS (BabbageUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (BabbageUTXOS era)) ⇒ Embed (BabbageUTXOS era) (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type BaseM (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type Environment (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type Event (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type PredicateFailure (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type Signal (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type Signal (BabbageUTXO era) = AlonzoTx era
type State (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type State (BabbageUTXO era) = UTxOState era

data BabbageUTXOS era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraPParams era, ShelleyEraTxBody era, BabbageEraTxBody era, AlonzoEraUTxO era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, EraGov era, GovState era ~ ShelleyGovState era, Embed (EraRule "PPUP" era) (BabbageUTXOS era), Environment (EraRule "PPUP" era) ~ PpupEnv era, Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era), State (EraRule "PPUP" era) ~ ShelleyGovState era, Signal (BabbageUTXOS era) ~ Tx era, EncCBOR (EraRuleFailure "PPUP" era), Eq (EraRuleFailure "PPUP" era), Show (EraRuleFailure "PPUP" era), InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure era, InjectRuleEvent "UTXOS" AlonzoUtxosEvent era, EraRule "UTXOS" era ~ BabbageUTXOS era) ⇒ STS (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

(Era era, STS (BabbageUTXOS era), PredicateFailure (EraRule "UTXOS" era) ~ AlonzoUtxosPredFailure era, Event (EraRule "UTXOS" era) ~ Event (BabbageUTXOS era)) ⇒ Embed (BabbageUTXOS era) (BabbageUTXO era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

(Era era, STS (ShelleyPPUP era), EraRuleFailure "PPUP" era ~ ShelleyPpupPredFailure era, EraRuleEvent "PPUP" era ~ PpupEvent era) ⇒ Embed (ShelleyPPUP era) (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type BaseM (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type Environment (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type Event (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type PredicateFailure (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type Signal (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type Signal (BabbageUTXOS era) = AlonzoTx era
type State (BabbageUTXOS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type State (BabbageUTXOS era) = UTxOState era

data BabbageUTXOW era Source #

Instances

Instances details
(AlonzoEraTx era, AlonzoEraUTxO era, ShelleyEraTxBody era, ScriptsNeeded era ~ AlonzoScriptsNeeded era, BabbageEraTxBody era, Signable (DSIGN (EraCrypto era)) (Hash (HASH (EraCrypto era)) EraIndependentTxBody), EraRule "UTXOW" era ~ BabbageUTXOW era, InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure era, InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure era, InjectRuleFailure "UTXOW" BabbageUtxowPredFailure era, Embed (EraRule "UTXO" era) (BabbageUTXOW era), Environment (EraRule "UTXO" era) ~ UtxoEnv era, State (EraRule "UTXO" era) ~ UTxOState era, Signal (EraRule "UTXO" era) ~ Tx era, Eq (PredicateFailure (EraRule "UTXOS" era)), Show (PredicateFailure (EraRule "UTXOS" era))) ⇒ STS (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

(Era era, STS (BabbageUTXO era), PredicateFailure (EraRule "UTXO" era) ~ BabbageUtxoPredFailure era, Event (EraRule "UTXO" era) ~ AlonzoUtxoEvent era, BaseM (BabbageUTXOW era) ~ ShelleyBase, PredicateFailure (BabbageUTXOW era) ~ BabbageUtxowPredFailure era, Event (BabbageUTXOW era) ~ AlonzoUtxowEvent era) ⇒ Embed (BabbageUTXO era) (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

(Era era, STS (BabbageUTXOW era), Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, PredicateFailure (EraRule "UTXOW" era) ~ BabbageUtxowPredFailure era) ⇒ Embed (BabbageUTXOW era) (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type BaseM (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type Environment (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type Event (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type PredicateFailure (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type Signal (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type Signal (BabbageUTXOW era) = Tx era
type State (BabbageUTXOW era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type State (BabbageUTXOW era) = UTxOState era

data BabbageLEDGER c Source #

Instances

Instances details
(AlonzoEraTx era, EraGov era, Embed (EraRule "DELEGS" era) (BabbageLEDGER era), Embed (EraRule "UTXOW" era) (BabbageLEDGER era), Environment (EraRule "UTXOW" era) ~ UtxoEnv era, State (EraRule "UTXOW" era) ~ UTxOState era, Signal (EraRule "UTXOW" era) ~ Tx era, Environment (EraRule "DELEGS" era) ~ DelegsEnv era, State (EraRule "DELEGS" era) ~ CertState era, Signal (EraRule "DELEGS" era) ~ Seq (TxCert era), ProtVerAtMost era 8) ⇒ STS (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

(Era era, STS (BabbageLEDGER era), PredicateFailure (EraRule "LEDGER" era) ~ ShelleyLedgerPredFailure era, Event (EraRule "LEDGER" era) ~ ShelleyLedgerEvent era) ⇒ Embed (BabbageLEDGER era) (ShelleyLEDGERS era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

(Era era, STS (BabbageUTXOW era), Event (EraRule "UTXOW" era) ~ AlonzoUtxowEvent era, PredicateFailure (EraRule "UTXOW" era) ~ BabbageUtxowPredFailure era) ⇒ Embed (BabbageUTXOW era) (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

(Era era, STS (ShelleyDELEGS era), PredicateFailure (EraRule "DELEGS" era) ~ ShelleyDelegsPredFailure era, Event (EraRule "DELEGS" era) ~ ShelleyDelegsEvent era) ⇒ Embed (ShelleyDELEGS era) (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type BaseM (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type Environment (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type Event (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type PredicateFailure (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type Signal (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type Signal (BabbageLEDGER era) = Tx era
type State (BabbageLEDGER era) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger