cardano-ledger-allegra-1.9.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Allegra

Documentation

data AllegraEra Source #

Instances

Instances details
AllegraEraScript AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

mkTimeStart ∷ SlotNo → NativeScript AllegraEra Source #

getTimeStart ∷ NativeScript AllegraEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript AllegraEra Source #

getTimeExpire ∷ NativeScript AllegraEra → Maybe SlotNo Source #

AllegraEraTxAuxData AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (NativeScript AllegraEra)) Source #

AllegraEraTxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) ValidityInterval Source #

EraBlockBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.BlockBody

Associated Types

type BlockBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.BlockBody

type BlockBody AllegraEra = ShelleyBlockBody AllegraEra

Methods

mkBasicBlockBody ∷ BlockBody AllegraEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody AllegraEra) (StrictSeq (Tx 'TopTx AllegraEra)) Source #

hashBlockBody ∷ BlockBody AllegraEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

EraScript AllegraEra Source #

Since Timelock scripts are a strictly backwards compatible extension of MultiSig scripts, we can use the same scriptPrefixTag tag here as we did for the ValidateScript instance in MultiSig

Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Associated Types

type Script AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script AllegraEra = Timelock AllegraEra
type NativeScript AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type NativeScript AllegraEra = Timelock AllegraEra

Methods

upgradeScript ∷ Script (PreviousEra AllegraEra) → Script AllegraEra Source #

scriptPrefixTag ∷ Script AllegraEra → ByteString Source #

getNativeScript ∷ Script AllegraEra → Maybe (NativeScript AllegraEra) Source #

fromNativeScript ∷ NativeScript AllegraEra → Script AllegraEra Source #

EraTx AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

newtype Tx t AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {}

Methods

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEra → Tx l AllegraEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AllegraEra) (TxBody l AllegraEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AllegraEra) (TxWits AllegraEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AllegraEra) (StrictMaybe (TxAuxData AllegraEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l AllegraEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits AllegraEra), Typeable l) ⇒ Tx l AllegraEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l AllegraEra → NativeScript AllegraEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams AllegraEra → Tx l AllegraEra → Int → Coin Source #

EraTxAuxData AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type TxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra

Methods

mkBasicTxAuxData ∷ TxAuxData AllegraEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData AllegraEra → Bool Source #

EraTxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

newtype TxBody l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l AllegraEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictSeq (TxOut AllegraEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AllegraEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx AllegraEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AllegraEra) (StrictSeq (TxCert AllegraEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams AllegraEra → (KeyHash 'StakePool → Bool) → TxBody l AllegraEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams AllegraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l AllegraEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AllegraEra → Int Source #

EraTxOut AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

Associated Types

type TxOut AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxOut AllegraEra = ShelleyTxOut AllegraEra

Methods

mkBasicTxOut ∷ Addr → Value AllegraEra → TxOut AllegraEra Source #

upgradeTxOut ∷ TxOut (PreviousEra AllegraEra) → TxOut AllegraEra Source #

valueTxOutL ∷ Lens' (TxOut AllegraEra) (Value AllegraEra) Source #

compactValueTxOutL ∷ Lens' (TxOut AllegraEra) (CompactForm (Value AllegraEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut AllegraEra) (Either (Value AllegraEra) (CompactForm (Value AllegraEra))) Source #

addrTxOutL ∷ Lens' (TxOut AllegraEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AllegraEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut AllegraEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams AllegraEra → Sized (TxOut AllegraEra) → Coin Source #

getMinCoinTxOut ∷ PParams AllegraEra → TxOut AllegraEra → Coin Source #

EraTxWits AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

Associated Types

type TxWits AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type TxWits AllegraEra = ShelleyTxWits AllegraEra

Methods

mkBasicTxWits ∷ TxWits AllegraEra Source #

addrTxWitsL ∷ Lens' (TxWits AllegraEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits AllegraEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits AllegraEra) (Map ScriptHash (Script AllegraEra)) Source #

EraPParams AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

Associated Types

type PParamsHKD f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEra
type UpgradePParams f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f AllegraEra = ()
type DowngradePParams f AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type DowngradePParams f AllegraEra = ()

Methods

applyPPUpdates ∷ PParams AllegraEra → PParamsUpdate AllegraEra → PParams AllegraEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity AllegraEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AllegraEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe AllegraEra Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra AllegraEra)) ⇒ UpgradePParams f AllegraEra → PParamsHKD f (PreviousEra AllegraEra) → PParamsHKD f AllegraEra Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra AllegraEra)) ⇒ DowngradePParams f AllegraEra → PParamsHKD f AllegraEra → PParamsHKD f (PreviousEra AllegraEra) Source #

