| $sel:ssDelegations:SnapShot | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| $sel:ssFee:SnapShots | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| $sel:ssPoolParams:SnapShot | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| $sel:ssStake:SnapShot | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| $sel:ssStakeGo:SnapShots | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| $sel:ssStakeMark:SnapShots | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| $sel:ssStakeMarkPoolDistr:SnapShots | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| $sel:ssStakeSet:SnapShots | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| $sel:unStake:Stake | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| %. | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| %? | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| *- | Cardano.Ledger.Slot |
| +* | Cardano.Ledger.Slot |
| -* | Cardano.Ledger.Slot |
| /. | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| <+> | Cardano.Ledger.Val |
| <-> | Cardano.Ledger.Val |
| <×> | Cardano.Ledger.Val |
| ==> | Cardano.Ledger.BaseTypes |
| ?!# | Cardano.Ledger.Rules.ValidationMode |
| ?!#: | Cardano.Ledger.Rules.ValidationMode |
| absurdEraRule | Cardano.Ledger.Core |
| Accounts | Cardano.Ledger.State, Cardano.Ledger.State |
| accountsG | Cardano.Ledger.State |
| accountsL | Cardano.Ledger.State |
| accountsMapL | Cardano.Ledger.State |
| AccountState | |
| 1 (Data Constructor) | Cardano.Ledger.State |
| 2 (Type/Class) | Cardano.Ledger.State, Cardano.Ledger.State |
| ActiveSlotCoeff | Cardano.Ledger.BaseTypes |
| activeSlotCoeff | Cardano.Ledger.BaseTypes |
| activeSlotLog | Cardano.Ledger.BaseTypes |
| activeSlotVal | Cardano.Ledger.BaseTypes |
| addAccountState | Cardano.Ledger.State |
| addCompactCoin | Cardano.Ledger.Coin |
| addDeltaCoin | Cardano.Ledger.Coin |
| addDummyWitsTx | Cardano.Ledger.Tools |
| addEpochInterval | Cardano.Ledger.BaseTypes |
| addInstantStake | Cardano.Ledger.State |
| Addr | |
| 1 (Type/Class) | Cardano.Ledger.Address |
| 2 (Data Constructor) | Cardano.Ledger.Address |
| AddrBootstrap | Cardano.Ledger.Address |
| addrEitherTxOutL | Cardano.Ledger.Core |
| ADDRHASH | Cardano.Ledger.Hashes, Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto, Cardano.Ledger.Core |
| addrPtrNormalize | Cardano.Ledger.Address |
| addrTxOutL | Cardano.Ledger.Core |
| addrTxWitsL | Cardano.Ledger.Core |
| addToBalanceAccounts | Cardano.Ledger.State |
| adjustAccountState | Cardano.Ledger.State |
| allInputsTxBodyF | Cardano.Ledger.Core |
| allVersions | Cardano.Ledger.BaseTypes |
| Anchor | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.State |
| AnchorData | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| anchorDataHash | Cardano.Ledger.BaseTypes, Cardano.Ledger.State |
| anchorUrl | Cardano.Ledger.BaseTypes, Cardano.Ledger.State |
| applyPPUpdates | Cardano.Ledger.Core |
| areAllAdaOnly | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| asReserves | Cardano.Ledger.State |
| asSLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| asTreasury | Cardano.Ledger.State |
| asWitness | Cardano.Ledger.Keys |
| At | Cardano.Ledger.BaseTypes |
| AtLeastEra | Cardano.Ledger.Core |
| atLeastEra | Cardano.Ledger.Core |
| AtMostEra | Cardano.Ledger.Core |
| atMostEra | Cardano.Ledger.Core |
| authorizedHotCommitteeCredentials | Cardano.Ledger.State |
| auxDataHashTxBodyL | Cardano.Ledger.Core |
| auxDataTxL | Cardano.Ledger.Core |
| AuxiliaryDataHash | |
| 1 (Type/Class) | Cardano.Ledger.AuxiliaryData |
| 2 (Data Constructor) | Cardano.Ledger.AuxiliaryData |
| B | Cardano.Ledger.Metadata |
| balance | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| balanceAccountStateL | Cardano.Ledger.State |
| bbody | Cardano.Ledger.Block |
| bBodySize | Cardano.Ledger.Core |
| bheader | Cardano.Ledger.Block |
| BHeaderView | |
| 1 (Type/Class) | Cardano.Ledger.BHeaderView |
| 2 (Data Constructor) | Cardano.Ledger.BHeaderView |
| bhviewBHash | Cardano.Ledger.BHeaderView |
| bhviewBSize | Cardano.Ledger.BHeaderView |
| bhviewHSize | Cardano.Ledger.BHeaderView |
| bhviewID | Cardano.Ledger.BHeaderView |
| bhviewSlot | Cardano.Ledger.BHeaderView |
| BinaryData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| binaryDataToData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| binaryUpgradeTx | Cardano.Ledger.Core |
| binaryUpgradeTxAuxData | Cardano.Ledger.Core |
| binaryUpgradeTxBody | Cardano.Ledger.Core |
| binaryUpgradeTxWits | Cardano.Ledger.Core |
| bindNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| binOpEpochNo | Cardano.Ledger.BaseTypes |
| Block | |
| 1 (Type/Class) | Cardano.Ledger.Block |
| 2 (Data Constructor) | Cardano.Ledger.Block |
| BlockBody | Cardano.Ledger.Core |
| blockBody | Cardano.Ledger.Block |
| blockHeader | Cardano.Ledger.Block |
| BlockIssuer | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| BlockIssuerVRF | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| BlockNo | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| BlocksMade | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| bodyTxL | Cardano.Ledger.Core |
| boom | Cardano.Ledger.Tools |
| bootAddrTxOutF | Cardano.Ledger.Core |
| bootAddrTxWitsL | Cardano.Ledger.Core |
| BootstrapAddress | |
| 1 (Type/Class) | Cardano.Ledger.Address |
| 2 (Data Constructor) | Cardano.Ledger.Address |
| bootstrapAddressAttrsSize | Cardano.Ledger.Address |
| bootstrapKeyHash | Cardano.Ledger.Address |
| bootstrapWitKeyHash | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| BootstrapWitness | |
| 1 (Type/Class) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| BoundedRational | Cardano.Ledger.BaseTypes |
| boundRational | Cardano.Ledger.BaseTypes |
| bwAttributes | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| bwChainCode | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| bwKey | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| bwSignature | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| ByronEra | Cardano.Ledger.Core |
| byronProtVer | Cardano.Ledger.BaseTypes |
| byteCountMemoBytes | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| byteStringToNum | Cardano.Ledger.Tools |
| calcMinFeeTx | Cardano.Ledger.Tools |
| calcMinFeeTxNativeScriptWits | Cardano.Ledger.Tools |
| calculatePoolDistr | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| calculatePoolDistr' | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| calculatePoolStake | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| CanGetAccounts | Cardano.Ledger.State |
| CanGetChainAccountState | Cardano.Ledger.State |
| CanGetInstantStake | Cardano.Ledger.State |
| CanGetUTxO | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| CanSetAccounts | Cardano.Ledger.State |
| CanSetChainAccountState | Cardano.Ledger.State |
| CanSetInstantStake | Cardano.Ledger.State |
| CanSetUTxO | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| casReserves | Cardano.Ledger.State |
| casReservesL | Cardano.Ledger.State |
| casTreasury | Cardano.Ledger.State |
| casTreasuryL | Cardano.Ledger.State |
| castSafeHash | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core |
| certDStateL | Cardano.Ledger.State |
| CertifiedVRF | Cardano.Ledger.Keys |
| CertIx | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| certIxFromIntegral | Cardano.Ledger.BaseTypes |
| certIxToInt | Cardano.Ledger.BaseTypes |
| certPStateL | Cardano.Ledger.State |
| CertState | Cardano.Ledger.State, Cardano.Ledger.State |
| certsTotalDepositsTxBody | Cardano.Ledger.State |
| certsTotalRefundsTxBody | Cardano.Ledger.State |
| certsTxBodyL | Cardano.Ledger.Core |
| ChainAccountState | |
| 1 (Type/Class) | Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.State |
| chainAccountStateG | Cardano.Ledger.State |
| chainAccountStateL | Cardano.Ledger.State |
| ChainCode | |
| 1 (Type/Class) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| coerceKeyRole | Cardano.Ledger.Keys |
| Coin | |
| 1 (Type/Class) | Cardano.Ledger.Coin |
| 2 (Data Constructor) | Cardano.Ledger.Coin |
| coin | Cardano.Ledger.Val |
| coinBalance | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| coinCompact | Cardano.Ledger.Val |
| coinToRational | Cardano.Ledger.Coin |
| coinTxOutL | Cardano.Ledger.Core |
| ColdCommitteeRole | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| CommitteeAuthorization | Cardano.Ledger.State |
| CommitteeHotCredential | Cardano.Ledger.State |
| CommitteeMemberResigned | Cardano.Ledger.State |
| CommitteeState | |
| 1 (Type/Class) | Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.State |
| CompactAddr | Cardano.Ledger.Address |
| compactAddr | Cardano.Ledger.Address |
| compactAddrTxOutL | Cardano.Ledger.Core |
| CompactCoin | Cardano.Ledger.Coin |
| compactCoinNonZero | Cardano.Ledger.Coin |
| compactCoinOrError | Cardano.Ledger.Coin |
| compactCoinTxOutL | Cardano.Ledger.Core |
| CompactDeltaCoin | Cardano.Ledger.Coin |
| CompactForm | Cardano.Ledger.Compactible, Cardano.Ledger.Coin |
| Compactible | Cardano.Ledger.Compactible |
| compactValueTxOutL | Cardano.Ledger.Core |
| consumed | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| contentsEq | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| CostModel | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelFromMap | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelInitParamCount | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelInitParamNames | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelParamNames | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelParamsCount | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| CostModels | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelsUnknown | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelsValid | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| costModelToMap | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| Credential | Cardano.Ledger.Credential |
| credKeyHash | Cardano.Ledger.Credential |
| credKeyHashWitness | Cardano.Ledger.Credential |
| credScriptHash | Cardano.Ledger.Credential |
| credToDRep | Cardano.Ledger.DRep |
| credToText | Cardano.Ledger.Credential |
| Crypto | Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto |
| csCommitteeCreds | Cardano.Ledger.State |
| curPParamsGovStateL | Cardano.Ledger.State |
| Data | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| DataHash | Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| dataHashSize | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| dataToBinaryData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| Datum | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| datumDataHash | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| DatumHash | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| DebugBadHex | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| DebugCannotDecode | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| DebugFailure | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| debugPlutus | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| debugPlutusUnbounded | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| DebugSuccess | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| DebugTimedOut | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| decodeAddr | Cardano.Ledger.Address |
| decodeAddrEither | Cardano.Ledger.Address |
| decodeAddrStateLenientT | Cardano.Ledger.Address |
| decodeAddrStateT | Cardano.Ledger.Address |
| decodeCostModel | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| decodeCostModelsFailing | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| decodeCostModelsLenient | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| decodeMemoBytes | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| decodeMemoized | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| decodePlutusRunnable | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| decodePositiveCoin | Cardano.Ledger.Coin |
| decodeRewardAccount | Cardano.Ledger.Address |
| decodeSignedDSIGN | Cardano.Ledger.Keys |
| decodeWithPlutus | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| decompactAddr | Cardano.Ledger.Address |
| defaultPlutusDebugOverrides | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| DefinitePParamsUpdate | Cardano.Ledger.State |
| deleteInstantStake | Cardano.Ledger.State |
| DeltaCoin | |
| 1 (Type/Class) | Cardano.Ledger.Coin |
| 2 (Data Constructor) | Cardano.Ledger.Coin |
| deltaReserves | Cardano.Ledger.State |
| deltaTreasury | Cardano.Ledger.State |
| depositAccountStateL | Cardano.Ledger.State |
| deserialiseRewardAccount | Cardano.Ledger.Address |
| DnsName | Cardano.Ledger.BaseTypes |
| dnsToText | Cardano.Ledger.BaseTypes |
| DowngradePParams | Cardano.Ledger.Core, Cardano.Ledger.Core |
| downgradePParams | Cardano.Ledger.Core |
| downgradePParamsHKD | Cardano.Ledger.Core |
| downgradePParamsUpdate | Cardano.Ledger.Core |
| drainAccounts | Cardano.Ledger.State |
| DRep | Cardano.Ledger.DRep, Cardano.Ledger.State |
| DRepAlwaysAbstain | Cardano.Ledger.DRep, Cardano.Ledger.State |
| DRepAlwaysNoConfidence | Cardano.Ledger.DRep, Cardano.Ledger.State |
| drepAnchor | Cardano.Ledger.DRep, Cardano.Ledger.State |
| drepAnchorL | Cardano.Ledger.DRep |
| DRepCredential | Cardano.Ledger.DRep, Cardano.Ledger.State |
| drepDelegs | Cardano.Ledger.DRep, Cardano.Ledger.State |
| drepDelegsL | Cardano.Ledger.DRep |
| drepDeposit | Cardano.Ledger.DRep, Cardano.Ledger.State |
| drepDepositL | Cardano.Ledger.DRep |
| drepExpiry | Cardano.Ledger.DRep, Cardano.Ledger.State |
| drepExpiryL | Cardano.Ledger.DRep |
| DRepKeyHash | Cardano.Ledger.DRep, Cardano.Ledger.State |
| DRepRole | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| DRepScriptHash | Cardano.Ledger.DRep, Cardano.Ledger.State |
| DRepState | |
| 1 (Type/Class) | Cardano.Ledger.DRep, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.DRep, Cardano.Ledger.State |
| dRepToCred | Cardano.Ledger.DRep |
| dRepToText | Cardano.Ledger.DRep |
| dsAccounts | Cardano.Ledger.State |
| dsFutureGenDelegs | Cardano.Ledger.State |
| dsFutureGenDelegsL | Cardano.Ledger.State |
| dsGenDelegs | Cardano.Ledger.State |
| dsGenDelegsL | Cardano.Ledger.State |
| DSIGN | Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto, Cardano.Ledger.Keys |
| DSignable | Cardano.Ledger.Keys |
| dsIRewards | Cardano.Ledger.State |
| dsIRewardsL | Cardano.Ledger.State |
| DState | |
| 1 (Type/Class) | Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.State |
| Duration | |
| 1 (Type/Class) | Cardano.Ledger.Slot |
| 2 (Data Constructor) | Cardano.Ledger.Slot |
| emptyCostModels | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| emptyGovState | Cardano.Ledger.State |
| emptyPParams | Cardano.Ledger.Core |
| emptyPParamsIdentity | Cardano.Ledger.Core |
| emptyPParamsStrictMaybe | Cardano.Ledger.Core |
| emptyPParamsUpdate | Cardano.Ledger.Core |
| emptySnapShot | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| emptySnapShots | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| emptyUpgradePParamsUpdate | Cardano.Ledger.Core |
| encodeCostModel | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| encodeSignedDSIGN | Cardano.Ledger.Keys |
| ensureMinCoinTxOut | Cardano.Ledger.Tools |
| epochFromSlot | Cardano.Ledger.Slot |
| EpochInfo | Cardano.Ledger.Slot |
| epochInfo | Cardano.Ledger.BaseTypes |
| epochInfoEpoch | Cardano.Ledger.Slot |
| epochInfoFirst | Cardano.Ledger.Slot |
| epochInfoPure | Cardano.Ledger.BaseTypes |
| epochInfoSize | Cardano.Ledger.Slot |
| EpochInterval | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| EpochNo | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| EpochSize | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| EqRaw | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| eqRaw | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| eqRawType | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| Era | Cardano.Ledger.Core |
| EraAccounts | Cardano.Ledger.State |
| EraBlockBody | Cardano.Ledger.Core |
| EraCertState | Cardano.Ledger.State |
| eraDecoder | Cardano.Ledger.Core |
| eraDecoderWithBytes | Cardano.Ledger.Core |
| EraGenesis | Cardano.Ledger.Genesis |
| EraGov | Cardano.Ledger.State |
| EraIndependentBlockBody | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraIndependentBlockHeader | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraIndependentData | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraIndependentMetadata | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraIndependentPParamView | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraIndependentScript | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraIndependentScriptData | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraIndependentScriptIntegrity | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraIndependentTxAuxData | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraIndependentTxBody | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| EraName | Cardano.Ledger.Core, Cardano.Ledger.Core |
| eraName | Cardano.Ledger.Core |
| EraPParams | Cardano.Ledger.Core |
| eraPParams | Cardano.Ledger.Core |
| eraProtVerHigh | Cardano.Ledger.Core |
| eraProtVerLow | Cardano.Ledger.Core |
| eraProtVersions | Cardano.Ledger.Core |
| EraRule | Cardano.Ledger.Core |
| EraRuleEvent | Cardano.Ledger.Core |
| EraRuleFailure | Cardano.Ledger.Core |
| EraScript | Cardano.Ledger.Core |
| EraStake | Cardano.Ledger.State |
| EraTx | Cardano.Ledger.Core |
| EraTxAuxData | Cardano.Ledger.Core |
| EraTxBody | Cardano.Ledger.Core |
| EraTxCert | Cardano.Ledger.Core |
| EraTxOut | Cardano.Ledger.Core |
| EraTxWits | Cardano.Ledger.Core |
| EraUTxO | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| estimateMinFeeTx | Cardano.Ledger.Tools |
| evaluatePlutusRunnable | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| evaluatePlutusRunnableBudget | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| evaluatePlutusWithContext | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| ExactEra | Cardano.Ledger.Core |
| exBudgetToExUnits | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| explainPlutusEvaluationError | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| extractHash | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core |
| ExUnits | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| ExUnits' | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| exUnitsMem | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| exUnitsMem' | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| exUnitsSteps | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| exUnitsSteps' | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| failBecauseS | Cardano.Ledger.Rules.ValidationMode |
| Fails | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| feeTxBodyL | Cardano.Ledger.Core |
| fGenDelegGenKeyHash | Cardano.Ledger.State |
| fGenDelegSlot | Cardano.Ledger.State |
| FixedPoint | Cardano.Ledger.BaseTypes |
| flattenCostModels | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| fpPrecision | Cardano.Ledger.BaseTypes |
| fromBoostrapCompactAddress | Cardano.Ledger.Address |
| fromCborAddr | Cardano.Ledger.Address |
| fromCborBackwardsBothAddr | Cardano.Ledger.Address |
| fromCborBothAddr | Cardano.Ledger.Address |
| fromCborCompactAddr | Cardano.Ledger.Address |
| fromCborRewardAccount | Cardano.Ledger.Address |
| fromCborRigorousBothAddr | Cardano.Ledger.Address |
| fromCompact | Cardano.Ledger.Compactible |
| fromCompactCoinNonZero | Cardano.Ledger.Coin |
| fromDeltaCoin | Cardano.Ledger.Coin |
| fromEraCBOR | Cardano.Ledger.Core |
| fromEraShareCBOR | Cardano.Ledger.Core |
| fromNativeScript | Cardano.Ledger.Core |
| fromNoUpdate | Cardano.Ledger.HKD |
| fromPlutusData | Cardano.Ledger.Plutus.ToPlutusData |
| fromSMaybe | Cardano.Ledger.BaseTypes |
| fromTxSeq | Cardano.Ledger.Core |
| fromVRFVerKeyHash | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| FutureGenDeleg | |
| 1 (Type/Class) | Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.State |
| FuturePParams | Cardano.Ledger.State |
| futurePParamsGovStateL | Cardano.Ledger.State |
| genDelegKeyHash | Cardano.Ledger.Hashes, Cardano.Ledger.Keys |
| GenDelegPair | |
| 1 (Type/Class) | Cardano.Ledger.Hashes, Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Hashes, Cardano.Ledger.Keys |
| GenDelegs | |
| 1 (Type/Class) | Cardano.Ledger.Hashes, Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Hashes, Cardano.Ledger.Keys |
| GenDelegVRF | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| genDelegVrfHash | Cardano.Ledger.Hashes, Cardano.Ledger.Keys |
| genericApplyPPUpdates | Cardano.Ledger.Core |
| Genesis | |
| 1 (Data Constructor) | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| 2 (Type/Class) | Cardano.Ledger.Genesis |
| GenesisDelegate | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| getConsumedValue | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| getCostModelEvaluationContext | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| getCostModelLanguage | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| getCostModelParams | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| getEvaluationContext | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| getGenesisKeyHashCountTxBody | Cardano.Ledger.Core |
| getMemoBytesHash | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| getMemoBytesType | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| getMemoRawBytes | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| getMemoRawType | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| getMemoSafeHash | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| getMinCoinSizedTxOut | Cardano.Ledger.Core |
| getMinCoinTxOut | Cardano.Ledger.Core |
| getMinFeeTx | Cardano.Ledger.Core |
| getMinFeeTxUtxo | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| getNativeScript | Cardano.Ledger.Core |
| getNetwork | Cardano.Ledger.Address |
| getPlutusData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| getPoolCertTxCert | Cardano.Ledger.Core |
| getProducedValue | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| getRegPoolTxCert | Cardano.Ledger.Core |
| getRetirePoolTxCert | Cardano.Ledger.Core |
| getScriptHash | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| getScriptsHashesNeeded | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| getScriptsNeeded | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| getScriptsProvided | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| getScriptWitnessTxCert | Cardano.Ledger.Core |
| getterMemoRawType | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| getTheSlotOfNoReturn | Cardano.Ledger.Slot |
| getTotalDepositsTxBody | Cardano.Ledger.Core |
| getTotalDepositsTxCerts | Cardano.Ledger.Core |
| getTotalRefundsTxBody | Cardano.Ledger.Core |
| getTotalRefundsTxCerts | Cardano.Ledger.Core |
| getVersion | Cardano.Ledger.BaseTypes |
| getVersion64 | Cardano.Ledger.BaseTypes |
| getVKeyWitnessTxCert | Cardano.Ledger.Core |
| getWitsVKeyNeeded | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| Globals | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| GovState | Cardano.Ledger.State, Cardano.Ledger.State |
| Guard | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| guardPlutus | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| HASH | Cardano.Ledger.Hashes, Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto, Cardano.Ledger.Core |
| Hash | |
| 1 (Type/Class) | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| 2 (Type/Class) | Cardano.Ledger.Keys |
| HashAlgorithm | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| hashAnchorData | Cardano.Ledger.BaseTypes |
| HashAnnotated | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core |
| hashAnnotated | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core |
| hashBinaryData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| hashBlockBody | Cardano.Ledger.Core |
| hashData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| HashHeader | |
| 1 (Type/Class) | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| hashKey | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| hashPlutusScript | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| hashScript | Cardano.Ledger.Core |
| hashScriptTxWitsL | Cardano.Ledger.Core |
| hashSignature | Cardano.Ledger.Keys |
| hashTxAuxData | Cardano.Ledger.Core |
| hashTxBodySignature | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| hashTxSeq | Cardano.Ledger.Core |
| hashVerKeyVRF | Cardano.Ledger.Keys |
| hashWithSerialiser | Cardano.Ledger.Keys |
| HasKeyRole | Cardano.Ledger.Keys |
| HasZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| HKD | Cardano.Ledger.HKD |
| hkdA0L | Cardano.Ledger.Core |
| HKDApplicative | Cardano.Ledger.HKD |
| hkdDL | Cardano.Ledger.Core |
| hkdEMaxL | Cardano.Ledger.Core |
| hkdExtraEntropyL | Cardano.Ledger.Core |
| HKDFunctor | Cardano.Ledger.HKD |
| hkdKeyDepositL | Cardano.Ledger.Core |
| hkdLiftA2 | Cardano.Ledger.HKD |
| hkdMap | Cardano.Ledger.HKD |
| hkdMaxBBSizeL | Cardano.Ledger.Core |
| hkdMaxBHSizeL | Cardano.Ledger.Core |
| hkdMaxTxSizeL | Cardano.Ledger.Core |
| hkdMinFeeAL | Cardano.Ledger.Core |
| hkdMinFeeBL | Cardano.Ledger.Core |
| hkdMinPoolCostL | Cardano.Ledger.Core |
| hkdMinUTxOValueL | Cardano.Ledger.Core |
| hkdNOptL | Cardano.Ledger.Core |
| HKDNoUpdate | Cardano.Ledger.HKD |
| hkdPoolDepositCompactL | Cardano.Ledger.Core |
| hkdProtocolVersionL | Cardano.Ledger.Core |
| hkdPure | Cardano.Ledger.HKD |
| hkdRhoL | Cardano.Ledger.Core |
| hkdTauL | Cardano.Ledger.Core |
| HotCommitteeRole | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| I | Cardano.Ledger.Metadata |
| indexProxy | Cardano.Ledger.SafeHash |
| IndividualPoolStake | |
| 1 (Type/Class) | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| individualPoolStake | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| individualPoolStakeVrf | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| individualTotalPoolStake | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| individualTotalPoolStakeL | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| Inject | Cardano.Ledger.BaseTypes, Cardano.Ledger.Rules.ValidationMode |
| inject | Cardano.Ledger.BaseTypes, Cardano.Ledger.Val, Cardano.Ledger.Rules.ValidationMode |
| injectCompact | Cardano.Ledger.Val |
| injectEvent | Cardano.Ledger.Core |
| injectFailure | Cardano.Ledger.Core |
| InjectRuleEvent | Cardano.Ledger.Core |
| InjectRuleFailure | Cardano.Ledger.Core |
| inputsTxBodyL | Cardano.Ledger.Core |
| InstantaneousRewards | |
| 1 (Type/Class) | Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.State |
| InstantStake | Cardano.Ledger.State, Cardano.Ledger.State |
| instantStakeCredentialsL | Cardano.Ledger.State |
| instantStakeG | Cardano.Ledger.State |
| instantStakeL | Cardano.Ledger.State |
| integerToWord64 | Cardano.Ledger.Coin |
| integralToBounded | Cardano.Ledger.BaseTypes |
| integralToByteStringN | Cardano.Ledger.Tools |
| invalidKey | Cardano.Ledger.BaseTypes |
| invert | Cardano.Ledger.Val |
| iRReserves | Cardano.Ledger.State |
| iRTreasury | Cardano.Ledger.State |
| isAccountRegistered | Cardano.Ledger.State |
| isAdaOnly | Cardano.Ledger.Val |
| isAdaOnlyCompact | Cardano.Ledger.Val |
| isAdaOnlyTxOutF | Cardano.Ledger.Core |
| isBootstrapCompactAddr | Cardano.Ledger.Address |
| isBootstrapRedeemer | Cardano.Ledger.Address |
| isLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| isNativeScript | Cardano.Ledger.Core |
| isOverlaySlot | Cardano.Ledger.BHeaderView |
| isPayCredScriptCompactAddr | Cardano.Ledger.Address |
| isRegStakeTxCert | Cardano.Ledger.Core |
| isSJust | Cardano.Ledger.BaseTypes |
| isSNothing | Cardano.Ledger.BaseTypes |
| isUnRegStakeTxCert | Cardano.Ledger.Core |
| isValidPlutus | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| isZero | |
| 1 (Function) | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| 2 (Function) | Cardano.Ledger.Val |
| KES | Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto |
| KESignable | Cardano.Ledger.Keys |
| KeyHash | |
| 1 (Type/Class) | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| KeyHashObj | Cardano.Ledger.Credential |
| keyHashWitnessesTxWits | Cardano.Ledger.Core |
| KeyRole | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| KeyRoleVRF | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| KeyValuePairs | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| kindObject | Cardano.Ledger.BaseTypes |
| KnownBounds | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| knownFuturePParams | Cardano.Ledger.State |
| knownNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| knownNonZeroBounded | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| Language | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| languageFromText | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| languageToText | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| lblStatic | Cardano.Ledger.Rules.ValidationMode |
| LeaderReward | Cardano.Ledger.Rewards, Cardano.Ledger.Core |
| LegacyPlutusArgs | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| LegacyPlutusArgs2 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| LegacyPlutusArgs3 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| lensMemoRawType | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| List | Cardano.Ledger.Metadata |
| lookupAccountState | Cardano.Ledger.State |
| lookupDepositDState | Cardano.Ledger.State |
| lookupRegStakeTxCert | Cardano.Ledger.Core |
| lookupRewardDState | Cardano.Ledger.State |
| lookupStakePoolDelegation | Cardano.Ledger.State |
| lookupUnRegStakeTxCert | Cardano.Ledger.Core |
| Mainnet | Cardano.Ledger.BaseTypes |
| makeBinaryData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| makeBootstrapWitness | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| makeHashWithExplicitProxys | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core |
| Map | Cardano.Ledger.Metadata |
| mapNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| mapPParams | Cardano.Ledger.Core |
| mapPParamsUpdate | Cardano.Ledger.Core |
| MaxBound | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes, Cardano.Ledger.BaseTypes |
| maxKESEvo | Cardano.Ledger.BaseTypes |
| maxLovelaceSupply | Cardano.Ledger.BaseTypes |
| maxPool | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| maxPool' | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| MaxVersion | Cardano.Ledger.BaseTypes |
| maybeToStrictMaybe | Cardano.Ledger.BaseTypes |
| mbBytes | Cardano.Ledger.MemoBytes.Internal |
| mbHash | Cardano.Ledger.MemoBytes.Internal |
| mbRawType | Cardano.Ledger.MemoBytes.Internal |
| Mem | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| MemberReward | Cardano.Ledger.Rewards, Cardano.Ledger.Core |
| Memo | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| MemoBytes | |
| 1 (Type/Class) | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| 2 (Data Constructor) | Cardano.Ledger.MemoBytes.Internal |
| memoBytes | Cardano.Ledger.MemoBytes.Internal |
| memoBytesEra | Cardano.Ledger.MemoBytes.Internal |
| MemoHashIndex | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| Memoized | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| metadataTxAuxDataL | Cardano.Ledger.Core |
| Metadatum | Cardano.Ledger.Metadata |
| MinBound | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes, Cardano.Ledger.BaseTypes |
| MinVersion | Cardano.Ledger.BaseTypes |
| Mismatch | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| mismatchExpected | Cardano.Ledger.BaseTypes |
| mismatchSupplied | Cardano.Ledger.BaseTypes |
| mkActiveSlotCoeff | Cardano.Ledger.BaseTypes |
| mkBasicBlockBody | Cardano.Ledger.Core |
| mkBasicTx | Cardano.Ledger.Core |
| mkBasicTxAuxData | Cardano.Ledger.Core |
| mkBasicTxBody | Cardano.Ledger.Core |
| mkBasicTxOut | Cardano.Ledger.Core |
| mkBasicTxWits | Cardano.Ledger.Core |
| mkCertIx | Cardano.Ledger.BaseTypes |
| mkCertIxPartial | Cardano.Ledger.BaseTypes |
| mkCoinTxOut | Cardano.Ledger.Core |
| mkCostModel | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| mkCostModels | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| mkCostModelsLenient | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| MkData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| mkGenesisWith | Cardano.Ledger.Genesis |
| mkHashedDatum | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| mkInlineDatum | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| mkLanguageEnum | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| mkMemoBytes | Cardano.Ledger.MemoBytes.Internal |
| mkMemoBytesStrict | Cardano.Ledger.MemoBytes.Internal |
| mkMemoized | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| mkMemoizedEra | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| mkNonceFromNumber | Cardano.Ledger.BaseTypes |
| mkNonceFromOutputVRF | Cardano.Ledger.BaseTypes |
| mkPtrNormalized | Cardano.Ledger.Credential |
| mkRegPoolTxCert | Cardano.Ledger.Core |
| mkRetirePoolTxCert | Cardano.Ledger.Core |
| mkStakePoolState | Cardano.Ledger.State |
| mkTermToEvaluate | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| mkTxInPartial | Cardano.Ledger.TxIn |
| mkTxIx | Cardano.Ledger.BaseTypes |
| mkTxIxPartial | Cardano.Ledger.BaseTypes |
| mkVersion | Cardano.Ledger.BaseTypes |
| mkVersion64 | Cardano.Ledger.BaseTypes |
| modifyCoin | Cardano.Ledger.Val |
| modifyCompactCoin | Cardano.Ledger.Val |
| mulNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| mulNonZeroNat | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| MultiHostName | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| NativeScript | Cardano.Ledger.Core |
| natVersion | Cardano.Ledger.BaseTypes |
| natVersionProxy | Cardano.Ledger.BaseTypes |
| neededTxInsForBlock | Cardano.Ledger.Block |
| negateNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| Network | Cardano.Ledger.BaseTypes |
| networkId | Cardano.Ledger.BaseTypes |
| networkToWord8 | Cardano.Ledger.BaseTypes |
| NeutralNonce | Cardano.Ledger.BaseTypes |
| nextEpochPParams | Cardano.Ledger.State |
| nextEpochUpdatedPParams | Cardano.Ledger.State |
| NoDatum | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| NoGenesis | |
| 1 (Type/Class) | Cardano.Ledger.Genesis |
| 2 (Data Constructor) | Cardano.Ledger.Genesis |
| Nonce | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| nonNativeLanguages | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| NonNegativeInterval | Cardano.Ledger.BaseTypes |
| NonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| nonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| nonZeroOr | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| NoPParamsUpdate | Cardano.Ledger.State |
| normalizePtr | Cardano.Ledger.Credential |
| notSupportedInThisEra | Cardano.Ledger.Core |
| notSupportedInThisEraL | Cardano.Ledger.Core |
| NoUpdate | |
| 1 (Type/Class) | Cardano.Ledger.HKD |
| 2 (Data Constructor) | Cardano.Ledger.HKD |
| numSegComponents | Cardano.Ledger.Core |
| oblDRep | Cardano.Ledger.State |
| obligationCertState | Cardano.Ledger.State |
| obligationGovState | Cardano.Ledger.State |
| Obligations | |
| 1 (Type/Class) | Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.State |
| oblPool | Cardano.Ledger.State |
| oblProposal | Cardano.Ledger.State |
| oblStake | Cardano.Ledger.State |
| Origin | Cardano.Ledger.BaseTypes |
| originalBytes | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core |
| originalBytesSize | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core |
| outputsTxBodyL | Cardano.Ledger.Core |
| packMemoBytesM | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| parseCostModelAsArray | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| parseCostModelAsMap | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| parseCostModels | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| parseCredential | Cardano.Ledger.Credential |
| partialCompactCoinL | Cardano.Ledger.Coin |
| partialCompactFL | Cardano.Ledger.Compactible |
| Passes | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| Payment | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| PaymentCredential | Cardano.Ledger.Credential |
| pdoCostModelValues | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoExUnitsEnforced | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoExUnitsMem | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoExUnitsSteps | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoLanguage | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoProtocolVersion | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdoScript | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pdTotalActiveStake | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| Plutus | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusArgs | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus, Cardano.Ledger.Plutus |
| PlutusBinary | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusBinary | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusData | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| PlutusDebugInfo | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| PlutusDebugOverrides | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| plutusFromRunnable | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusLanguageTag | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusRunnable | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusRunnable | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusScriptContext | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| plutusSLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV1 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV1Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV2 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV2Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV3 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV3Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV4 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusV4Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| PlutusWithContext | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pmHash | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| pmUrl | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| pointwise | Cardano.Ledger.Val |
| pointWiseExUnits | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| PoolCert | Cardano.Ledger.Core |
| poolCertKeyHashWitness | Cardano.Ledger.Core |
| PoolDistr | |
| 1 (Type/Class) | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| poolDistrDistrL | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| poolDistrTotalL | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| PoolMetadata | |
| 1 (Type/Class) | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| PoolParams | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| poolStake | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| Port | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| portToWord16 | Cardano.Ledger.BaseTypes |
| PositiveInterval | Cardano.Ledger.BaseTypes |
| PositiveUnitInterval | Cardano.Ledger.BaseTypes |
| positiveUnitIntervalNonZeroRational | Cardano.Ledger.BaseTypes |
| PotentialPParamsUpdate | Cardano.Ledger.State |
| ppA0L | Cardano.Ledger.Core |
| PParam | |
| 1 (Type/Class) | Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Core |
| PParams | |
| 1 (Type/Class) | Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Core |
| PParamsHKD | Cardano.Ledger.Core, Cardano.Ledger.Core |
| PParamsUpdate | |
| 1 (Type/Class) | Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Core |
| PParamUpdate | |
| 1 (Type/Class) | Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Core |
| ppCost | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| ppDG | Cardano.Ledger.Core |
| ppDL | Cardano.Ledger.Core |
| ppEMaxL | Cardano.Ledger.Core |
| ppExtraEntropyL | Cardano.Ledger.Core |
| ppId | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| ppKeyDepositL | Cardano.Ledger.Core |
| ppLens | Cardano.Ledger.Core |
| ppLensHKD | Cardano.Ledger.Core |
| ppMargin | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| ppMaxBBSizeL | Cardano.Ledger.Core |
| ppMaxBHSizeL | Cardano.Ledger.Core |
| ppMaxTxSizeL | Cardano.Ledger.Core |
| ppMetadata | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| ppMinFeeAL | Cardano.Ledger.Core |
| ppMinFeeBL | Cardano.Ledger.Core |
| ppMinPoolCostL | Cardano.Ledger.Core |
| ppMinUTxOValueL | Cardano.Ledger.Core |
| ppName | Cardano.Ledger.Core |
| ppNOptL | Cardano.Ledger.Core |
| ppOwners | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| ppPledge | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| ppPoolDepositCompactL | Cardano.Ledger.Core |
| ppPoolDepositL | Cardano.Ledger.Core |
| ppProtocolVersionL | Cardano.Ledger.Core |
| ppRelays | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| ppRewardAccount | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| ppRhoL | Cardano.Ledger.Core |
| ppTauL | Cardano.Ledger.Core |
| ppuA0L | Cardano.Ledger.Core |
| ppuDL | Cardano.Ledger.Core |
| ppuEMaxL | Cardano.Ledger.Core |
| ppuExtraEntropyL | Cardano.Ledger.Core |
| ppuKeyDepositL | Cardano.Ledger.Core |
| ppuLens | Cardano.Ledger.Core |
| ppuLensHKD | Cardano.Ledger.Core |
| ppuMaxBBSizeL | Cardano.Ledger.Core |
| ppuMaxBHSizeL | Cardano.Ledger.Core |
| ppuMaxTxSizeL | Cardano.Ledger.Core |
| ppuMinFeeAL | Cardano.Ledger.Core |
| ppuMinFeeBL | Cardano.Ledger.Core |
| ppuMinPoolCostL | Cardano.Ledger.Core |
| ppuMinUTxOValueL | Cardano.Ledger.Core |
| ppuNOptL | Cardano.Ledger.Core |
| ppUpdate | Cardano.Ledger.Core |
| ppuPoolDepositCompactL | Cardano.Ledger.Core |
| ppuPoolDepositL | Cardano.Ledger.Core |
| ppuProtocolVersionL | Cardano.Ledger.Core |
| ppuRhoL | Cardano.Ledger.Core |
| ppuTag | Cardano.Ledger.Core |
| ppuTauL | Cardano.Ledger.Core |
| ppVrf | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| PreviousEra | Cardano.Ledger.Core, Cardano.Ledger.Core |
| prevPParamsGovStateL | Cardano.Ledger.State |
| Prices | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| printMemo | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| prMem | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| promoteRatio | Cardano.Ledger.BaseTypes |
| ProtVer | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| ProtVerAtLeast | Cardano.Ledger.Core |
| ProtVerAtMost | Cardano.Ledger.Core |
| ProtVerHigh | Cardano.Ledger.Core, Cardano.Ledger.Core |
| ProtVerInBounds | Cardano.Ledger.Core |
| ProtVerLow | Cardano.Ledger.Core, Cardano.Ledger.Core |
| prSteps | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| psFutureStakePools | Cardano.Ledger.State |
| psFutureStakePoolsL | Cardano.Ledger.State |
| psRetiring | Cardano.Ledger.State |
| psRetiringL | Cardano.Ledger.State |
| psStakePools | Cardano.Ledger.State |
| psStakePoolsL | Cardano.Ledger.State |
| PState | |
| 1 (Type/Class) | Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.State |
| psVRFKeyHashes | Cardano.Ledger.State |
| psVRFKeyHashesL | Cardano.Ledger.State |
| Ptr | |
| 1 (Type/Class) | Cardano.Ledger.Credential |
| 2 (Data Constructor) | Cardano.Ledger.Credential |
| ptrCertIx | Cardano.Ledger.Credential |
| ptrSlotNo | Cardano.Ledger.Credential |
| ptrTxIx | Cardano.Ledger.Credential |
| putAddr | Cardano.Ledger.Address |
| putCredential | Cardano.Ledger.Address |
| putPtr | Cardano.Ledger.Address |
| putRewardAccount | Cardano.Ledger.Address |
| putVariableLengthWord64 | Cardano.Ledger.Address |
| pvMajor | Cardano.Ledger.BaseTypes |
| pvMinor | Cardano.Ledger.BaseTypes |
| pwcArgs | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcCostModel | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcExUnits | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcProtocolVersion | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcScript | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| pwcScriptHash | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| quorum | Cardano.Ledger.BaseTypes |
| raCredential | Cardano.Ledger.Address |
| randomnessStabilisationWindow | Cardano.Ledger.BaseTypes |
| raNetwork | Cardano.Ledger.Address |
| rationalToCoinViaCeiling | Cardano.Ledger.Coin |
| rationalToCoinViaFloor | Cardano.Ledger.Coin |
| RawType | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| recipNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| RegPool | Cardano.Ledger.Core |
| RegPoolTxCert | Cardano.Ledger.Core |
| Relation | Cardano.Ledger.BaseTypes |
| RelEQ | Cardano.Ledger.BaseTypes |
| RelGT | Cardano.Ledger.BaseTypes |
| RelGTEQ | Cardano.Ledger.BaseTypes |
| RelLT | Cardano.Ledger.BaseTypes |
| RelLTEQ | Cardano.Ledger.BaseTypes |
| RelSubset | Cardano.Ledger.BaseTypes |
| removeStakePoolDelegations | Cardano.Ledger.State |
| reservesL | Cardano.Ledger.State |
| resolveActiveInstantStakeCredentials | Cardano.Ledger.State |
| resolveInstantStake | Cardano.Ledger.State |
| RetirePool | Cardano.Ledger.Core |
| RetirePoolTxCert | Cardano.Ledger.Core |
| Reward | |
| 1 (Type/Class) | Cardano.Ledger.Rewards, Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Rewards, Cardano.Ledger.Core |
| RewardAccount | |
| 1 (Type/Class) | Cardano.Ledger.Address |
| 2 (Data Constructor) | Cardano.Ledger.Address |
| rewardAccountCredentialL | Cardano.Ledger.Address |
| rewardAccountNetworkL | Cardano.Ledger.Address |
| rewardAmount | Cardano.Ledger.Rewards, Cardano.Ledger.Core |
| rewardPool | Cardano.Ledger.Rewards, Cardano.Ledger.Core |
| RewardType | Cardano.Ledger.Rewards, Cardano.Ledger.Core |
| rewardType | Cardano.Ledger.Rewards, Cardano.Ledger.Core |
| runPlutusScript | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| runPlutusScriptWithLogs | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| runTest | Cardano.Ledger.Rules.ValidationMode |
| runTestOnSignal | Cardano.Ledger.Rules.ValidationMode |
| S | Cardano.Ledger.Metadata |
| SafeHash | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core |
| SafeToHash | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core |
| scale | Cardano.Ledger.Val |
| Script | Cardano.Ledger.Core |
| scriptFail | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| ScriptFailure | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| scriptFailureMessage | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| scriptFailurePlutus | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| ScriptHash | |
| 1 (Type/Class) | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| ScriptHashObj | Cardano.Ledger.Credential |
| scriptPass | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| scriptPrefixTag | Cardano.Ledger.Core |
| ScriptResult | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| ScriptsNeeded | Cardano.Ledger.UTxO, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.State |
| ScriptsProvided | |
| 1 (Type/Class) | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| scriptTxWitsL | Cardano.Ledger.Core |
| securityParameter | Cardano.Ledger.BaseTypes |
| Seed | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| serialiseAddr | Cardano.Ledger.Address |
| serialiseRewardAccount | Cardano.Ledger.Address |
| setMinCoinTxOut | Cardano.Ledger.Tools |
| setMinCoinTxOutWith | Cardano.Ledger.Tools |
| setMinFeeTx | Cardano.Ledger.Tools |
| setMinFeeTxUtxo | Cardano.Ledger.Tools |
| ShelleyBase | Cardano.Ledger.BaseTypes |
| shelleyProtVer | Cardano.Ledger.BaseTypes |
| shorten | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| shortToLazy | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| showMemo | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| SignedDSIGN | Cardano.Ledger.Keys |
| signedDSIGN | Cardano.Ledger.Keys |
| SignedKES | Cardano.Ledger.Keys |
| SignKeyDSIGN | Cardano.Ledger.Keys |
| SignKeyKES | Cardano.Ledger.Keys |
| SignKeyVRF | Cardano.Ledger.Keys |
| SingleHostAddr | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| SingleHostName | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| size | Cardano.Ledger.Val |
| SizeOfPoolOwners | |
| 1 (Type/Class) | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| SizeOfPoolRelays | |
| 1 (Type/Class) | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sizeTxF | Cardano.Ledger.Core |
| sizeTxForFeeCalculation | Cardano.Ledger.Core |
| SJust | Cardano.Ledger.BaseTypes |
| SLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| SlotNo | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| SlotNo32 | |
| 1 (Type/Class) | Cardano.Ledger.Credential |
| 2 (Data Constructor) | Cardano.Ledger.Credential |
| slotsPerKESPeriod | Cardano.Ledger.BaseTypes |
| slotToPOSIXTime | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| SnapShot | |
| 1 (Type/Class) | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| snapShotFromInstantStake | Cardano.Ledger.State |
| SnapShots | |
| 1 (Type/Class) | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| SNothing | Cardano.Ledger.BaseTypes |
| solidifyFuturePParams | Cardano.Ledger.State |
| spendableInputsTxBodyF | Cardano.Ledger.Core |
| SPlutusV1 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| SPlutusV2 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| SPlutusV3 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| SPlutusV4 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| sppCost | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sppCostL | Cardano.Ledger.State |
| sppId | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sppMargin | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sppMetadata | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sppMetadataL | Cardano.Ledger.State |
| sppOwners | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sppPledge | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sppRelays | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sppRewardAccount | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sppVrf | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| sppVrfL | Cardano.Ledger.State |
| spsCost | Cardano.Ledger.State |
| spsCostL | Cardano.Ledger.State |
| spsDeposit | Cardano.Ledger.State |
| spsDepositL | Cardano.Ledger.State |
| spsMargin | Cardano.Ledger.State |
| spsMarginL | Cardano.Ledger.State |
| spsMetadata | Cardano.Ledger.State |
| spsMetadataL | Cardano.Ledger.State |
| spsOwners | Cardano.Ledger.State |
| spsOwnersL | Cardano.Ledger.State |
| spsPledge | Cardano.Ledger.State |
| spsPledgeL | Cardano.Ledger.State |
| spsRelays | Cardano.Ledger.State |
| spsRelaysL | Cardano.Ledger.State |
| spsRewardAccount | Cardano.Ledger.State |
| spsRewardAccountL | Cardano.Ledger.State |
| spsVrf | Cardano.Ledger.State |
| spsVrfL | Cardano.Ledger.State |
| ssDelegationsL | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| ssFeeL | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| ssPoolParamsL | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| ssStakeDistrL | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| ssStakeGoL | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| ssStakeL | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| ssStakeMarkL | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| ssStakeMarkPoolDistrL | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| ssStakeSetL | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| stabilityWindow | Cardano.Ledger.BaseTypes |
| Stake | |
| 1 (Type/Class) | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| StakeCredential | Cardano.Ledger.Credential |
| StakePool | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| stakePoolDelegationAccountStateL | Cardano.Ledger.State |
| StakePoolParams | |
| 1 (Type/Class) | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| StakePoolRelay | Cardano.Ledger.PoolParams, Cardano.Ledger.State |
| StakePoolState | |
| 1 (Type/Class) | Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.State |
| stakePoolStateToStakePoolParams | Cardano.Ledger.State |
| StakePoolVRF | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| StakeRefBase | Cardano.Ledger.Credential |
| StakeReference | Cardano.Ledger.Credential |
| StakeRefNull | Cardano.Ledger.Credential |
| StakeRefPtr | Cardano.Ledger.Credential |
| Staking | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| standardAddrHashSize | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| StandardCrypto | Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto |
| standardHashSize | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| StrictMaybe | Cardano.Ledger.BaseTypes |
| strictMaybe | Cardano.Ledger.BaseTypes |
| strictMaybeToMaybe | Cardano.Ledger.BaseTypes |
| succVersion | Cardano.Ledger.BaseTypes |
| sumAllCoin | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| sumAllStake | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| sumAllStakeCompact | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| sumAllValue | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| sumBalancesAccounts | Cardano.Ledger.State |
| sumCoinUTxO | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| sumCompactCoin | Cardano.Ledger.Coin |
| sumDepositsAccounts | Cardano.Ledger.State |
| sumObligation | Cardano.Ledger.State |
| sumStakePerPool | Cardano.Ledger.EpochBoundary, Cardano.Ledger.State |
| sumUTxO | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| sumVal | Cardano.Ledger.Val |
| swapMismatch | Cardano.Ledger.BaseTypes |
| systemStart | Cardano.Ledger.BaseTypes |
| Test | Cardano.Ledger.Rules.ValidationMode |
| Testnet | Cardano.Ledger.BaseTypes |
| textToDns | Cardano.Ledger.BaseTypes |
| textToUrl | Cardano.Ledger.BaseTypes |
| toCoinNonZero | Cardano.Ledger.Coin |
| toCompact | Cardano.Ledger.Compactible |
| toCompactCoinNonZero | Cardano.Ledger.Coin |
| toCompactPartial | Cardano.Ledger.Compactible |
| toDeltaCoin | Cardano.Ledger.Coin |
| toEraCBOR | Cardano.Ledger.Core |
| toIntegerNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| ToKeyValuePairs | Cardano.Ledger.BaseTypes |
| toKeyValuePairs | Cardano.Ledger.BaseTypes |
| toNoUpdate | Cardano.Ledger.HKD |
| ToPlutusData | Cardano.Ledger.Plutus.ToPlutusData |
| toPlutusData | Cardano.Ledger.Plutus.ToPlutusData |
| toRatioNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| toSLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| toTxSeq | Cardano.Ledger.Core |
| toVRFVerKeyHash | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| toWord7 | Cardano.Ledger.Address |
| transAddr | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transBoundedRational | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transCoinToLovelace | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transCoinToValue | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transCred | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transDataHash | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transDataPair | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transDatum | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transEpochInterval | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transEpochNo | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transExUnits | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transKeyHash | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| translateDatum | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| TranslateEra | Cardano.Ledger.Core |
| translateEra | Cardano.Ledger.Core |
| translateEra' | Cardano.Ledger.Core |
| translateEraMaybe | Cardano.Ledger.Core |
| translateEraThroughCBOR | Cardano.Ledger.Core |
| TranslationContext | Cardano.Ledger.Core |
| TranslationError | Cardano.Ledger.Core, Cardano.Ledger.Core |
| transRewardAccount | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transSafeHash | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transScriptHash | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transStakeReference | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transTxId | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transTxIn | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| treasuryL | Cardano.Ledger.State |
| Tx | Cardano.Ledger.Core |
| TxAuxData | Cardano.Ledger.Core |
| TxAuxDataHash | |
| 1 (Type/Class) | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| TxBody | Cardano.Ledger.Core |
| TxCert | Cardano.Ledger.Core, Cardano.Ledger.Core |
| TxCertUpgradeError | Cardano.Ledger.Core, Cardano.Ledger.Core |
| TxId | |
| 1 (Type/Class) | Cardano.Ledger.TxIn |
| 2 (Data Constructor) | Cardano.Ledger.TxIn |
| txIdTx | Cardano.Ledger.Core |
| txIdTxBody | Cardano.Ledger.Core |
| TxIn | |
| 1 (Type/Class) | Cardano.Ledger.TxIn |
| 2 (Data Constructor) | Cardano.Ledger.TxIn |
| txinLookup | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| txins | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| txInsFilter | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| txInToText | Cardano.Ledger.TxIn |
| TxIx | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.TxIn |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| txIxFromIntegral | Cardano.Ledger.BaseTypes |
| txIxToInt | Cardano.Ledger.BaseTypes |
| TxOut | Cardano.Ledger.Core |
| TxOutFromInput | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| TxOutFromOutput | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| txouts | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| TxOutSource | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| txOutSourceToText | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| txscriptfee | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| txSeqBlockBodyL | Cardano.Ledger.Core |
| TxWits | Cardano.Ledger.Core |
| unBlockNo | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| unBlocksMade | Cardano.Ledger.BaseTypes |
| unBootstrapAddress | Cardano.Ledger.Address |
| unboundRational | Cardano.Ledger.BaseTypes |
| unCertIx | Cardano.Ledger.BaseTypes |
| unChainCode | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| unCoin | Cardano.Ledger.Coin |
| unCoinNonZero | Cardano.Ledger.Coin |
| unCompactAddr | Cardano.Ledger.Address |
| unCompactCoin | Cardano.Ledger.Coin |
| unData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| unDuration | Cardano.Ledger.Slot |
| unEpochInterval | Cardano.Ledger.BaseTypes |
| unEpochNo | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| unEpochSize | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| unGenDelegs | Cardano.Ledger.Hashes, Cardano.Ledger.Keys |
| unHashHeader | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| UnitInterval | Cardano.Ledger.BaseTypes |
| unKeyHash | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| unKeyValuePairs | Cardano.Ledger.BaseTypes |
| unNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| unpackByronVKey | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| unpackMemoBytesM | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| unPlutusBinary | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPlutusV1Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPlutusV2Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPlutusV3Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPlutusV4Args | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| unPoolDistr | Cardano.Ledger.PoolDistr, Cardano.Ledger.State |
| unregisterAccount | Cardano.Ledger.State |
| unsafeAuxiliaryDataHash | Cardano.Ledger.AuxiliaryData |
| unsafeMakeSafeHash | Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash |
| unsafeNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| unScriptsProvided | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| unSlotNo | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| unswapMismatch | Cardano.Ledger.BaseTypes |
| unTxAuxDataHash | Cardano.Ledger.Hashes, Cardano.Ledger.Core |
| unTxId | Cardano.Ledger.TxIn |
| unTxIx | Cardano.Ledger.BaseTypes |
| unUTxO | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| unVKey | Cardano.Ledger.Keys |
| unVRFVerKeyHash | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| unWithdrawals | Cardano.Ledger.Address |
| unWrapExUnits | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| updateCostModels | Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus |
| updateLookupAccountState | Cardano.Ledger.State |
| upgradeData | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| UpgradePParams | Cardano.Ledger.Core, Cardano.Ledger.Core |
| upgradePParams | Cardano.Ledger.Core |
| upgradePParamsHKD | Cardano.Ledger.Core |
| upgradePParamsUpdate | Cardano.Ledger.Core |
| upgradeScript | Cardano.Ledger.Core |
| upgradeTxCert | Cardano.Ledger.Core |
| upgradeTxOut | Cardano.Ledger.Core |
| Url | Cardano.Ledger.BaseTypes |
| urlToText | Cardano.Ledger.BaseTypes |
| UTxO | |
| 1 (Type/Class) | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| 2 (Data Constructor) | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| utxoG | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| utxoL | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| Val | Cardano.Ledger.Val |
| validateNativeScript | Cardano.Ledger.Core |
| validateTxAuxData | Cardano.Ledger.Core |
| validMetadatum | Cardano.Ledger.Metadata |
| Value | Cardano.Ledger.Core |
| valueEitherTxOutL | Cardano.Ledger.Core |
| valueTxOutL | Cardano.Ledger.Core |
| verifyBootstrapWit | Cardano.Ledger.Keys.Bootstrap, Cardano.Ledger.Keys |
| verifySignedDSIGN | Cardano.Ledger.Keys |
| verifyWitVKey | Cardano.Ledger.UTxO, Cardano.Ledger.State |
| VerKeyKES | Cardano.Ledger.Keys |
| VerKeyVRF | Cardano.Ledger.Keys |
| Version | Cardano.Ledger.BaseTypes |
| VKey | |
| 1 (Type/Class) | Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Keys |
| VoidEraRule | Cardano.Ledger.Core |
| VRF | Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto |
| VRFSignable | Cardano.Ledger.Keys |
| VRFVerKeyHash | |
| 1 (Type/Class) | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| 2 (Data Constructor) | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| wireSizeTxF | Cardano.Ledger.Core |
| Withdrawals | |
| 1 (Type/Class) | Cardano.Ledger.Address |
| 2 (Data Constructor) | Cardano.Ledger.Address |
| withdrawalsThatDoNotDrainAccounts | Cardano.Ledger.State |
| withdrawalsTxBodyL | Cardano.Ledger.Core |
| WithinBounds | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| WithOrigin | Cardano.Ledger.BaseTypes |
| withSamePlutusLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| withSLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| Witness | Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core |
| witsTxL | Cardano.Ledger.Core |
| WitVKey | |
| 1 (Type/Class) | Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys |
| 2 (Data Constructor) | Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys |
| witVKeyHash | Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys |
| word64ToCoin | Cardano.Ledger.Coin |
| Word7 | |
| 1 (Type/Class) | Cardano.Ledger.Address |
| 2 (Data Constructor) | Cardano.Ledger.Address |
| word8ToNetwork | Cardano.Ledger.BaseTypes |
| WrapExUnits | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| wvkSig | Cardano.Ledger.Keys.WitVKey, Cardano.Ledger.Keys |
| zero | Cardano.Ledger.Val |
| zipMemoRawType | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| zipSemiExUnits | Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| ⭒ | Cardano.Ledger.BaseTypes |