Index
| $sel:ssDelegations:SnapShot | Cardano.Ledger.Allegra.State |
| $sel:ssFee:SnapShots | Cardano.Ledger.Allegra.State |
| $sel:ssPoolParams:SnapShot | Cardano.Ledger.Allegra.State |
| $sel:ssStake:SnapShot | Cardano.Ledger.Allegra.State |
| $sel:ssStakeGo:SnapShots | Cardano.Ledger.Allegra.State |
| $sel:ssStakeMark:SnapShots | Cardano.Ledger.Allegra.State |
| $sel:ssStakeMarkPoolDistr:SnapShots | Cardano.Ledger.Allegra.State |
| $sel:ssStakeSet:SnapShots | Cardano.Ledger.Allegra.State |
| $sel:unStake:Stake | Cardano.Ledger.Allegra.State |
| absurdEraRule | Cardano.Ledger.Allegra.Core |
| AccountState | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| addInstantStake | Cardano.Ledger.Allegra.State |
| addrEitherTxOutL | Cardano.Ledger.Allegra.Core |
| ADDRHASH | Cardano.Ledger.Allegra.Core |
| addrTxOutL | Cardano.Ledger.Allegra.Core |
| addrTxWitsL | Cardano.Ledger.Allegra.Core |
| addShelleyInstantStake | Cardano.Ledger.Allegra.State |
| Allegra | Cardano.Ledger.Allegra |
| AllegraEra | Cardano.Ledger.Allegra |
| AllegraEraScript | Cardano.Ledger.Allegra.Scripts |
| AllegraEraTxAuxData | Cardano.Ledger.Allegra.TxAuxData, Cardano.Ledger.Allegra.Core |
| AllegraEraTxBody | Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core |
| AllegraTransitionConfig | Cardano.Ledger.Allegra.Transition |
| AllegraTxAuxData | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.TxAuxData |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.TxAuxData |
| AllegraTxAuxDataRaw | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.TxAuxData |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.TxAuxData |
| AllegraTxBody | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.TxBody |
| AllegraTxBodyRaw | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.TxBody |
| AllegraUTXO | Cardano.Ledger.Allegra.Rules |
| AllegraUtxoEvent | Cardano.Ledger.Allegra.Rules |
| AllegraUtxoPredFailure | Cardano.Ledger.Allegra.Rules |
| AllegraUTXOW | Cardano.Ledger.Allegra.Rules |
| allInputsTxBodyF | Cardano.Ledger.Allegra.Core |
| Anchor | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| AnchorData | Cardano.Ledger.Allegra.State |
| anchorDataHash | Cardano.Ledger.Allegra.State |
| anchorUrl | Cardano.Ledger.Allegra.State |
| applyPPUpdates | Cardano.Ledger.Allegra.Core |
| areAllAdaOnly | Cardano.Ledger.Allegra.State |
| asReserves | Cardano.Ledger.Allegra.State |
| asTreasury | Cardano.Ledger.Allegra.State |
| atadrMetadata | Cardano.Ledger.Allegra.TxAuxData |
| atadrTimelock | Cardano.Ledger.Allegra.TxAuxData |
| atbAuxDataHash | Cardano.Ledger.Allegra.TxBody |
| atbCerts | Cardano.Ledger.Allegra.TxBody |
| atbInputs | Cardano.Ledger.Allegra.TxBody |
| atbOutputs | Cardano.Ledger.Allegra.TxBody |
| atbrAuxDataHash | Cardano.Ledger.Allegra.TxBody |
| atbrCerts | Cardano.Ledger.Allegra.TxBody |
| atbrFee | Cardano.Ledger.Allegra.TxBody |
| atbrInputs | Cardano.Ledger.Allegra.TxBody |
| atbrMint | Cardano.Ledger.Allegra.TxBody |
| atbrOutputs | Cardano.Ledger.Allegra.TxBody |
| atbrUpdate | Cardano.Ledger.Allegra.TxBody |
| atbrValidityInterval | Cardano.Ledger.Allegra.TxBody |
| atbrWithdrawals | Cardano.Ledger.Allegra.TxBody |
| atbTxFee | Cardano.Ledger.Allegra.TxBody |
| atbUpdate | Cardano.Ledger.Allegra.TxBody |
| atbValidityInterval | Cardano.Ledger.Allegra.TxBody |
| atbWithdrawals | Cardano.Ledger.Allegra.TxBody |
| atcShelleyTransitionConfig | Cardano.Ledger.Allegra.Transition |
| AtLeastEra | Cardano.Ledger.Allegra.Core |
| atLeastEra | Cardano.Ledger.Allegra.Core |
| AtMostEra | Cardano.Ledger.Allegra.Core |
| atMostEra | Cardano.Ledger.Allegra.Core |
| authorizedHotCommitteeCredentials | Cardano.Ledger.Allegra.State |
| auxDataHashTxBodyL | Cardano.Ledger.Allegra.Core |
| auxDataTxL | Cardano.Ledger.Allegra.Core |
| BadInputsUTxO | Cardano.Ledger.Allegra.Rules |
| balance | Cardano.Ledger.Allegra.State |
| bBodySize | Cardano.Ledger.Allegra.Core |
| BlockIssuer | Cardano.Ledger.Allegra.Core |
| BlockIssuerVRF | Cardano.Ledger.Allegra.Core |
| bodyTxL | Cardano.Ledger.Allegra.Core |
| bootAddrTxOutF | Cardano.Ledger.Allegra.Core |
| bootAddrTxWitsL | Cardano.Ledger.Allegra.Core |
| ByronEra | Cardano.Ledger.Allegra.Core |
| calculatePoolDistr | Cardano.Ledger.Allegra.State |
| calculatePoolDistr' | Cardano.Ledger.Allegra.State |
| calculatePoolStake | Cardano.Ledger.Allegra.State |
| CanGetChainAccountState | Cardano.Ledger.Allegra.State |
| CanGetInstantStake | Cardano.Ledger.Allegra.State |
| CanGetUTxO | Cardano.Ledger.Allegra.State |
| CanSetChainAccountState | Cardano.Ledger.Allegra.State |
| CanSetInstantStake | Cardano.Ledger.Allegra.State |
| CanSetUTxO | Cardano.Ledger.Allegra.State |
| casReserves | Cardano.Ledger.Allegra.State |
| casReservesL | Cardano.Ledger.Allegra.State |
| casTreasury | Cardano.Ledger.Allegra.State |
| casTreasuryL | Cardano.Ledger.Allegra.State |
| castSafeHash | Cardano.Ledger.Allegra.Core |
| certDStateL | Cardano.Ledger.Allegra.State |
| certPStateL | Cardano.Ledger.Allegra.State |
| CertState | Cardano.Ledger.Allegra.State, Cardano.Ledger.Allegra.State |
| certsTotalDepositsTxBody | Cardano.Ledger.Allegra.State |
| certsTotalRefundsTxBody | Cardano.Ledger.Allegra.State |
| certsTxBodyL | Cardano.Ledger.Allegra.Core |
| ChainAccountState | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| chainAccountStateG | Cardano.Ledger.Allegra.State |
| chainAccountStateL | Cardano.Ledger.Allegra.State |
| coinBalance | Cardano.Ledger.Allegra.State |
| coinTxOutL | Cardano.Ledger.Allegra.Core |
| ColdCommitteeRole | Cardano.Ledger.Allegra.Core |
| CommitteeAuthorization | Cardano.Ledger.Allegra.State |
| CommitteeHotCredential | Cardano.Ledger.Allegra.State |
| CommitteeMemberResigned | Cardano.Ledger.Allegra.State |
| CommitteeState | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| compactAddrTxOutL | Cardano.Ledger.Allegra.Core |
| compactCoinTxOutL | Cardano.Ledger.Allegra.Core |
| compactValueTxOutL | Cardano.Ledger.Allegra.Core |
| consumed | Cardano.Ledger.Allegra.State |
| csCommitteeCreds | Cardano.Ledger.Allegra.State |
| curPParamsGovStateL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| curPParamsShelleyGovStateL | Cardano.Ledger.Allegra.Core |
| DataHash | Cardano.Ledger.Allegra.Core |
| decodeVI | Cardano.Ledger.Allegra.Scripts |
| DefinitePParamsUpdate | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| delegations | Cardano.Ledger.Allegra.State |
| DelegStakeTxCert | Cardano.Ledger.Allegra.Core |
| deleteInstantStake | Cardano.Ledger.Allegra.State |
| deleteShelleyInstantStake | Cardano.Ledger.Allegra.State |
| deltaReserves | Cardano.Ledger.Allegra.State |
| deltaTreasury | Cardano.Ledger.Allegra.State |
| DowngradePParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| downgradePParams | Cardano.Ledger.Allegra.Core |
| downgradePParamsUpdate | Cardano.Ledger.Allegra.Core |
| DRep | Cardano.Ledger.Allegra.State |
| DRepAlwaysAbstain | Cardano.Ledger.Allegra.State |
| DRepAlwaysNoConfidence | Cardano.Ledger.Allegra.State |
| drepAnchor | Cardano.Ledger.Allegra.State |
| DRepCredential | Cardano.Ledger.Allegra.State |
| drepDelegs | Cardano.Ledger.Allegra.State |
| drepDeposit | Cardano.Ledger.Allegra.State |
| drepExpiry | Cardano.Ledger.Allegra.State |
| DRepKeyHash | Cardano.Ledger.Allegra.State |
| DRepRole | Cardano.Ledger.Allegra.Core |
| DRepScriptHash | Cardano.Ledger.Allegra.State |
| DRepState | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| dsFutureGenDelegs | Cardano.Ledger.Allegra.State |
| dsFutureGenDelegsL | Cardano.Ledger.Allegra.State |
| dsGenDelegs | Cardano.Ledger.Allegra.State |
| dsGenDelegsL | Cardano.Ledger.Allegra.State |
| dsIRewards | Cardano.Ledger.Allegra.State |
| dsIRewardsL | Cardano.Ledger.Allegra.State |
| DState | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| dsUnified | Cardano.Ledger.Allegra.State |
| dsUnifiedL | Cardano.Ledger.Allegra.State |
| emptyAllegraTxBodyRaw | Cardano.Ledger.Allegra.TxBody |
| emptyGovState | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| emptyPParams | Cardano.Ledger.Allegra.Core |
| emptyPParamsUpdate | Cardano.Ledger.Allegra.Core |
| emptyShelleyGovState | Cardano.Ledger.Allegra.Core |
| emptySnapShot | Cardano.Ledger.Allegra.State |
| emptySnapShots | Cardano.Ledger.Allegra.State |
| encodeVI | Cardano.Ledger.Allegra.Scripts |
| eqTimelockRaw | Cardano.Ledger.Allegra.Scripts |
| Era | Cardano.Ledger.Allegra.Core |
| EraCertState | Cardano.Ledger.Allegra.State |
| eraDecoder | Cardano.Ledger.Allegra.Core |
| eraDecoderWithBytes | Cardano.Ledger.Allegra.Core |
| EraGov | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| EraIndependentBlockBody | Cardano.Ledger.Allegra.Core |
| EraIndependentBlockHeader | Cardano.Ledger.Allegra.Core |
| EraIndependentData | Cardano.Ledger.Allegra.Core |
| EraIndependentMetadata | Cardano.Ledger.Allegra.Core |
| EraIndependentPParamView | Cardano.Ledger.Allegra.Core |
| EraIndependentScript | Cardano.Ledger.Allegra.Core |
| EraIndependentScriptData | Cardano.Ledger.Allegra.Core |
| EraIndependentScriptIntegrity | Cardano.Ledger.Allegra.Core |
| EraIndependentTxAuxData | Cardano.Ledger.Allegra.Core |
| EraIndependentTxBody | Cardano.Ledger.Allegra.Core |
| eraName | Cardano.Ledger.Allegra.Core |
| EraPParams | Cardano.Ledger.Allegra.Core |
| eraProtVerHigh | Cardano.Ledger.Allegra.Core |
| eraProtVerLow | Cardano.Ledger.Allegra.Core |
| eraProtVersions | Cardano.Ledger.Allegra.Core |
| EraRule | Cardano.Ledger.Allegra.Core |
| EraRuleEvent | Cardano.Ledger.Allegra.Core |
| EraRuleFailure | Cardano.Ledger.Allegra.Core |
| EraScript | Cardano.Ledger.Allegra.Core |
| EraSegWits | Cardano.Ledger.Allegra.Core |
| EraStake | Cardano.Ledger.Allegra.State |
| EraTx | Cardano.Ledger.Allegra.Core |
| EraTxAuxData | Cardano.Ledger.Allegra.Core |
| EraTxBody | Cardano.Ledger.Allegra.Core |
| EraTxCert | Cardano.Ledger.Allegra.Core |
| EraTxOut | Cardano.Ledger.Allegra.Core |
| EraTxWits | Cardano.Ledger.Allegra.Core |
| EraUTxO | Cardano.Ledger.Allegra.State |
| evalTimelock | Cardano.Ledger.Allegra.Scripts |
| ExactEra | Cardano.Ledger.Allegra.Core |
| extractHash | Cardano.Ledger.Allegra.Core |
| FeeTooSmallUTxO | Cardano.Ledger.Allegra.Rules |
| feeTxBodyL | Cardano.Ledger.Allegra.Core |
| fGenDelegGenKeyHash | Cardano.Ledger.Allegra.State |
| fGenDelegSlot | Cardano.Ledger.Allegra.State |
| fromEraCBOR | Cardano.Ledger.Allegra.Core |
| fromEraShareCBOR | Cardano.Ledger.Allegra.Core |
| fromNativeScript | Cardano.Ledger.Allegra.Core |
| fromTxSeq | Cardano.Ledger.Allegra.Core |
| fromVRFVerKeyHash | Cardano.Ledger.Allegra.Core |
| FutureGenDeleg | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| FuturePParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| futurePParamsGovStateL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| futurePParamsShelleyGovStateL | Cardano.Ledger.Allegra.Core |
| GenDelegVRF | Cardano.Ledger.Allegra.Core |
| genericApplyPPUpdates | Cardano.Ledger.Allegra.Core |
| Genesis | Cardano.Ledger.Allegra.Core |
| GenesisDelegate | Cardano.Ledger.Allegra.Core |
| GenesisDelegTxCert | Cardano.Ledger.Allegra.Core |
| getConsumedValue | Cardano.Ledger.Allegra.State |
| getDelegStakeTxCert | Cardano.Ledger.Allegra.Core |
| getGenesisDelegTxCert | Cardano.Ledger.Allegra.Core |
| getGenesisKeyHashCountTxBody | Cardano.Ledger.Allegra.Core |
| getMinCoinSizedTxOut | Cardano.Ledger.Allegra.Core |
| getMinCoinTxOut | Cardano.Ledger.Allegra.Core |
| getMinFeeTx | Cardano.Ledger.Allegra.Core |
| getMinFeeTxUtxo | Cardano.Ledger.Allegra.State |
| getMirTxCert | Cardano.Ledger.Allegra.Core |
| getNativeScript | Cardano.Ledger.Allegra.Core |
| getPoolCertTxCert | Cardano.Ledger.Allegra.Core |
| getProducedValue | Cardano.Ledger.Allegra.State |
| getRegPoolTxCert | Cardano.Ledger.Allegra.Core |
| getRegTxCert | Cardano.Ledger.Allegra.Core |
| getRequireAllOfTimelock | Cardano.Ledger.Allegra.Scripts |
| getRequireAnyOfTimelock | Cardano.Ledger.Allegra.Scripts |
| getRequireMOfTimelock | Cardano.Ledger.Allegra.Scripts |
| getRequireSignatureTimelock | Cardano.Ledger.Allegra.Scripts |
| getRetirePoolTxCert | Cardano.Ledger.Allegra.Core |
| getScriptHash | Cardano.Ledger.Allegra.State |
| getScriptsHashesNeeded | Cardano.Ledger.Allegra.State |
| getScriptsNeeded | Cardano.Ledger.Allegra.State |
| getScriptsProvided | Cardano.Ledger.Allegra.State |
| getScriptWitnessTxCert | Cardano.Ledger.Allegra.Core |
| getTimeExpire | Cardano.Ledger.Allegra.Scripts |
| getTimeExpireTimelock | Cardano.Ledger.Allegra.Scripts |
| getTimeStart | Cardano.Ledger.Allegra.Scripts |
| getTimeStartTimelock | Cardano.Ledger.Allegra.Scripts |
| getTotalDepositsTxBody | Cardano.Ledger.Allegra.Core |
| getTotalDepositsTxCerts | Cardano.Ledger.Allegra.Core |
| getTotalRefundsTxBody | Cardano.Ledger.Allegra.Core |
| getTotalRefundsTxCerts | Cardano.Ledger.Allegra.Core |
| getUnRegTxCert | Cardano.Ledger.Allegra.Core |
| getVKeyWitnessTxCert | Cardano.Ledger.Allegra.Core |
| getWitsVKeyNeeded | Cardano.Ledger.Allegra.State |
| GovState | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State, Cardano.Ledger.Allegra.State |
| HASH | Cardano.Ledger.Allegra.Core |
| Hash | Cardano.Ledger.Allegra.Core |
| HashAlgorithm | Cardano.Ledger.Allegra.Core |
| HashAnnotated | Cardano.Ledger.Allegra.Core |
| hashAnnotated | Cardano.Ledger.Allegra.Core |
| hashKey | Cardano.Ledger.Allegra.Core |
| hashScript | Cardano.Ledger.Allegra.Core |
| hashScriptTxWitsL | Cardano.Ledger.Allegra.Core |
| hashTxAuxData | Cardano.Ledger.Allegra.Core |
| hashTxBodySignature | Cardano.Ledger.Allegra.Core |
| hashTxSeq | Cardano.Ledger.Allegra.Core |
| HotCommitteeRole | Cardano.Ledger.Allegra.Core |
| IndividualPoolStake | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| individualPoolStake | Cardano.Ledger.Allegra.State |
| individualPoolStakeVrf | Cardano.Ledger.Allegra.State |
| individualTotalPoolStake | Cardano.Ledger.Allegra.State |
| individualTotalPoolStakeL | Cardano.Ledger.Allegra.State |
| inInterval | Cardano.Ledger.Allegra.Scripts |
| injectEvent | Cardano.Ledger.Allegra.Core |
| injectFailure | Cardano.Ledger.Allegra.Core |
| InjectRuleEvent | Cardano.Ledger.Allegra.Core |
| InjectRuleFailure | Cardano.Ledger.Allegra.Core |
| InputSetEmptyUTxO | Cardano.Ledger.Allegra.Rules |
| inputsTxBodyL | Cardano.Ledger.Allegra.Core |
| InstantaneousRewards | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| InstantStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Allegra.State |
| instantStakeCredentialsL | Cardano.Ledger.Allegra.State |
| instantStakeG | Cardano.Ledger.Allegra.State |
| instantStakeL | Cardano.Ledger.Allegra.State |
| invalidBefore | Cardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core |
| invalidHereafter | Cardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core |
| iRReserves | Cardano.Ledger.Allegra.State |
| iRTreasury | Cardano.Ledger.Allegra.State |
| isAdaOnlyTxOutF | Cardano.Ledger.Allegra.Core |
| isNativeScript | Cardano.Ledger.Allegra.Core |
| isRegStakeTxCert | Cardano.Ledger.Allegra.Core |
| isUnRegStakeTxCert | Cardano.Ledger.Allegra.Core |
| KeyHash | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| keyHashWitnessesTxWits | Cardano.Ledger.Allegra.Core |
| KeyRole | Cardano.Ledger.Allegra.Core |
| KeyRoleVRF | Cardano.Ledger.Allegra.Core |
| knownFuturePParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| LeaderReward | Cardano.Ledger.Allegra.Core |
| lookupDepositDState | Cardano.Ledger.Allegra.State |
| lookupRegStakeTxCert | Cardano.Ledger.Allegra.Core |
| lookupRewardDState | Cardano.Ledger.Allegra.State |
| lookupUnRegStakeTxCert | Cardano.Ledger.Allegra.Core |
| makeHashWithExplicitProxys | Cardano.Ledger.Allegra.Core |
| makePParamMap | Cardano.Ledger.Allegra.Core |
| mapPParams | Cardano.Ledger.Allegra.Core |
| mapPParamsUpdate | Cardano.Ledger.Allegra.Core |
| maxPool | Cardano.Ledger.Allegra.State |
| maxPool' | Cardano.Ledger.Allegra.State |
| MaxTxSizeUTxO | Cardano.Ledger.Allegra.Rules |
| MemberReward | Cardano.Ledger.Allegra.Core |
| metadataAllegraTxAuxDataL | Cardano.Ledger.Allegra.TxAuxData |
| metadataTxAuxDataL | Cardano.Ledger.Allegra.Core |
| MIRCert | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| MIRPot | Cardano.Ledger.Allegra.Core |
| mirPot | Cardano.Ledger.Allegra.Core |
| mirRewards | Cardano.Ledger.Allegra.Core |
| MIRTarget | Cardano.Ledger.Allegra.Core |
| MirTxCert | Cardano.Ledger.Allegra.Core |
| MkAlegraTxAuxData | Cardano.Ledger.Allegra.TxAuxData |
| MkAllegraTxBody | Cardano.Ledger.Allegra.TxBody |
| mkBasicTx | Cardano.Ledger.Allegra.Core |
| mkBasicTxAuxData | Cardano.Ledger.Allegra.Core |
| mkBasicTxBody | Cardano.Ledger.Allegra.Core |
| mkBasicTxOut | Cardano.Ledger.Allegra.Core |
| mkBasicTxWits | Cardano.Ledger.Allegra.Core |
| mkCoinTxOut | Cardano.Ledger.Allegra.Core |
| mkDelegStakeTxCert | Cardano.Ledger.Allegra.Core |
| mkGenesisDelegTxCert | Cardano.Ledger.Allegra.Core |
| mkMirTxCert | Cardano.Ledger.Allegra.Core |
| mkRegPoolTxCert | Cardano.Ledger.Allegra.Core |
| mkRegTxCert | Cardano.Ledger.Allegra.Core |
| mkRequireAllOfTimelock | Cardano.Ledger.Allegra.Scripts |
| mkRequireAnyOfTimelock | Cardano.Ledger.Allegra.Scripts |
| mkRequireMOfTimelock | Cardano.Ledger.Allegra.Scripts |
| mkRequireSignatureTimelock | Cardano.Ledger.Allegra.Scripts |
| mkRetirePoolTxCert | Cardano.Ledger.Allegra.Core |
| mkShelleyCertState | Cardano.Ledger.Allegra.State |
| mkTimeExpire | Cardano.Ledger.Allegra.Scripts |
| mkTimeExpireTimelock | Cardano.Ledger.Allegra.Scripts |
| MkTimelock | Cardano.Ledger.Allegra.Scripts |
| mkTimeStart | Cardano.Ledger.Allegra.Scripts |
| mkTimeStartTimelock | Cardano.Ledger.Allegra.Scripts |
| mkUnRegTxCert | Cardano.Ledger.Allegra.Core |
| NativeScript | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| nextEpochPParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| nextEpochUpdatedPParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| NoPParamsUpdate | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| notSupportedInThisEra | Cardano.Ledger.Allegra.Core |
| notSupportedInThisEraL | Cardano.Ledger.Allegra.Core |
| numSegComponents | Cardano.Ledger.Allegra.Core |
| oblDRep | Cardano.Ledger.Allegra.State |
| obligationCertState | Cardano.Ledger.Allegra.State |
| obligationGovState | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| Obligations | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| oblPool | Cardano.Ledger.Allegra.State |
| oblProposal | Cardano.Ledger.Allegra.State |
| oblStake | Cardano.Ledger.Allegra.State |
| originalBytes | Cardano.Ledger.Allegra.Core |
| originalBytesSize | Cardano.Ledger.Allegra.Core |
| OutputBootAddrAttrsTooBig | Cardano.Ledger.Allegra.Rules |
| outputsTxBodyL | Cardano.Ledger.Allegra.Core |
| OutputTooBigUTxO | Cardano.Ledger.Allegra.Rules |
| OutputTooSmallUTxO | Cardano.Ledger.Allegra.Rules |
| OutsideValidityIntervalUTxO | Cardano.Ledger.Allegra.Rules |
| Payment | Cardano.Ledger.Allegra.Core |
| payPoolDeposit | Cardano.Ledger.Allegra.State |
| pdTotalActiveStake | Cardano.Ledger.Allegra.State |
| PoolCert | Cardano.Ledger.Allegra.Core |
| poolCertKeyHashWitness | Cardano.Ledger.Allegra.Core |
| PoolDistr | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| poolDistrDistrL | Cardano.Ledger.Allegra.State |
| poolDistrTotalL | Cardano.Ledger.Allegra.State |
| poolStake | Cardano.Ledger.Allegra.State |
| PotentialPParamsUpdate | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| ppA0L | Cardano.Ledger.Allegra.Core |
| PParam | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| PParams | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| PParamsHKD | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| PParamsUpdate | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| ppDG | Cardano.Ledger.Allegra.Core |
| ppDL | Cardano.Ledger.Allegra.Core |
| ppEMaxL | Cardano.Ledger.Allegra.Core |
| ppExtraEntropyL | Cardano.Ledger.Allegra.Core |
| ppKeyDepositL | Cardano.Ledger.Allegra.Core |
| ppLens | Cardano.Ledger.Allegra.Core |
| ppMaxBBSizeL | Cardano.Ledger.Allegra.Core |
| ppMaxBHSizeL | Cardano.Ledger.Allegra.Core |
| ppMaxTxSizeL | Cardano.Ledger.Allegra.Core |
| ppMinFeeAL | Cardano.Ledger.Allegra.Core |
| ppMinFeeBL | Cardano.Ledger.Allegra.Core |
| ppMinPoolCostL | Cardano.Ledger.Allegra.Core |
| ppMinUTxOValueL | Cardano.Ledger.Allegra.Core |
| ppNOptL | Cardano.Ledger.Allegra.Core |
| ppPoolDepositL | Cardano.Ledger.Allegra.Core |
| ppProtocolVersionL | Cardano.Ledger.Allegra.Core |
| ppRhoL | Cardano.Ledger.Allegra.Core |
| ppTauL | Cardano.Ledger.Allegra.Core |
| ppuA0L | Cardano.Ledger.Allegra.Core |
| ppuDL | Cardano.Ledger.Allegra.Core |
| ppuEMaxL | Cardano.Ledger.Allegra.Core |
| ppuExtraEntropyL | Cardano.Ledger.Allegra.Core |
| ppuKeyDepositL | Cardano.Ledger.Allegra.Core |
| ppuLens | Cardano.Ledger.Allegra.Core |
| ppuMaxBBSizeL | Cardano.Ledger.Allegra.Core |
| ppuMaxBHSizeL | Cardano.Ledger.Allegra.Core |
| ppuMaxTxSizeL | Cardano.Ledger.Allegra.Core |
| ppuMinFeeAL | Cardano.Ledger.Allegra.Core |
| ppuMinFeeBL | Cardano.Ledger.Allegra.Core |
| ppuMinPoolCostL | Cardano.Ledger.Allegra.Core |
| ppuMinUTxOValueL | Cardano.Ledger.Allegra.Core |
| ppuNOptL | Cardano.Ledger.Allegra.Core |
| ppuPoolDepositL | Cardano.Ledger.Allegra.Core |
| ppuProtocolVersionL | Cardano.Ledger.Allegra.Core |
| ppuRhoL | Cardano.Ledger.Allegra.Core |
| ppuTauL | Cardano.Ledger.Allegra.Core |
| PreviousEra | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| prevPParamsGovStateL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| prevPParamsShelleyGovStateL | Cardano.Ledger.Allegra.Core |
| ProtVerAtLeast | Cardano.Ledger.Allegra.Core |
| ProtVerAtMost | Cardano.Ledger.Allegra.Core |
| ProtVerHigh | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| ProtVerInBounds | Cardano.Ledger.Allegra.Core |
| ProtVerLow | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| psDeposits | Cardano.Ledger.Allegra.State |
| psDepositsL | Cardano.Ledger.Allegra.State |
| psFutureStakePoolParams | Cardano.Ledger.Allegra.State |
| psFutureStakePoolParamsL | Cardano.Ledger.Allegra.State |
| psRetiring | Cardano.Ledger.Allegra.State |
| psRetiringL | Cardano.Ledger.Allegra.State |
| psStakePoolParams | Cardano.Ledger.Allegra.State |
| psStakePoolParamsL | Cardano.Ledger.Allegra.State |
| PState | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| ptrsMap | Cardano.Ledger.Allegra.State |
| refundPoolDeposit | Cardano.Ledger.Allegra.State |
| RegPool | Cardano.Ledger.Allegra.Core |
| RegPoolTxCert | Cardano.Ledger.Allegra.Core |
| RegTxCert | Cardano.Ledger.Allegra.Core |
| RequireTimeExpire | Cardano.Ledger.Allegra.Scripts |
| RequireTimeStart | Cardano.Ledger.Allegra.Scripts |
| reservesL | Cardano.Ledger.Allegra.State |
| ReservesMIR | Cardano.Ledger.Allegra.Core |
| resolveActiveInstantStakeCredentials | Cardano.Ledger.Allegra.State |
| resolveInstantStake | Cardano.Ledger.Allegra.State |
| resolveShelleyInstantStake | Cardano.Ledger.Allegra.State |
| RetirePool | Cardano.Ledger.Allegra.Core |
| RetirePoolTxCert | Cardano.Ledger.Allegra.Core |
| Reward | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| rewardAmount | Cardano.Ledger.Allegra.Core |
| rewardPool | Cardano.Ledger.Allegra.Core |
| rewards | Cardano.Ledger.Allegra.State |
| RewardType | Cardano.Ledger.Allegra.Core |
| rewardType | Cardano.Ledger.Allegra.Core |
| SafeHash | Cardano.Ledger.Allegra.Core |
| SafeToHash | Cardano.Ledger.Allegra.Core |
| Script | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| ScriptHash | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| scriptPrefixTag | Cardano.Ledger.Allegra.Core |
| ScriptsNeeded | Cardano.Ledger.Allegra.State, Cardano.Ledger.Allegra.State |
| ScriptsProvided | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| scriptTxWitsL | Cardano.Ledger.Allegra.Core |
| SendToOppositePotMIR | Cardano.Ledger.Allegra.Core |
| sgsCurPParams | Cardano.Ledger.Allegra.Core |
| sgsCurProposals | Cardano.Ledger.Allegra.Core |
| sgsFuturePParams | Cardano.Ledger.Allegra.Core |
| sgsFutureProposals | Cardano.Ledger.Allegra.Core |
| sgsPrevPParams | Cardano.Ledger.Allegra.Core |
| shelleyCertDState | Cardano.Ledger.Allegra.State |
| shelleyCertDStateL | Cardano.Ledger.Allegra.State |
| shelleyCertPState | Cardano.Ledger.Allegra.State |
| shelleyCertPStateL | Cardano.Ledger.Allegra.State |
| ShelleyCertState | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| shelleyCertsTotalDepositsTxBody | Cardano.Ledger.Allegra.State |
| shelleyCertsTotalRefundsTxBody | Cardano.Ledger.Allegra.State |
| ShelleyEraTxBody | Cardano.Ledger.Allegra.Core |
| ShelleyEraTxCert | Cardano.Ledger.Allegra.Core |
| ShelleyGovState | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| ShelleyInstantStake | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| shelleyInstantStakeCredentialsL | Cardano.Ledger.Allegra.State |
| shelleyObligationCertState | Cardano.Ledger.Allegra.State |
| shelleyToAllegraAVVMsToDelete | Cardano.Ledger.Allegra.Translation |
| shelleyToAllegraUtxoPredFailure | Cardano.Ledger.Allegra.Rules |
| showTimelock | Cardano.Ledger.Allegra.Scripts |
| sisCredentialStake | Cardano.Ledger.Allegra.State |
| sisPtrStake | Cardano.Ledger.Allegra.State |
| sizeTxF | Cardano.Ledger.Allegra.Core |
| sizeTxForFeeCalculation | Cardano.Ledger.Allegra.Core |
| SJust | Cardano.Ledger.Allegra.TxBody |
| SnapShot | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| snapShotFromInstantStake | Cardano.Ledger.Allegra.State |
| SnapShots | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| SNothing | Cardano.Ledger.Allegra.TxBody |
| solidifyFuturePParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State |
| spendableInputsTxBodyF | Cardano.Ledger.Allegra.Core |
| ssDelegationsL | Cardano.Ledger.Allegra.State |
| ssFeeL | Cardano.Ledger.Allegra.State |
| ssPoolParamsL | Cardano.Ledger.Allegra.State |
| ssStakeDistrL | Cardano.Ledger.Allegra.State |
| ssStakeGoL | Cardano.Ledger.Allegra.State |
| ssStakeL | Cardano.Ledger.Allegra.State |
| ssStakeMarkL | Cardano.Ledger.Allegra.State |
| ssStakeMarkPoolDistrL | Cardano.Ledger.Allegra.State |
| ssStakeSetL | Cardano.Ledger.Allegra.State |
| Stake | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| StakeAddressesMIR | Cardano.Ledger.Allegra.Core |
| StakePool | Cardano.Ledger.Allegra.Core |
| StakePoolVRF | Cardano.Ledger.Allegra.Core |
| Staking | Cardano.Ledger.Allegra.Core |
| StrictMaybe | Cardano.Ledger.Allegra.TxBody |
| sumAllCoin | Cardano.Ledger.Allegra.State |
| sumAllStake | Cardano.Ledger.Allegra.State |
| sumAllStakeCompact | Cardano.Ledger.Allegra.State |
| sumAllValue | Cardano.Ledger.Allegra.State |
| sumObligation | Cardano.Ledger.Allegra.State |
| sumStakePerPool | Cardano.Ledger.Allegra.State |
| Timelock | Cardano.Ledger.Allegra.Scripts |
| TimelockAllOf | Cardano.Ledger.Allegra.Scripts |
| TimelockAnyOf | Cardano.Ledger.Allegra.Scripts |
| TimelockConstr | Cardano.Ledger.Allegra.Scripts |
| TimelockMOf | Cardano.Ledger.Allegra.Scripts |
| TimelockRaw | Cardano.Ledger.Allegra.Scripts |
| timelockScriptsAllegraTxAuxDataL | Cardano.Ledger.Allegra.TxAuxData |
| timelockScriptsTxAuxDataL | Cardano.Ledger.Allegra.TxAuxData, Cardano.Ledger.Allegra.Core |
| TimelockSignature | Cardano.Ledger.Allegra.Scripts |
| TimelockTimeExpire | Cardano.Ledger.Allegra.Scripts |
| TimelockTimeStart | Cardano.Ledger.Allegra.Scripts |
| toEraCBOR | Cardano.Ledger.Allegra.Core |
| TotalDeposits | Cardano.Ledger.Allegra.Rules |
| toTxSeq | Cardano.Ledger.Allegra.Core |
| toVRFVerKeyHash | Cardano.Ledger.Allegra.Core |
| TransitionConfig | Cardano.Ledger.Allegra.Transition |
| TranslateEra | Cardano.Ledger.Allegra.Core |
| translateEra | Cardano.Ledger.Allegra.Core |
| translateEra' | Cardano.Ledger.Allegra.Core |
| translateEraMaybe | Cardano.Ledger.Allegra.Core |
| translateEraThroughCBOR | Cardano.Ledger.Allegra.Core |
| translateTimelock | Cardano.Ledger.Allegra.Scripts |
| TranslationContext | Cardano.Ledger.Allegra.Core |
| TranslationError | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| treasuryL | Cardano.Ledger.Allegra.State |
| TreasuryMIR | Cardano.Ledger.Allegra.Core |
| TriesToForgeADA | Cardano.Ledger.Allegra.Rules |
| ttlTxBodyL | Cardano.Ledger.Allegra.Core |
| Tx | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| TxAuxData | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| TxAuxDataHash | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| TxBody | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| TxBodyUpgradeError | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| TxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| TxCertUpgradeError | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| txIdTx | Cardano.Ledger.Allegra.Core |
| txIdTxBody | Cardano.Ledger.Allegra.Core |
| txinLookup | Cardano.Ledger.Allegra.State |
| txins | Cardano.Ledger.Allegra.State |
| txInsFilter | Cardano.Ledger.Allegra.State |
| TxOut | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| txouts | Cardano.Ledger.Allegra.State |
| TxSeq | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| TxUpgradeError | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| TxUTxODiff | Cardano.Ledger.Allegra.Rules |
| TxWits | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| unKeyHash | Cardano.Ledger.Allegra.Core |
| unPoolDistr | Cardano.Ledger.Allegra.State |
| UnRegTxCert | Cardano.Ledger.Allegra.Core |
| unScriptsProvided | Cardano.Ledger.Allegra.State |
| unTxAuxDataHash | Cardano.Ledger.Allegra.Core |
| unUTxO | Cardano.Ledger.Allegra.State |
| unVRFVerKeyHash | Cardano.Ledger.Allegra.Core |
| unWithdrawals | Cardano.Ledger.Allegra.Core |
| UpdateEvent | Cardano.Ledger.Allegra.Rules |
| UpdateFailure | Cardano.Ledger.Allegra.Rules |
| updateTxBodyL | Cardano.Ledger.Allegra.Core |
| UpgradePParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| upgradePParams | Cardano.Ledger.Allegra.Core |
| upgradePParamsUpdate | Cardano.Ledger.Allegra.Core |
| upgradeScript | Cardano.Ledger.Allegra.Core |
| upgradeTx | Cardano.Ledger.Allegra.Core |
| upgradeTxAuxData | Cardano.Ledger.Allegra.Core |
| upgradeTxBody | Cardano.Ledger.Allegra.Core |
| upgradeTxCert | Cardano.Ledger.Allegra.Core |
| upgradeTxOut | Cardano.Ledger.Allegra.Core |
| upgradeTxWits | Cardano.Ledger.Allegra.Core |
| UTxO | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.State |
| 2 (Type/Class) | Cardano.Ledger.Allegra.State |
| utxoG | Cardano.Ledger.Allegra.State |
| utxoL | Cardano.Ledger.Allegra.State |
| validateNativeScript | Cardano.Ledger.Allegra.Core |
| validateOutsideValidityIntervalUTxO | Cardano.Ledger.Allegra.Rules |
| validateTimelock | Cardano.Ledger.Allegra.Tx |
| validateTxAuxData | Cardano.Ledger.Allegra.Core |
| ValidityInterval | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Scripts, Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core |
| Value | Cardano.Ledger.Allegra.Core |
| valueEitherTxOutL | Cardano.Ledger.Allegra.Core |
| ValueNotConservedUTxO | Cardano.Ledger.Allegra.Rules |
| valueTxOutL | Cardano.Ledger.Allegra.Core |
| verifyWitVKey | Cardano.Ledger.Allegra.State |
| vldtTxBodyL | Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core |
| VoidEraRule | Cardano.Ledger.Allegra.Core |
| VRFVerKeyHash | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| wireSizeTxF | Cardano.Ledger.Allegra.Core |
| Withdrawals | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Allegra.Core |
| withdrawalsTxBodyL | Cardano.Ledger.Allegra.Core |
| Witness | Cardano.Ledger.Allegra.Core |
| witsTxL | Cardano.Ledger.Allegra.Core |
| WrongNetwork | Cardano.Ledger.Allegra.Rules |
| WrongNetworkWithdrawal | Cardano.Ledger.Allegra.Rules |