hkdMinFeeAL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Coin) Source #

hkdMinFeeBL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Coin) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word16) Source #

hkdKeyDepositL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Coin) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f (CompactForm Coin)) Source #

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Word16) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams AllegraEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams AllegraEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate AllegraEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" AllegraEra) ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Coin) Source #

hkdMinPoolCostL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AllegraEra) (HKD f Coin) Source #

eraPParams ∷ [PParam AllegraEra] Source #

EraTxCert AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

Associated Types

type TxCert AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCert AllegraEra = ShelleyTxCert AllegraEra
type TxCertUpgradeError AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCertUpgradeError AllegraEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra AllegraEra) → Either (TxCertUpgradeError AllegraEra) (TxCert AllegraEra) Source #

getVKeyWitnessTxCert ∷ TxCert AllegraEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert AllegraEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams → TxCert AllegraEra Source #

getRegPoolTxCert ∷ TxCert AllegraEra → Maybe StakePoolParams Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert AllegraEra Source #

getRetirePoolTxCert ∷ TxCert AllegraEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source #

lookupUnRegStakeTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source #

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams AllegraEra → (KeyHash 'StakePool → Bool) → f (TxCert AllegraEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams AllegraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert AllegraEra) → Coin Source #

EraTxLevel AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type STxLevel l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type STxLevel l AllegraEra = STxTopLevel l AllegraEra
EraGenesis AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type Genesis AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type Genesis AllegraEra = NoGenesis AllegraEra
EraAccounts AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

Associated Types

type AccountState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

type AccountState AllegraEra = ShelleyAccountState AllegraEra
type Accounts AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

type Accounts AllegraEra = ShelleyAccounts AllegraEra

Methods

addAccountState ∷ Credential 'Staking → AccountState AllegraEra → Accounts AllegraEra → Accounts AllegraEra Source #

accountsMapL ∷ Lens' (Accounts AllegraEra) (Map (Credential 'Staking) (AccountState AllegraEra)) Source #

balanceAccountStateL ∷ Lens' (AccountState AllegraEra) (CompactForm Coin) Source #

depositAccountStateL ∷ Lens' (AccountState AllegraEra) (CompactForm Coin) Source #

stakePoolDelegationAccountStateL ∷ Lens' (AccountState AllegraEra) (Maybe (KeyHash 'StakePool)) Source #

unregisterAccount ∷ Credential 'Staking → Accounts AllegraEra → (Maybe (AccountState AllegraEra), Accounts AllegraEra) Source #

EraCertState AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.State.CertState

Associated Types

type CertState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.CertState

type CertState AllegraEra = ShelleyCertState AllegraEra

Methods

certDStateL ∷ Lens' (CertState AllegraEra) (DState AllegraEra) Source #

certPStateL ∷ Lens' (CertState AllegraEra) (PState AllegraEra) Source #

obligationCertState ∷ CertState AllegraEra → Obligations Source #

certsTotalDepositsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody AllegraEra ⇒ PParams AllegraEra → CertState AllegraEra → TxBody t AllegraEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody AllegraEra ⇒ PParams AllegraEra → CertState AllegraEra → TxBody t AllegraEra → Coin Source #

EraGov AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

Associated Types

type GovState AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type GovState AllegraEra = ShelleyGovState AllegraEra

Methods

emptyGovState ∷ GovState AllegraEra Source #

curPParamsGovStateL ∷ Lens' (GovState AllegraEra) (PParams AllegraEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState AllegraEra) (PParams AllegraEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState AllegraEra) (FuturePParams AllegraEra) Source #

obligationGovState ∷ GovState AllegraEra → Obligations Source #

EraStake AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.State.Stake

Associated Types

type InstantStake AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.State.Stake

type InstantStake AllegraEra = ShelleyInstantStake AllegraEra

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake AllegraEra) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO AllegraEra → InstantStake AllegraEra → InstantStake AllegraEra Source #

deleteInstantStake ∷ UTxO AllegraEra → InstantStake AllegraEra → InstantStake AllegraEra Source #

