cardano-ledger

Index - L

labBlockNoCardano.Protocol.TPraos.BHeader
Label 
1 (Type/Class)Test.Cardano.Ledger.Shelley.Generator.EraGen
2 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
label 
1 (Function)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
3 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
4 (Function)Test.Common
labeledControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
labeledPredControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
labeledPredEControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
labelledExamples 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
labelledExamplesResult 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
labelledExamplesWith 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
labelledExamplesWithResult 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
labels 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
labHashCardano.Protocol.TPraos.BHeader
labSlotNoCardano.Protocol.TPraos.BHeader
Lam 
1 (Data Constructor)Control.Iterate.Exp
2 (Type/Class)Control.Iterate.Exp
LangDepView 
1 (Data Constructor)Cardano.Ledger.Alonzo.PParams
2 (Type/Class)Cardano.Ledger.Alonzo.PParams
3 (Type/Class)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
4 (Data Constructor)Cardano.Ledger.Api.PParams, Cardano.Ledger.Api
5 (Type/Class)Cardano.Ledger.Babbage.PParams
6 (Data Constructor)Cardano.Ledger.Babbage.PParams
7 (Type/Class)Cardano.Ledger.Conway.PParams
8 (Data Constructor)Cardano.Ledger.Conway.PParams
langsUsedTest.Cardano.Ledger.Alonzo.AlonzoEraGen
LanguageCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
language 
1 (Function)Test.Cardano.Ledger.Alonzo.CDDL
2 (Function)Test.Cardano.Ledger.Babbage.CDDL
3 (Function)Test.Cardano.Ledger.Conway.CDDL
languageFromTextCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
LanguageRTest.Cardano.Ledger.Constrained.TypeRep
languages 
1 (Function)Test.Cardano.Ledger.Generic.Updaters
2 (Function)Test.Cardano.Ledger.Generic.Functions
languagesUsedTest.Cardano.Ledger.Generic.Functions
languageToTextCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
Large 
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
largestNameTest.Cardano.Ledger.Mary.Golden
LastAppliedBlock 
1 (Data Constructor)Cardano.Protocol.TPraos.BHeader
2 (Type/Class)Cardano.Protocol.TPraos.BHeader
lastAppliedHashCardano.Protocol.TPraos.BHeader
lastByronHeaderHash 
1 (Function)Test.Cardano.Ledger.Shelley.Generator.Trace.Chain
2 (Function)Test.Cardano.Ledger.Shelley.Examples.Init
lastSignalTest.Control.State.Transition.Trace
lastStateTest.Control.State.Transition.Trace
LatestKnownEraCardano.Ledger.Api.Era, Cardano.Ledger.Api
Laws 
1 (Data Constructor)Test.Common
2 (Type/Class)Test.Common
lawsCheckTest.Common
lawsCheckManyTest.Common
lawsCheckOneTest.Common
lawsPropertiesTest.Common
lawsTypeclassTest.Common
lazy_bech32Test.Cardano.Ledger.Generic.PrettyCore
lbl2PhaseCardano.Ledger.Alonzo.Rules
lblStaticCardano.Ledger.Rules.ValidationMode
leaderTests.Cardano.Ledger.NonIntegral
LeaderOnlyReward 
1 (Data Constructor)Cardano.Ledger.Shelley.Rewards
2 (Type/Class)Cardano.Ledger.Shelley.Rewards
leaderProbabilityCardano.Ledger.Shelley.PoolRank
leaderRewCardano.Ledger.Shelley.Rewards
LeaderReward 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Data Constructor)Cardano.Ledger.Conway.Core
5 (Data Constructor)Cardano.Ledger.Rewards, Cardano.Ledger.Core
6 (Data Constructor)Cardano.Ledger.Mary.Core
7 (Data Constructor)Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core
leaderRewardToGeneralCardano.Ledger.Shelley.Rewards
LeafTest.Cardano.Ledger.Shelley.Generator.ScriptClass
LEDGER 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Trace.Pipeline
2 (Data Constructor)Test.Cardano.Ledger.Generic.Proof
ledgerAccountCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgerAccountLCardano.Ledger.Shelley.Rules
ledgerDelegateManyKeysOnePoolTest.Cardano.Ledger.Shelley.BenchmarkFunctions
LedgerDelegationFailureByron.Spec.Chain.STS.Rule.Chain
ledgerDeRegisterStakeKeysTest.Cardano.Ledger.Shelley.BenchmarkFunctions
LedgerEnv 
1 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgerEnvTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgerEpochNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgerEpochNoLCardano.Ledger.Shelley.Rules
LedgerEventCardano.Ledger.Shelley.Rules
ledgerExamplesAllegraTest.Cardano.Ledger.Allegra.Examples.Consensus
ledgerExamplesAlonzoTest.Cardano.Ledger.Alonzo.Examples.Consensus
ledgerExamplesBabbageTest.Cardano.Ledger.Babbage.Examples.Consensus
ledgerExamplesConwayTest.Cardano.Ledger.Conway.Examples.Consensus
ledgerExamplesMaryTest.Cardano.Ledger.Mary.Examples.Consensus
ledgerExamplesShelleyTest.Cardano.Ledger.Shelley.Examples.Consensus
LedgerFailureCardano.Ledger.Shelley.Rules
ledgerHspecConfigTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
ledgerIxCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgerIxLCardano.Ledger.Shelley.Rules
ledgerPipelineTest.Cardano.Ledger.Constrained.Stage
ledgerPpCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgerPpLCardano.Ledger.Shelley.Rules
ledgerRegisterStakeKeysTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgerRegisterStakePoolsTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgerReRegisterStakePoolsTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgerRetireStakePoolsTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgerRewardWithdrawalsTest.Cardano.Ledger.Shelley.BenchmarkFunctions
LEDGERS 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Trace.Pipeline
2 (Data Constructor)Test.Cardano.Ledger.Generic.Proof
ledgersAccountCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
LedgersEnvCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgersEpochNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
LedgersEventCardano.Ledger.Shelley.Rules
LedgersFailure 
1 (Data Constructor)Cardano.Ledger.Conway.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
ledgerSlotNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgerSlotNoLCardano.Ledger.Shelley.Rules
LedgerSpec 
1 (Type/Class)Test.Cardano.Ledger.Allegra.ImpTest
2 (Type/Class)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Type/Class)Test.Cardano.Ledger.Babbage.ImpTest
4 (Type/Class)Test.Cardano.Ledger.Conway.ImpTest
5 (Type/Class)Test.Cardano.Ledger.Mary.ImpTest
6 (Type/Class)Test.Cardano.Ledger.Shelley.ImpTest
ledgerSpendOneGivenUTxOTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgerSpendOneUTxOTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgersPpCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ledgersSlotNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
LedgerState 
1 (Data Constructor)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
3 (Data Constructor)Cardano.Ledger.State.Schema
4 (Type/Class)Cardano.Ledger.State.Schema
ledgerStateTest.Cardano.Ledger.Constrained.Vars
LedgerStateDstateIdCardano.Ledger.State.Schema
ledgerStateDstateIdCardano.Ledger.State.Schema
LedgerStateEpochStateIdCardano.Ledger.State.Schema
ledgerStateEpochStateIdCardano.Ledger.State.Schema
ledgerStateEqPropTest.Cardano.Ledger.Constrained.Trace.Tests
LedgerStateId 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Schema
LedgerStateKeyCardano.Ledger.State.Schema
ledgerStatePredsTest.Cardano.Ledger.Constrained.Preds.LedgerState
LedgerStatePstateBinCardano.Ledger.State.Schema
ledgerStatePstateBinCardano.Ledger.State.Schema
LedgerStateRTest.Cardano.Ledger.Constrained.TypeRep
ledgerStateSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
ledgerStateStageTest.Cardano.Ledger.Constrained.Preds.LedgerState
LedgerStateStats 
1 (Data Constructor)Cardano.Ledger.State.UTxO
2 (Type/Class)Cardano.Ledger.State.UTxO
ledgerStateTTest.Cardano.Ledger.Constrained.Vars
ledgerStateTraceTest.Cardano.Ledger.Constrained.Trace.TraceMonad
LedgerStateUtxoIdCardano.Ledger.State.Schema
ledgerStateUtxoIdCardano.Ledger.State.Schema
ledgerStateWithNkeysMpoolsTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgerStateWithNregisteredKeysTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgerStateWithNregisteredPoolsTest.Cardano.Ledger.Shelley.BenchmarkFunctions
ledgerStateZeroTest.Cardano.Ledger.Generic.ModelState
ledgerTestMainTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
ledgerTestMainWithTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
ledgerTraceFromBlockTest.Cardano.Ledger.Shelley.Rules.TestChain
ledgerTraceFromBlockWithRestrictedUTxOTest.Cardano.Ledger.Shelley.Rules.TestChain
ledgerTransitionCardano.Ledger.Alonzo.Rules
LedgerTxInfo 
1 (Data Constructor)Cardano.Ledger.Alonzo.Plutus.Context
2 (Type/Class)Cardano.Ledger.Alonzo.Plutus.Context
ledgerTxSpecTest.Cardano.Ledger.Constrained.Conway.Ledger, Test.Cardano.Ledger.Constrained.Conway
LedgerUTxOFailureByron.Spec.Chain.STS.Rule.Chain
LedgerView 
1 (Data Constructor)Cardano.Protocol.TPraos.API
2 (Type/Class)Cardano.Protocol.TPraos.API
left_Constrained.Spec.SumProd, Constrained.API
LegacyPlutusArgsCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
LegacyPlutusArgs2Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
LegacyPlutusArgs3Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
legalCallPartitionTest.Cardano.Ledger.Constrained.Classes
LengthConstrained.List
lengthListConstrained.List
LengthOf 
1 (Data Constructor)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Type/Class)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
3 (Type/Class)Cardano.Ledger.Binary.Plain
4 (Data Constructor)Cardano.Ledger.Binary.Plain
lengthThresholdCardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
length_Constrained.API
lensAddsTest.Cardano.Ledger.Constrained.Classes
LensedTest.Cardano.Ledger.Constrained.Ast
LensesTest.Cardano.Ledger.Constrained.SpecClass
lensMemoRawTypeCardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes
lensVCTest.Cardano.Ledger.Constrained.Vars
leqPairConstrained.Examples.Basic, Constrained.Examples
leqSpecConstrained.NumSpec, Constrained.API
LessOrEqualWConstrained.NumSpec
LessWConstrained.NumSpec
LetConstrained.Base, Constrained.API
letBindConstrained.Syntax, Constrained.API
letExistsConstrained.Examples.Basic, Constrained.Examples
letExistsLetConstrained.Examples.Basic, Constrained.Examples
letFloatingConstrained.Syntax
letSubexpressionEliminationConstrained.Syntax
lifoControl.Iterate.SetAlgebra
LiftControl.Iterate.Exp
lift 
1 (Function)Cardano.Ledger.Shelley.Rules
2 (Function)Test.Cardano.Ledger.Generic.Proof
3 (Function)Control.Iterate.Exp
4 (Function)Control.Provenance
liftArbitrary 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
liftArbitrary2 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
liftCounterTest.Cardano.Ledger.Constrained.Trace.TraceMonad
liftGen 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Constrained.Trace.TraceMonad
3 (Function)Constrained.GenT
liftIdTest.Cardano.Ledger.Constrained.Vars
liftMaybeLTest.Cardano.Ledger.Constrained.Preds.TxOut
liftMemberSpecConstrained.TheKnot
liftMultiAssetTest.Cardano.Ledger.Constrained.Vars
liftProvControl.Provenance
liftShrink 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
liftShrink2 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
liftSizeSpecConstrained.TheKnot
liftSTCardano.Ledger.Binary.Plain
liftSTSControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
LiftTTest.Cardano.Ledger.Constrained.Monad
liftTTest.Cardano.Ledger.Constrained.Monad
liftTypedTest.Cardano.Ledger.Constrained.Trace.TraceMonad
liftUTxOTest.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep
Likelihood 
1 (Data Constructor)Cardano.Ledger.Shelley.PoolRank
2 (Type/Class)Cardano.Ledger.Shelley.PoolRank
likelihoodCardano.Ledger.Shelley.PoolRank
likelihoodsNMCardano.Ledger.Shelley.PoolRank
linearizeConstrained.TheKnot
List 
1 (Data Constructor)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Metadata
3 (Data Constructor)Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
4 (Data Constructor)Test.Cardano.Ledger.Constrained.Ast
5 (Type/Class)Constrained.List
6 (Type/Class)Control.Iterate.BaseTypes, Control.SetAlgebra
ListCtx 
1 (Data Constructor)Constrained.List
2 (Type/Class)Constrained.List
ListCtxWhole 
1 (Data Constructor)Constrained.List
2 (Type/Class)Constrained.List
listDecodeACardano.Ledger.Binary.Coders
listEmptyConstrained.Examples.List, Constrained.Examples
listEqTest.Cardano.Ledger.Constrained.Rewrite
listExistsUnfreeConstrained.Examples.List, Constrained.Examples
listFromGEConstrained.GenT
listifyControl.Iterate.Collect
listLenCardano.Ledger.Binary.Group, Cardano.Ledger.Binary
listLenBoundCardano.Ledger.Binary.Group, Cardano.Ledger.Binary
listLenIntCardano.Ledger.Binary.Group, Cardano.Ledger.Binary
ListMap 
1 (Data Constructor)Data.ListMap
2 (Type/Class)Data.ListMap
listMustSizeIssueConstrained.Examples.List, Constrained.Examples
ListNeverTest.Cardano.Ledger.Constrained.Spec
listOf 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
3 (Function)Test.Common
listOf1 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
3 (Function)Test.Common
listOfTConstrained.GenT
listOfUntilLenTConstrained.GenT
ListR 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.TypeRep
2 (Data Constructor)Control.Iterate.BaseTypes, Control.SetAlgebra
listSemConstrained.TheKnot
listSeqCertPairSpecTest.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway
listShapeConstrained.List
ListSpec 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Spec
2 (Type/Class)Test.Cardano.Ledger.Constrained.Spec
3 (Data Constructor)Constrained.TheKnot
4 (Type/Class)Constrained.TheKnot
listSpecTest.Cardano.Ledger.Constrained.Spec
listSpecElemConstrained.TheKnot
listSpecFoldConstrained.TheKnot
listSpecHintConstrained.TheKnot
listSpecMustConstrained.TheKnot
listSpecSizeConstrained.TheKnot
listSubSizeConstrained.Examples.Basic, Constrained.Examples
listSumConstrained.Examples.List, Constrained.Examples
listSumComplexConstrained.Examples.Fold
listSumElemRangeConstrained.Examples.List, Constrained.Examples
listSumForall 
1 (Function)Constrained.Examples.Fold
2 (Function)Constrained.Examples.List, Constrained.Examples
listSumPair 
1 (Function)Constrained.Examples.Fold
2 (Function)Constrained.Examples.List, Constrained.Examples
listSumRangeConstrained.Examples.List, Constrained.Examples
listSumRangeRangeConstrained.Examples.List, Constrained.Examples
listSumRangeUpperConstrained.Examples.List, Constrained.Examples
listSumShortConstrained.Examples.List, Constrained.Examples
listToExpr 
1 (Function)Test.Cardano.Ledger.Allegra.TreeDiff
2 (Function)Test.Cardano.Ledger.Alonzo.TreeDiff
3 (Function)Test.Cardano.Ledger.Babbage.TreeDiff
4 (Function)Test.Cardano.Ledger.Binary.TreeDiff
5 (Function)Test.Cardano.Ledger.Conway.TreeDiff
6 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Imp.Common
7 (Function)Test.Cardano.Ledger.Mary.TreeDiff
8 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
listToProdConstrained.Generic
listToSetTargetTest.Cardano.Ledger.Constrained.Ast
ListWConstrained.TheKnot
ListWhereTest.Cardano.Ledger.Constrained.Ast
listWherePredsTest.Cardano.Ledger.Constrained.Examples
listWithSumTest.Cardano.Ledger.Constrained.Tests
Lit 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Ast
2 (Data Constructor)Constrained.Base, Constrained.API
3 (Data Constructor)Control.Iterate.Exp
litConstrained.Syntax, Constrained.API
liveAfterByron.Spec.Ledger.Delegation
ln'Cardano.Ledger.NonIntegral
lo 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
loadDbUTxOCardano.Ledger.State.Query
loadDStateNoSharingCardano.Ledger.State.Query
loadEpochStateCardano.Ledger.State.Query
loadEpochStateEntityCardano.Ledger.State.Query
loadEpochStateWithSharingCardano.Ledger.State.Query
loadLedgerStateCardano.Ledger.State.UTxO
loadLedgerStateDStateSharingCardano.Ledger.State.Query
loadLedgerStateDStateTxIxSharingCardano.Ledger.State.Query
loadLedgerStateNoSharingCardano.Ledger.State.Query
loadSnapShotsNoSharingCardano.Ledger.State.Query
loadSnapShotsNoSharingMCardano.Ledger.State.Query
loadSnapShotsWithSharingCardano.Ledger.State.Query
loadSnapShotsWithSharingMCardano.Ledger.State.Query
loadUTxONoSharingCardano.Ledger.State.Query
localOptionTest.Common
logAcceptedRatioTest.Cardano.Ledger.Conway.ImpTest
logConwayTxBalanceTest.Cardano.Ledger.Conway.ImpTest
logCurPParamsTest.Cardano.Ledger.Conway.ImpTest
logDoc 
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
logFeeMismatch 
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
LogicConstrained.Base, Constrained.API
LogicRequiresConstrained.Base
logInstantStake 
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
logishConstrained.SumList
logishPropConstrained.Examples.Fold
logProposalsForestTest.Cardano.Ledger.Conway.ImpTest
logProposalsForestDiffTest.Cardano.Ledger.Conway.ImpTest
logRangeConstrained.SumList
logRatificationChecksTest.Cardano.Ledger.Conway.ImpTest
logString 
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
logText 
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
logToExpr 
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
LogWeight 
1 (Data Constructor)Cardano.Ledger.Shelley.PoolRank
2 (Type/Class)Cardano.Ledger.Shelley.PoolRank
log_expTests.Cardano.Ledger.NonIntegral
log_lawTests.Cardano.Ledger.NonIntegral
log_powTests.Cardano.Ledger.NonIntegral
longTraceLenTest.Cardano.Ledger.Shelley.Rules.TestChain
long_bech32Test.Cardano.Ledger.Generic.PrettyCore
lookup 
1 (Function)Data.OSet.Strict
2 (Function)Data.OMap.Strict
3 (Function)Data.ListMap
4 (Function)Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
5 (Function)Cardano.Ledger.UMap
6 (Function)Cardano.Ledger.Mary.Value
7 (Function)Control.Iterate.BaseTypes, Control.SetAlgebra
8 (Function)Data.VMap
lookupAddressCardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
lookupCompactCardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO
lookupDepositDState 
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
lookupDepositVStateCardano.Ledger.Conway.State
lookupEnvConstrained.Env
lookupGovActionStateTest.Cardano.Ledger.Conway.ImpTest
lookupInOverlayScheduleCardano.Protocol.TPraos.Rules.Overlay
lookupMultiAssetCardano.Ledger.Mary.Value
lookupPlutusScriptCardano.Ledger.Alonzo.Scripts
lookupRCardano.Chain.Delegation
lookupRedeemerCardano.Ledger.Alonzo.TxWits
lookupRegStakeTxCert 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Cert, 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.TxCert, Cardano.Ledger.Shelley.Core
9 (Function)Test.Cardano.Ledger.EraClass
lookupReward 
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
lookupRewardDState 
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
lookupSpecificConstrained.Examples.Map, Constrained.Examples
lookupTxInfoResultCardano.Ledger.Alonzo.Plutus.Context
lookupTxInfoResultImpossibleCardano.Ledger.Alonzo.Plutus.Context
lookupUnRegStakeTxCert 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Cert, 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.TxCert, Cardano.Ledger.Shelley.Core
9 (Function)Test.Cardano.Ledger.EraClass
LookupWConstrained.Spec.Map
lookup_Constrained.Spec.Map, Constrained.API
LooseConstrained.GenT
Lovelace 
1 (Data Constructor)Byron.Spec.Ledger.Core
2 (Type/Class)Byron.Spec.Ledger.Core
3 (Type/Class)Cardano.Chain.Common
lovelaceCapByron.Spec.Ledger.Core, Byron.Spec.Ledger.GlobalParams
LovelaceErrorCardano.Chain.Common
lovelaceFCardano.Chain.Common
LovelaceOverflowCardano.Chain.Common
LovelacePortionCardano.Chain.Common
lovelacePortionToRationalCardano.Chain.Common
lovelaceToIntegerCardano.Chain.Common
LovelaceTooLargeCardano.Chain.Common
LovelaceTooSmallCardano.Chain.Common
LovelaceUnderflowCardano.Chain.Common
lowBoundConstrained.NumSpec
lowerBoundConstrained.NumSpec, Constrained.API
lRewardAmountCardano.Ledger.Shelley.Rewards
lRewardPCardano.Ledger.Shelley.RewardProvenance
lRewardPoolCardano.Ledger.Shelley.Rewards
lsCertStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
lsCertStateLCardano.Ledger.Shelley.LedgerState
lsIdCardano.Ledger.State.Query
lssDStateStatsCardano.Ledger.State.UTxO
lssPStateStatsCardano.Ledger.State.UTxO
lssUTxOStatsCardano.Ledger.State.UTxO
Lst 
1 (Data Constructor)Test.Cardano.Ledger.Allegra.TreeDiff
2 (Data Constructor)Test.Cardano.Ledger.Alonzo.TreeDiff
3 (Data Constructor)Test.Cardano.Ledger.Babbage.TreeDiff
4 (Data Constructor)Test.Cardano.Ledger.Binary.TreeDiff
5 (Data Constructor)Test.Cardano.Ledger.Conway.TreeDiff
6 (Data Constructor)Test.Cardano.Ledger.TreeDiff
7 (Data Constructor)Test.Cardano.Ledger.Mary.TreeDiff
8 (Data Constructor)Test.Cardano.Ledger.Shelley.TreeDiff
lsUTxOStateCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
lsUTxOStateLCardano.Ledger.Shelley.LedgerState
lsXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
LTETest.Cardano.Ledger.Constrained.Classes
LTHTest.Cardano.Ledger.Constrained.Classes
ltiEpochInfoCardano.Ledger.Alonzo.Plutus.Context
ltiProtVerCardano.Ledger.Alonzo.Plutus.Context
ltiSystemStartCardano.Ledger.Alonzo.Plutus.Context
ltiTxCardano.Ledger.Alonzo.Plutus.Context
ltiUTxOCardano.Ledger.Alonzo.Plutus.Context
ltSpecConstrained.NumSpec, Constrained.API
lubControl.Iterate.BaseTypes, Control.SetAlgebra
lubQueryControl.Iterate.Exp
lvChainChecksCardano.Protocol.TPraos.API
lvDCardano.Protocol.TPraos.API
lvExtraEntropyCardano.Protocol.TPraos.API
lvGenDelegsCardano.Protocol.TPraos.API
lvPoolDistrCardano.Protocol.TPraos.API