cardano-ledger

Index - F

FactorA 
1 (Data Constructor)Byron.Spec.Ledger.Update
2 (Type/Class)Byron.Spec.Ledger.Update
factorAByron.Spec.Ledger.Update
FactorB 
1 (Data Constructor)Byron.Spec.Ledger.Update
2 (Type/Class)Byron.Spec.Ledger.Update
factorBByron.Spec.Ledger.Update
FADSByron.Spec.Ledger.Update
FadsPredicateFailureByron.Spec.Ledger.Update
Fail 
1 (Data Constructor)Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Data Constructor)Constrained.Examples.Fold
3 (Data Constructor)Control.Iterate.BaseTypes, Control.SetAlgebra
failBecauseControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
failBecauseSCardano.Ledger.Rules.ValidationMode
FailBootstrapTest.Cardano.Ledger.Conway.ImpTest
FailBootstrapAndPostBootstrapTest.Cardano.Ledger.Conway.ImpTest
FailBoth 
1 (Data Constructor)Test.Cardano.Ledger.Conway.ImpTest
2 (Type/Class)Test.Cardano.Ledger.Conway.ImpTest
FailedPlutusScriptsEvent 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
FailedUnexpectedlyCardano.Ledger.Alonzo.Rules
failingClasses 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
failingLabels 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
failingTestCase 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
failnTest.Cardano.Ledger.Constrained.Examples
failOnJustControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
failOnNonEmptyControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
FailPostBootstrapTest.Cardano.Ledger.Conway.ImpTest
FailsCardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
failTTest.Cardano.Ledger.Constrained.Monad
failTraceTest.Cardano.Ledger.Constrained.Trace.TraceMonad
Failure 
1 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Common
FailureDescriptionCardano.Ledger.Alonzo.Rules
failureOnJustControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
failureOnNonEmptyControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
failuresTest.Control.State.Transition.Generator
fairConstrained.SumList
FakeAvvmOptions 
1 (Data Constructor)Cardano.Chain.Genesis
2 (Type/Class)Cardano.Chain.Genesis
FakeVRFTest.Cardano.Protocol.Crypto.VRF.Fake
FalsePredConstrained.Base, Constrained.API
faoCountCardano.Chain.Genesis
faoOneBalanceCardano.Chain.Genesis
fastInequalityConstrained.Syntax
FatalErrorConstrained.GenT
fatalErrorConstrained.GenT
fatalErrorNEConstrained.GenT
fatalErrorsConstrained.GenT
fbtcGenDelegsCardano.Ledger.Shelley.Translation
fbtcMaxLovelaceSupplyCardano.Ledger.Shelley.Translation
fbtcProtocolParamsCardano.Ledger.Shelley.Translation
FConstTest.Cardano.Ledger.Constrained.Env
fcontextTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
FDatumTest.Cardano.Ledger.Generic.Fields
fdescribeTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
feeCoinLTest.Cardano.Ledger.Constrained.Trace.SimpleTx
feedPMTest.Cardano.Crypto.Gen
feedPMEpochSlotsTest.Cardano.Chain.Slotting.Gen
feeOrCollateralTest.Cardano.Ledger.Shelley.Generator.EraGen
feesTest.Cardano.Ledger.Constrained.Vars
feesActionTest.Cardano.Ledger.Constrained.Trace.Actions
feesAdaPot 
1 (Function)Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
2 (Function)Test.Cardano.Ledger.Shelley.Rules.Chain
feesAndDepositsTest.Cardano.Ledger.Shelley.Examples.Combinators
feesAndKeyRefundTest.Cardano.Ledger.Shelley.Examples.Combinators
feesLTest.Cardano.Ledger.Constrained.Vars
feesOKCardano.Ledger.Babbage.Rules
FeeTooLowByron.Spec.Ledger.STS.UTXO
FeeTooSmallUTxO 
1 (Data Constructor)Cardano.Ledger.Allegra.Rules
2 (Data Constructor)Cardano.Ledger.Alonzo.Rules
3 (Data Constructor)Cardano.Ledger.Conway.Rules
4 (Data Constructor)Cardano.Ledger.Shelley.Rules
feeTxBodyL 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
9 (Function)Test.Cardano.Ledger.EraClass
feeTxInTest.Cardano.Ledger.Constrained.Vars
feeTxOutTest.Cardano.Ledger.Constrained.Vars
fGenDelegGenKeyHash 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
fGenDelegGenKeyHashLTest.Cardano.Ledger.Constrained.Lenses
FGenDelegsCardano.Ledger.State.Schema
fGenDelegSlot 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
fGenDelegSlotLTest.Cardano.Ledger.Constrained.Lenses
Field 
1 (Data Constructor)Cardano.Ledger.Binary.Coders
2 (Type/Class)Cardano.Ledger.Binary.Coders
3 (Data Constructor)Test.Cardano.Ledger.Constrained.Env
4 (Type/Class)Test.Cardano.Ledger.Constrained.Env
field 
1 (Function)Cardano.Ledger.Binary.Coders
2 (Function)Test.Cardano.Ledger.Constrained.Vars
fieldACardano.Ledger.Binary.Coders
fieldAACardano.Ledger.Binary.Coders
fieldGuardedCardano.Ledger.Binary.Coders
fieldToTermTest.Cardano.Ledger.Constrained.Ast
fieldToVTest.Cardano.Ledger.Constrained.Env
fifoControl.Iterate.SetAlgebra
fillListCtxConstrained.List
filter 
1 (Function)Data.OSet.Strict
2 (Function)Data.OMap.Strict
3 (Function)Data.ListMap
4 (Function)Data.VMap
filterAllRewards 
1 (Function)Cardano.Ledger.Shelley.LedgerState
2 (Function)Test.Cardano.Ledger.Generic.ApplyTx
FilteredRewards 
1 (Data Constructor)Cardano.Ledger.Shelley.LedgerState
2 (Type/Class)Cardano.Ledger.Shelley.LedgerState
filterMultiAssetCardano.Ledger.Mary.Value
filterRewards 
1 (Function)Cardano.Ledger.Shelley.Rewards
2 (Function)Test.Cardano.Ledger.Generic.ApplyTx
filterStakePoolDelegsAndRewardsCardano.Ledger.Api.State.Query
findControl.Provenance
findCycleConstrained.Graph
findDTests.Cardano.Ledger.NonIntegral
findECardano.Ledger.NonIntegral
findEnvConstrained.Env
findKeyByron.Spec.Ledger.Update
findNameTest.Cardano.Ledger.Constrained.Env
findPayKeyPairAddrTest.Cardano.Ledger.Shelley.Generator.Core
findPayKeyPairCredTest.Cardano.Ledger.Shelley.Generator.Core
findPayScriptFromAddrTest.Cardano.Ledger.Shelley.Generator.Core
findPayScriptFromCredTest.Cardano.Ledger.Shelley.Generator.Core
findPlutusTest.Cardano.Ledger.Shelley.Generator.Core
findStakeScriptFromCredTest.Cardano.Ledger.Shelley.Generator.Core
findVTest.Cardano.Ledger.Constrained.Ast
findVarTest.Cardano.Ledger.Constrained.Env
findWithDefault 
1 (Function)Cardano.Ledger.UMap
2 (Function)Data.VMap
finishDRepPulserCardano.Ledger.Conway.Governance.DRepPulser, Cardano.Ledger.Conway.Governance
finiteSizeConstrained.NumSpec
first 
1 (Function)Test.Cardano.Ledger.Generic.Updaters
2 (Function)Control.Iterate.Exp
firstAndLastStateTest.Control.State.Transition.Trace
firstGenTConstrained.GenT
firstOutputCoinLTest.Cardano.Ledger.Constrained.Trace.SimpleTx
firstYesGConstrained.SumList
fitTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
fixActionControl.Iterate.Collect
Fixed 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
3 (Data Constructor)Test.Common
4 (Type/Class)Test.Common
FixedPoint 
1 (Type/Class)Cardano.Ledger.BaseTypes
2 (Type/Class)Tests.Cardano.Ledger.NonIntegral
fixedRangeConstrained.Examples.Map, Constrained.Examples
fixedSetSpecConstrained.Examples.Set, Constrained.Examples
fixOutputTest.Cardano.Ledger.Constrained.Trace.DrepCertTx
fixSetTest.Cardano.Ledger.Constrained.Combinators
fixSideTest.Cardano.Ledger.Constrained.Spec
fixupTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance
fixupAuxDataHash 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
fixupDatums 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
fixupFees 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
fixupOutputDatums 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
fixupPPHash 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
fixupRedeemerIndices 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
fixupRedeemers 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
fixupScriptWits 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
FixupSpecRepTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance
fixupTx 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
fixupTxOuts 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
fixupWithSpecConstrained.TheKnot
flattenCostModels 
1 (Function)Cardano.Ledger.Alonzo.Scripts
2 (Function)Cardano.Ledger.Plutus.CostModels, Cardano.Ledger.Plutus
flattenMultiAssetCardano.Ledger.Mary.Value
flattenPredConstrained.TheKnot
FlatTermCardano.Ledger.Binary.FlatTerm
flipCtxConstrained.Base
FlipWConstrained.TheKnot
flip_Constrained.TheKnot, Constrained.API
FloatRTest.Cardano.Ledger.Constrained.TypeRep
Fn 
1 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Common
Fn2 
1 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Common
Fn3 
1 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Common
focusTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
foldData.VMap
foldableLawsTest.Common
foldDbUTxOCardano.Ledger.State.Query
foldlData.VMap
foldlM'Data.Pulse
foldlVotingProceduresCardano.Ledger.Conway.Governance
foldlWithKeyData.VMap
foldlWithKeyM'Data.Pulse
foldMapData.VMap
foldMapFnConstrained.TheKnot
foldMapListConstrained.List
foldMapListCConstrained.List
FoldMapWConstrained.TheKnot
foldMapWithKeyData.VMap
foldMap_Constrained.TheKnot, Constrained.API
foldrVotingProceduresCardano.Ledger.Conway.Governance
foldrWithKeyData.ListMap
foldSingleCaseConstrained.Examples.Set, Constrained.Examples
FoldSpec 
1 (Data Constructor)Constrained.TheKnot
2 (Type/Class)Constrained.TheKnot
foldTrueCasesConstrained.Examples.Either, Constrained.Examples
foldUTxOCardano.Chain.Block
foldUTxOBlockCardano.Chain.Block
foldWithSizeTestsConstrained.Test
FoldyConstrained.TheKnot, Constrained.API
Foo 
1 (Data Constructor)Constrained.Examples.Basic, Constrained.Examples
2 (Type/Class)Constrained.Examples.Basic, Constrained.Examples
3 (Data Constructor)Constrained.Examples.CheatSheet
FooBarBazConstrained.Examples.CheatSheet
fooBarBazConstrained.Examples.CheatSheet
fooSpecConstrained.Examples.Basic, Constrained.Examples
ForAllConstrained.Base, Constrained.API
forAll 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Constrained.Syntax, Constrained.API
3 (Function)Test.Common
forAll'Constrained.Spec.SumProd, Constrained.API
ForallableConstrained.Base
forAllAnySpecConstrained.Examples.Set, Constrained.Examples
forAllBlind 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
forAllChainTrace 
1 (Function)Test.Cardano.Ledger.Shelley.Rules.TestChain
2 (Function)Test.Cardano.Ledger.Generic.AggPropTests
ForAllExecSpecRepTest.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance
ForAllExecTypesTest.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance
forAllFollowConstrained.Examples.CheatSheet
forAllFollow0Constrained.Examples.CheatSheet
forAllPropertiesTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
forAllShow 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
forAllShrink 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
forAllShrinkBlind 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
forAllShrinkShow 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
forAllSpecConstrained.Properties
forAllSpecDiscardConstrained.Properties
forAllSpecShowConstrained.Properties
forAllToListConstrained.Base
forAllTraceTest.Control.State.Transition.Trace.Generator.QuickCheck
forAllTraceFromInitState 
1 (Function)Test.Cardano.Ledger.Generic.Trace
2 (Function)Test.Control.State.Transition.Trace.Generator.QuickCheck
forceDRepPulsingStateCardano.Ledger.Conway.Governance
ForEachTest.Cardano.Ledger.Constrained.Ast
forEachEpochTrace 
1 (Function)Test.Cardano.Ledger.Shelley.Rules.TestChain
2 (Function)Test.Cardano.Ledger.Generic.Trace
forgeTest.Cardano.Ledger.Generic.Scriptic
forgoPointerAddressResolutionCardano.Ledger.Shelley.HardForks
forgoRewardPrefilterCardano.Ledger.Shelley.HardForks
formatTest.Cardano.Ledger.Constrained.TypeRep
formatFullVerificationKeyCardano.Crypto.Signing, Cardano.Crypto
formatMaybeProposalCardano.Chain.Update.Proposal, Cardano.Chain.Update
formatVoteShortCardano.Chain.Update.Vote, Cardano.Chain.Update
forM_Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
fpPrecisionCardano.Ledger.BaseTypes
fpropTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
freeVarConstrained.Syntax
freeVarNamesConstrained.Syntax
FreeVars 
1 (Data Constructor)Cardano.Ledger.Shelley.RewardUpdate
2 (Type/Class)Cardano.Ledger.Shelley.RewardUpdate
3 (Data Constructor)Constrained.Syntax
4 (Type/Class)Constrained.Syntax
freeVarsConstrained.Syntax
freeVarSetConstrained.Syntax
frequency 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
3 (Function)Test.Common
frequency2Constrained.GenT
frequencyAFewWithdrawals 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyDelegCert 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyDeRegKeyCert 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyGenesisDelegationCert 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyKeyCredDelegation 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyKeyCredDeReg 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyKeyCredReg 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyLowMaxEpoch 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyMIRCert 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyNoWithdrawals 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyPotentiallyManyWithdrawals 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyRegCert 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyRegPoolCert 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyRetirePoolCert 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyScriptCredDelegation 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyScriptCredDeReg 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyScriptCredReg 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyT 
1 (Function)Test.Cardano.Ledger.Generic.GenState
2 (Function)Constrained.GenT
frequencyTxUpdates 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
frequencyTxWithMetadata 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Constants
2 (Function)Test.Cardano.Ledger.Shelley.Constants
freshBootstapAddress 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
freshByronKeyHash 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
freshenConstrained.Core
freshKeyAddr 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
freshKeyAddr_ 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
freshKeyHash 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
freshKeyHashVRF 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
freshKeyPair 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
freshSafeHash 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
freshVarConstrained.Core
FromCardano.Ledger.Binary.Coders
fromAllegraBodyTest.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
fromAlonzoBodyTest.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
fromAscListData.VMap
fromAscListNData.VMap
fromAscListWithKeyData.VMap
fromAscListWithKeyNData.VMap
fromAvvmVKCardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto
fromBabbageBodyTest.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
fromBalancesCardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
fromBaseControl.Iterate.BaseTypes, Control.SetAlgebra
fromBlockValidationModeCardano.Chain.ValidationMode
fromBoostrapCompactAddressCardano.Ledger.Address
fromByronCBORCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
FromByronTranslationContext 
1 (Data Constructor)Cardano.Ledger.Shelley.Translation
2 (Type/Class)Cardano.Ledger.Shelley.Translation
FromCBORCardano.Ledger.Binary.Plain, Cardano.Ledger.Binary
fromCBORCardano.Ledger.Binary.Plain, Cardano.Ledger.Binary
fromCborAddrCardano.Ledger.Address
fromCborBackwardsBothAddrCardano.Ledger.Address
fromCborBothAddrCardano.Ledger.Address
fromCborCompactAddrCardano.Ledger.Address
fromCBORMaybeCardano.Ledger.Binary.Plain
fromCborRewardAccountCardano.Ledger.Address
fromCborRigorousBothAddrCardano.Ledger.Address
fromCBORXPrvCardano.Crypto.Signing, Cardano.Crypto
fromCompactCardano.Ledger.Compactible, Cardano.Ledger.UMap
fromCompactAddressCardano.Chain.Common
fromCompactCoinNonZeroCardano.Ledger.Coin
fromCompactRedeemVerificationKeyCardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto
fromCompactTxIdCardano.Chain.UTxO
fromCompactTxInCardano.Chain.UTxO
fromCompactTxOutCardano.Chain.UTxO
fromDeltaCoinCardano.Ledger.Coin
fromDistinctAscListData.VMap
fromDistinctAscListNData.VMap
fromElemsData.MapExtras
fromEraCBOR 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
fromEraShareCBOR 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
fromFlatTermCardano.Ledger.Binary.FlatTerm
fromFoldable 
1 (Function)Data.OSet.Strict
2 (Function)Data.OMap.Strict
fromFoldableDuplicates 
1 (Function)Data.OSet.Strict
2 (Function)Data.OMap.Strict
fromForAllSpecConstrained.Base
fromGEConstrained.GenT
fromGEDiscardConstrained.GenT
FromGenericConstrained.Base, Constrained.API
FromGenericWConstrained.Base
fromGeneric_Constrained.Base, Constrained.API
fromGEPropConstrained.GenT
fromGESpecConstrained.Base
FromGroupCardano.Ledger.Binary.Coders
fromITest.Cardano.Ledger.Constrained.Classes
fromIndexCardano.Ledger.Alonzo.TxBody
fromIntegralBoundedTest.Cardano.Ledger.Constrained.Vars
fromKeysData.MapExtras
FromListTest.Cardano.Ledger.Constrained.Ast
fromList 
1 (Function)Data.OSet.Strict
2 (Function)Data.ListMap
3 (Function)Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
4 (Function)Cardano.Chain.Delegation
5 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
6 (Function)Data.VMap
fromListCtxConstrained.Base
fromListNData.VMap
FromListWConstrained.Spec.Set, Constrained.API
fromList_Constrained.Spec.Set, Constrained.API
fromLitConstrained.Syntax
fromLitsConstrained.Syntax
fromManualTest.Hedgehog.Extra.Manual
fromMap 
1 (Function)Data.ListMap
2 (Function)Data.VMap
fromMapTermTest.Cardano.Ledger.Constrained.Trace.TraceMonad
fromMapTermSuchThatTest.Cardano.Ledger.Constrained.Trace.TraceMonad
fromMaryBodyTest.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
fromNativeScript 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
8 (Function)Test.Cardano.Ledger.EraClass
fromNominalDiffTimeMicroCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
fromNoUpdateCardano.Ledger.HKD
fromPairsControl.Iterate.BaseTypes
fromPlainDecoderCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
fromPlainEncodingCardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
fromPlainEncodingWithVersionCardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
fromPlutusDataCardano.Ledger.Plutus.ToPlutusData
fromPlutusScript 
1 (Function)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Function)Cardano.Ledger.Babbage.Core
3 (Function)Cardano.Ledger.Conway.Core
fromPrevGovActionIdsCardano.Ledger.Conway.Governance
fromSet 
1 (Function)Data.OSet.Strict
2 (Function)Data.OMap.Strict
fromSetTermTest.Cardano.Ledger.Constrained.Trace.TraceMonad
fromShelleyBodyTest.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
fromShelleyDelegCertCardano.Ledger.Conway.TxCert
fromSimpleCon'Constrained.Generic
fromSimpleRepConstrained.Generic, Constrained.API
fromSimpleRep'Constrained.Generic
fromSimpleRepSpecConstrained.Base
fromSlotNumberCardano.Chain.Slotting
fromSMaybeCardano.Ledger.BaseTypes
fromStrictSeqData.OSet.Strict
fromStrictSeqDuplicatesData.OSet.Strict
fromTxOutCardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
fromTxOutsByron.Spec.Ledger.UTxO
fromTxSeq 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
fromVerificationKeyToByteStringCardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto
fromVRFVerKeyHash 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
fromWholeCtxConstrained.List
frontControl.Iterate.Collect
frRegisteredCardano.Ledger.Shelley.LedgerState
frShelleyIgnoredCardano.Ledger.Shelley.LedgerState
frTotalUnregisteredCardano.Ledger.Shelley.LedgerState
frUnregisteredCardano.Ledger.Shelley.LedgerState
fspecifyTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
FSTControl.Iterate.Exp
fstLTest.Cardano.Ledger.Constrained.Lenses
fstSpecConstrained.Spec.Map, Constrained.API
fstTripleTest.Cardano.Ledger.Constrained.Trace.TraceMonad
fstUPIStateByron.Spec.Ledger.Update
fstWConstrained.Spec.SumProd
fst_Constrained.Spec.SumProd, Constrained.API
Full 
1 (Data Constructor)Test.Cardano.Ledger.Allegra.Binary.Annotator
2 (Data Constructor)Test.Cardano.Ledger.Alonzo.Binary.Annotator
3 (Data Constructor)Test.Cardano.Ledger.Babbage.Binary.Annotator
4 (Data Constructor)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
5 (Data Constructor)Test.Cardano.Ledger.Binary.Annotator
6 (Data Constructor)Test.Cardano.Ledger.Conway.Binary.Annotator
7 (Data Constructor)Test.Cardano.Ledger.Core.Binary.Annotator
8 (Data Constructor)Test.Cardano.Ledger.Mary.Binary.Annotator
9 (Data Constructor)Test.Cardano.Ledger.Shelley.Binary.Annotator
10 (Data Constructor)Test.Cardano.Protocol.Binary.Annotator
FullByteString 
1 (Type/Class)Test.Cardano.Ledger.Allegra.Binary.Annotator
2 (Type/Class)Test.Cardano.Ledger.Alonzo.Binary.Annotator
3 (Type/Class)Test.Cardano.Ledger.Babbage.Binary.Annotator
4 (Type/Class)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
5 (Type/Class)Test.Cardano.Ledger.Binary.Annotator
6 (Type/Class)Test.Cardano.Ledger.Conway.Binary.Annotator
7 (Type/Class)Test.Cardano.Ledger.Core.Binary.Annotator
8 (Type/Class)Test.Cardano.Ledger.Mary.Binary.Annotator
9 (Type/Class)Test.Cardano.Ledger.Shelley.Binary.Annotator
10 (Type/Class)Test.Cardano.Protocol.Binary.Annotator
fullSignatureHexFCardano.Crypto.Signing, Cardano.Crypto
fullVerificationKeyFCardano.Crypto.Signing, Cardano.Crypto
fullVerificationKeyHexFCardano.Crypto.Signing, Cardano.Crypto
Fun 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
3 (Data Constructor)Constrained.Base, Constrained.API
4 (Type/Class)Constrained.Base, Constrained.API
5 (Data Constructor)Control.Iterate.Exp
6 (Type/Class)Control.Iterate.Exp
7 (Data Constructor)Test.Common
8 (Type/Class)Test.Common
Function 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Type/Class)Test.Common
function 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
functionBoundedEnum 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
functionIntegral 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
functionMap 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
functionRealFrac 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
functionShow 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
functionVoid 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
functorLawsTest.Common
funSemConstrained.TheKnot
FunTyConstrained.List
FunWConstrained.TheKnot
futureAdoptionsByron.Spec.Ledger.Update
FutureGenDeleg 
1 (Data Constructor)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Allegra.State
3 (Data Constructor)Cardano.Ledger.Alonzo.State
4 (Type/Class)Cardano.Ledger.Alonzo.State
5 (Data Constructor)Cardano.Ledger.Babbage.State
6 (Type/Class)Cardano.Ledger.Babbage.State
7 (Data Constructor)Cardano.Ledger.Conway.State
8 (Type/Class)Cardano.Ledger.Conway.State
9 (Data Constructor)Cardano.Ledger.State
10 (Type/Class)Cardano.Ledger.State
11 (Data Constructor)Cardano.Ledger.Mary.State
12 (Type/Class)Cardano.Ledger.Mary.State
13 (Type/Class)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
14 (Data Constructor)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
FutureGenDelegRTest.Cardano.Ledger.Constrained.TypeRep
futureGenDelegsTest.Cardano.Ledger.Constrained.Vars
futureGenDelegsLTest.Cardano.Ledger.Constrained.Vars
futureLedgerViewCardano.Protocol.TPraos.API
FutureLedgerViewError 
1 (Data Constructor)Cardano.Protocol.TPraos.API
2 (Type/Class)Cardano.Protocol.TPraos.API
futurePParamProposalsTest.Cardano.Ledger.Constrained.Vars
FuturePParams 
1 (Type/Class)Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State
3 (Type/Class)Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State
4 (Type/Class)Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Core
5 (Type/Class)Cardano.Ledger.State
6 (Type/Class)Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State
7 (Type/Class)Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core
futurePParamsTest.Cardano.Ledger.Constrained.Vars
futurePParamsEpochStateLCardano.Ledger.Shelley.LedgerState
futurePParamsGovStateL 
1 (Function)Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State
5 (Function)Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Governance, Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.State
7 (Function)Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State
8 (Function)Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core
FuturePParamsRTest.Cardano.Ledger.Constrained.TypeRep
futurePParamsShelleyGovStateL 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Mary.Core
6 (Function)Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core
futureProposalsLTest.Cardano.Ledger.Constrained.Vars
futureRegPoolsTest.Cardano.Ledger.Constrained.Vars
futureRegPoolsLTest.Cardano.Ledger.Constrained.Vars
fvAddrsRewCardano.Ledger.Shelley.RewardUpdate
fvDelegsCardano.Ledger.Shelley.RewardUpdate
fvPoolRewardInfoCardano.Ledger.Shelley.RewardUpdate
fvProtVerCardano.Ledger.Shelley.RewardUpdate
fvTotalStakeCardano.Ledger.Shelley.RewardUpdate