resolveInstantStake ∷ InstantStake AllegraEra → Accounts AllegraEra → Stake Source #

EraUTxO AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

Associated Types

type ScriptsNeeded AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra

Methods

consumed ∷ ∀ (t ∷ TxLevel). PParams AllegraEra → CertState AllegraEra → UTxO AllegraEra → TxBody t AllegraEra → Value AllegraEra Source #

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams AllegraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO AllegraEra → TxBody t AllegraEra → Value AllegraEra Source #

getProducedValue ∷ ∀ (t ∷ TxLevel). PParams AllegraEra → (KeyHash 'StakePool → Bool) → TxBody t AllegraEra → Value AllegraEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO AllegraEra → Tx t AllegraEra → ScriptsProvided AllegraEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO AllegraEra → TxBody t AllegraEra → ScriptsNeeded AllegraEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded AllegraEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState AllegraEra → UTxO AllegraEra → TxBody t AllegraEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams AllegraEra → Tx t AllegraEra → UTxO AllegraEra → Coin Source #

Era AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type PreviousEra AllegraEra = ShelleyEra
type ProtVerLow AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow AllegraEra = 3
type ProtVerHigh AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh AllegraEra = ProtVerLow AllegraEra

Methods

eraName ∷ String Source #

ApplyTx AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra

Methods

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv AllegraEra → MempoolState AllegraEra → Tx 'TopTx AllegraEra → Either (ApplyTxError AllegraEra) (MempoolState AllegraEra, Validated (Tx 'TopTx AllegraEra)) Source #

ApplyBlock AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra

Methods

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState AllegraEra → Block BHeaderView AllegraEra → (NewEpochState AllegraEra, [PredicateFailure (EraRule "BBODY" AllegraEra)], [Event (EraRule "BBODY" AllegraEra)]) Source #

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState AllegraEra → SlotNo → (NewEpochState AllegraEra, [Event (EraRule "TICK" AllegraEra)]) Source #

ShelleyEraScript AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript AllegraEra Source #

getRequireSignature ∷ NativeScript AllegraEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript AllegraEra) → NativeScript AllegraEra Source #

getRequireAllOf ∷ NativeScript AllegraEra → Maybe (StrictSeq (NativeScript AllegraEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript AllegraEra) → NativeScript AllegraEra Source #

getRequireAnyOf ∷ NativeScript AllegraEra → Maybe (StrictSeq (NativeScript AllegraEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript AllegraEra) → NativeScript AllegraEra Source #

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

ShelleyEraAccounts AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState AllegraEra Source #

accountsPtrsMapL ∷ Lens' (Accounts AllegraEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts AllegraEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState AllegraEra) Ptr Source #

EraTransition AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Associated Types

newtype TransitionConfig AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

newtype TransitionConfig AllegraEra = AllegraTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext AllegraEra → TransitionConfig (PreviousEra AllegraEra) → TransitionConfig AllegraEra Source #

injectIntoTestState ∷ TransitionConfig AllegraEra → NewEpochState AllegraEra → NewEpochState AllegraEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig AllegraEra) (TransitionConfig (PreviousEra AllegraEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig AllegraEra) (TranslationContext AllegraEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig AllegraEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig AllegraEra) (PParams AllegraEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig AllegraEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig AllegraEra)

ShelleyEraTxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx AllegraEra) (StrictMaybe (Update AllegraEra)) Source #

ShelleyEraTxCert AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert AllegraEra Source #

getRegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source #

mkUnRegTxCert ∷ Credential 'Staking → TxCert AllegraEra Source #

getUnRegTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking) Source #

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert AllegraEra Source #

getDelegStakeTxCert ∷ TxCert AllegraEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert AllegraEra Source #

getGenesisDelegTxCert ∷ TxCert AllegraEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert AllegraEra Source #

getMirTxCert ∷ TxCert AllegraEra → Maybe MIRCert Source #

TranslateEra AllegraEra PParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra PParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParams = Void

Methods

translateEra ∷ TranslationContext AllegraEra → PParams (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PParams) (PParams AllegraEra) Source #

TranslateEra AllegraEra PParamsUpdate Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra PParamsUpdate 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParamsUpdate = Void

Methods

translateEra ∷ TranslationContext AllegraEra → PParamsUpdate (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PParamsUpdate) (PParamsUpdate AllegraEra) Source #

TranslateEra AllegraEra CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra CommitteeState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → CommitteeState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra CommitteeState) (CommitteeState AllegraEra) Source #

TranslateEra AllegraEra DState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra DState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra DState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → DState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra DState) (DState AllegraEra) Source #

TranslateEra AllegraEra PState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra PState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → PState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra PState) (PState AllegraEra) Source #

TranslateEra AllegraEra FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra FuturePParams = Void

Methods

translateEra ∷ TranslationContext AllegraEra → FuturePParams (PreviousEra AllegraEra) → Except (TranslationError AllegraEra FuturePParams) (FuturePParams AllegraEra) Source #

TranslateEra AllegraEra UTxO Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra UTxO 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxO = Void

Methods

translateEra ∷ TranslationContext AllegraEra → UTxO (PreviousEra AllegraEra) → Except (TranslationError AllegraEra UTxO) (UTxO AllegraEra) Source #

TranslateEra AllegraEra ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyGovState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyGovState) (ShelleyGovState AllegraEra) Source #

TranslateEra AllegraEra EpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra EpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra EpochState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → EpochState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra EpochState) (EpochState AllegraEra) Source #

TranslateEra AllegraEra LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra LedgerState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra LedgerState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → LedgerState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra LedgerState) (LedgerState AllegraEra) Source #

TranslateEra AllegraEra NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra NewEpochState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → NewEpochState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra NewEpochState) (NewEpochState AllegraEra) Source #

TranslateEra AllegraEra UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra UTxOState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxOState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → UTxOState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra UTxOState) (UTxOState AllegraEra) Source #

TranslateEra AllegraEra ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ProposedPPUpdates (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ProposedPPUpdates) (ProposedPPUpdates AllegraEra) Source #

TranslateEra AllegraEra Update Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra Update 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra Update = Void

Methods

translateEra ∷ TranslationContext AllegraEra → Update (PreviousEra AllegraEra) → Except (TranslationError AllegraEra Update) (Update AllegraEra) Source #

TranslateEra AllegraEra ShelleyAccounts Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyAccounts = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyAccounts (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyAccounts) (ShelleyAccounts AllegraEra) Source #

TranslateEra AllegraEra ShelleyCertState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyCertState = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyCertState (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyCertState) (ShelleyCertState AllegraEra) Source #

TranslateEra AllegraEra ShelleyInstantStake Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyInstantStake = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyInstantStake (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyInstantStake) (ShelleyInstantStake AllegraEra) Source #

TranslateEra AllegraEra ShelleyTxOut Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyTxOut 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxOut = Void

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyTxOut (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyTxOut) (ShelleyTxOut AllegraEra) Source #

TranslateEra AllegraEra ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra ShelleyTxWits 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxWits = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → ShelleyTxWits (PreviousEra AllegraEra) → Except (TranslationError AllegraEra ShelleyTxWits) (ShelleyTxWits AllegraEra) Source #

HasEraTxLevel Tx AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AllegraEra → STxLevel l AllegraEra Source #

HasEraTxLevel TxBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AllegraEra → STxLevel l AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyBbodyPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelegsPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyLedgerPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyLedgersPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

Methods

injectFailure ∷ ShelleyUtxowPredFailure AllegraEra → EraRuleFailure "BBODY" AllegraEra Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "DELEG" AllegraEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "DELEGS" AllegraEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelegsPredFailure AllegraEra → EraRuleFailure "DELEGS" AllegraEra Source #

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "DELEGS" AllegraEra Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "DELEGS" AllegraEra Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "DELPL" AllegraEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "DELPL" AllegraEra Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "DELPL" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelegsPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

injectFailure ∷ ShelleyLedgerPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

Methods

injectFailure ∷ ShelleyUtxowPredFailure AllegraEra → EraRuleFailure "LEDGER" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelegPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelegsPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelplPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

injectFailure ∷ ShelleyLedgerPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

injectFailure ∷ ShelleyLedgersPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

Methods

injectFailure ∷ ShelleyUtxowPredFailure AllegraEra → EraRuleFailure "LEDGERS" AllegraEra Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

Methods

injectFailure ∷ ShelleyPoolPredFailure AllegraEra → EraRuleFailure "POOL" AllegraEra Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "PPUP" AllegraEra Source #

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #

InjectRuleFailure "UTXO" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "UTXO" AllegraEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

injectFailure ∷ AllegraUtxoPredFailure AllegraEra → EraRuleFailure "UTXOW" AllegraEra Source #

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

injectFailure ∷ ShelleyPpupPredFailure AllegraEra → EraRuleFailure "UTXOW" AllegraEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

injectFailure ∷ ShelleyUtxoPredFailure AllegraEra → EraRuleFailure "UTXOW" AllegraEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

Methods

injectFailure ∷ ShelleyUtxowPredFailure AllegraEra → EraRuleFailure "UTXOW" AllegraEra Source #

TranslateEra AllegraEra (Tx 'TopTx) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → Tx 'TopTx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra (Tx 'TopTx)) (Tx 'TopTx AllegraEra) Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t AllegraEra)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t AllegraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AllegraEra)) → Text Source #

Show (TransitionConfig AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

showsPrec ∷ Int → TransitionConfig AllegraEra → ShowS #

show ∷ TransitionConfig AllegraEra → String #

showList ∷ [TransitionConfig AllegraEra] → ShowS #

Eq (TransitionConfig AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

(==) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #

(/=) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #

NoThunks (TransitionConfig AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

noThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig AllegraEra) → String Source #

HasEraTxLevel (AllegraTxBodyRaw m) AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AllegraTxBodyRaw m l AllegraEra → STxLevel l AllegraEra Source #

Typeable t ⇒ ToCBOR (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBOR ∷ Tx t AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t AllegraEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AllegraEra] → Size Source #

EncCBOR (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

encCBOR ∷ Tx t AllegraEra → Encoding Source #

EncCBOR (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

SafeToHash (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AllegraEra → SafeHash i Source #

EqRaw (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

eqRaw ∷ Tx t AllegraEra → Tx t AllegraEra → Bool Source #

EqRaw (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

eqRaw ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool Source #

Memoized (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

getMemoBytes ∷ TxBody l AllegraEra → MemoBytes (RawType (TxBody l AllegraEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AllegraEra)) → TxBody l AllegraEra

NFData (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnf ∷ Tx t AllegraEra → () #

NFData (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

rnf ∷ TxBody l AllegraEra → () #

Generic (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

type Rep (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

Methods

from ∷ Tx t AllegraEra → Rep (Tx t AllegraEra) x #

to ∷ Rep (Tx t AllegraEra) x → Tx t AllegraEra #

Generic (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

from ∷ TxBody l AllegraEra → Rep (TxBody l AllegraEra) x #

to ∷ Rep (TxBody l AllegraEra) x → TxBody l AllegraEra #

Show (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrec ∷ Int → Tx t AllegraEra → ShowS #

show ∷ Tx t AllegraEra → String #

showList ∷ [Tx t AllegraEra] → ShowS #

Show (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Eq (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

(==) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

(/=) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

Eq (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

(==) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

(/=) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

Typeable t ⇒ NoThunks (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

noThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t AllegraEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

noThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AllegraEra) → String Source #

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

type BlockBody AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.BlockBody

type BlockBody AllegraEra = ShelleyBlockBody AllegraEra
type NativeScript AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type NativeScript AllegraEra = Timelock AllegraEra
type Script AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Scripts

type Script AllegraEra = Timelock AllegraEra
type TxAuxData AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra
type TxOut AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxOut

type TxOut AllegraEra = ShelleyTxOut AllegraEra
type TxWits AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxWits

type TxWits AllegraEra = ShelleyTxWits AllegraEra
type Value AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type Value AllegraEra = Coin
type TranslationContext AllegraEra Source #

No context is needed to translate from Shelley to Allegra.

Instance details

Defined in Cardano.Ledger.Allegra.Era

type TranslationContext AllegraEra = NoGenesis AllegraEra
type TxCert AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCert AllegraEra = ShelleyTxCert AllegraEra
type TxCertUpgradeError AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxCert

type TxCertUpgradeError AllegraEra = Void
type Genesis AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type Genesis AllegraEra = NoGenesis AllegraEra
type AccountState AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

type AccountState AllegraEra = ShelleyAccountState AllegraEra
type Accounts AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.State.Account

type Accounts AllegraEra = ShelleyAccounts AllegraEra
type CertState AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.State.CertState

type CertState AllegraEra = ShelleyCertState AllegraEra
type GovState AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type GovState AllegraEra = ShelleyGovState AllegraEra
type InstantStake AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.State.Stake

type InstantStake AllegraEra = ShelleyInstantStake AllegraEra
type ScriptsNeeded AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.UTxO

type ScriptsNeeded AllegraEra = ShelleyScriptsNeeded AllegraEra
type EraName AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName AllegraEra = "Allegra"
type PreviousEra AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type PreviousEra AllegraEra = ShelleyEra
type ProtVerHigh AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh AllegraEra = ProtVerLow AllegraEra
type ProtVerLow AllegraEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow AllegraEra = 3
newtype TransitionConfig AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

newtype TransitionConfig AllegraEra = AllegraTransitionConfig {}
newtype Tx t AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {}
newtype TxBody l AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))
type EraRule "BBODY" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "BBODY" AllegraEra = ShelleyBBODY AllegraEra
type EraRule "DELEG" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEG" AllegraEra = ShelleyDELEG AllegraEra
type EraRule "DELEGS" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELEGS" AllegraEra = ShelleyDELEGS AllegraEra
type EraRule "DELPL" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "DELPL" AllegraEra = ShelleyDELPL AllegraEra
type EraRule "EPOCH" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "EPOCH" AllegraEra = ShelleyEPOCH AllegraEra
type EraRule "LEDGER" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGER" AllegraEra = ShelleyLEDGER AllegraEra
type EraRule "LEDGERS" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "LEDGERS" AllegraEra = ShelleyLEDGERS AllegraEra
type EraRule "MIR" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "MIR" AllegraEra = ShelleyMIR AllegraEra
type EraRule "NEWEPOCH" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWEPOCH" AllegraEra = ShelleyNEWEPOCH AllegraEra
type EraRule "NEWPP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "NEWPP" AllegraEra = ShelleyNEWPP AllegraEra
type EraRule "POOL" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOL" AllegraEra = ShelleyPOOL AllegraEra
type EraRule "POOLREAP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "POOLREAP" AllegraEra = ShelleyPOOLREAP AllegraEra
type EraRule "PPUP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "PPUP" AllegraEra = ShelleyPPUP AllegraEra
type EraRule "RUPD" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "RUPD" AllegraEra = ShelleyRUPD AllegraEra
type EraRule "SNAP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "SNAP" AllegraEra = ShelleySNAP AllegraEra
type EraRule "TICK" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICK" AllegraEra = ShelleyTICK AllegraEra
type EraRule "TICKF" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "TICKF" AllegraEra = ShelleyTICKF AllegraEra
type EraRule "UPEC" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UPEC" AllegraEra = ShelleyUPEC AllegraEra
type EraRule "UTXO" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXO" AllegraEra = AllegraUTXO AllegraEra
type EraRule "UTXOW" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type EraRule "UTXOW" AllegraEra = AllegraUTXOW AllegraEra
type EraRuleEvent "LEDGER" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleEvent "LEDGER" AllegraEra = ShelleyLedgerEvent AllegraEra
type EraRuleEvent "TICK" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules

type EraRuleEvent "TICK" AllegraEra = ShelleyTickEvent AllegraEra
type EraRuleFailure "BBODY" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Bbody

type EraRuleFailure "BBODY" AllegraEra = ShelleyBbodyPredFailure AllegraEra
type EraRuleFailure "DELEG" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Deleg

type EraRuleFailure "DELEG" AllegraEra = ShelleyDelegPredFailure AllegraEra
type EraRuleFailure "DELEGS" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delegs

type EraRuleFailure "DELEGS" AllegraEra = ShelleyDelegsPredFailure AllegraEra
type EraRuleFailure "DELPL" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Delpl

type EraRuleFailure "DELPL" AllegraEra = ShelleyDelplPredFailure AllegraEra
type EraRuleFailure "LEDGER" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledger

type EraRuleFailure "LEDGER" AllegraEra = ShelleyLedgerPredFailure AllegraEra
type EraRuleFailure "LEDGERS" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ledgers

type EraRuleFailure "LEDGERS" AllegraEra = ShelleyLedgersPredFailure AllegraEra
type EraRuleFailure "POOL" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Pool

type EraRuleFailure "POOL" AllegraEra = ShelleyPoolPredFailure AllegraEra
type EraRuleFailure "PPUP" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Ppup

type EraRuleFailure "PPUP" AllegraEra = ShelleyPpupPredFailure AllegraEra
type EraRuleFailure "UTXO" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type EraRuleFailure "UTXO" AllegraEra = AllegraUtxoPredFailure AllegraEra
type EraRuleFailure "UTXOW" AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type EraRuleFailure "UTXOW" AllegraEra = ShelleyUtxowPredFailure AllegraEra
type DowngradePParams f AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type DowngradePParams f AllegraEra = ()
type PParamsHKD f AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type PParamsHKD f AllegraEra = ShelleyPParams f AllegraEra
type UpgradePParams f AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.PParams

type UpgradePParams f AllegraEra = ()
type TranslationError AllegraEra PParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParams = Void
type TranslationError AllegraEra PParamsUpdate Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PParamsUpdate = Void
type TranslationError AllegraEra CommitteeState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra CommitteeState = Void
type TranslationError AllegraEra DState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra DState = Void
type TranslationError AllegraEra PState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra PState = Void
type TranslationError AllegraEra FuturePParams Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra FuturePParams = Void
type TranslationError AllegraEra UTxO Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxO = Void
type TranslationError AllegraEra ShelleyGovState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyGovState = Void
type TranslationError AllegraEra EpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra EpochState = Void
type TranslationError AllegraEra LedgerState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra LedgerState = Void
type TranslationError AllegraEra NewEpochState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra NewEpochState = Void
type TranslationError AllegraEra UTxOState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra UTxOState = Void
type TranslationError AllegraEra ProposedPPUpdates Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ProposedPPUpdates = Void
type TranslationError AllegraEra Update Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra Update = Void
type TranslationError AllegraEra ShelleyAccounts Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyAccounts = Void
type TranslationError AllegraEra ShelleyCertState Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyCertState = Void
type TranslationError AllegraEra ShelleyInstantStake Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyInstantStake = Void
type TranslationError AllegraEra ShelleyTxOut Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxOut = Void
type TranslationError AllegraEra ShelleyTxWits Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra ShelleyTxWits = DecoderError
type STxLevel l AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type STxLevel l AllegraEra = STxTopLevel l AllegraEra
type TranslationError AllegraEra (Tx 'TopTx) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError
type RawType (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra
type Rep (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))
type Rep (TxBody l AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

data family Tx (l ∷ TxLevel) era Source #

Instances

Instances details
HasEraTxLevel Tx AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AllegraEra → STxLevel l AllegraEra Source #

HasEraTxLevel Tx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → STxLevel l ShelleyEra Source #

TranslateEra AllegraEra (Tx 'TopTx) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → Tx 'TopTx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra (Tx 'TopTx)) (Tx 'TopTx AllegraEra) Source #

EraTx era ⇒ HasOKey TxId (Tx l era) 
Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ Tx l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t AllegraEra)) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t AllegraEra)) → Text Source #

Typeable l ⇒ ToCBOR (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l ShelleyEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l ShelleyEra] → Size Source #

Typeable t ⇒ ToCBOR (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBOR ∷ Tx t AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (Tx t AllegraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [Tx t AllegraEra] → Size Source #

EncCBOR (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

encCBOR ∷ Tx t AllegraEra → Encoding Source #

EqRaw (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

EqRaw (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

eqRaw ∷ Tx t AllegraEra → Tx t AllegraEra → Bool Source #

NFData (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnf ∷ Tx t AllegraEra → () #

Generic (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))

Methods

from ∷ Tx l ShelleyEra → Rep (Tx l ShelleyEra) x #

to ∷ Rep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Generic (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

type Rep (Tx t AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

Methods

from ∷ Tx t AllegraEra → Rep (Tx t AllegraEra) x #

to ∷ Rep (Tx t AllegraEra) x → Tx t AllegraEra #

Show (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrec ∷ Int → Tx t AllegraEra → ShowS #

show ∷ Tx t AllegraEra → String #

showList ∷ [Tx t AllegraEra] → ShowS #

Eq (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

(/=) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

Eq (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

(==) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

(/=) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

Typeable l ⇒ NoThunks (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

noThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l ShelleyEra) → String Source #

Typeable t ⇒ NoThunks (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

noThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t AllegraEra) → String Source #

newtype Tx l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {}
newtype Tx t AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {}
type TranslationError AllegraEra (Tx 'TopTx) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError
type Rep (Tx l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))
type Rep (Tx t AllegraEra) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))

Orphan instances