Index - L
| labBlockNo | Cardano.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 |
| labeled | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| labeledPred | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| labeledPredE | Control.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 |
| labHash | Cardano.Protocol.TPraos.BHeader |
| labSlotNo | Cardano.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 |
| langsUsed | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| Language | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| languageFromText | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| LanguageR | Test.Cardano.Ledger.Constrained.TypeRep |
| languages | |
| 1 (Function) | Test.Cardano.Ledger.Generic.Updaters |
| 2 (Function) | Test.Cardano.Ledger.Generic.Functions |
| languagesUsed | Test.Cardano.Ledger.Generic.Functions |
| languageToText | Cardano.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 |
| largestName | Test.Cardano.Ledger.Mary.Golden |
| LastAppliedBlock | |
| 1 (Data Constructor) | Cardano.Protocol.TPraos.BHeader |
| 2 (Type/Class) | Cardano.Protocol.TPraos.BHeader |
| lastAppliedHash | Cardano.Protocol.TPraos.BHeader |
| lastByronHeaderHash | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Generator.Trace.Chain |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Init |
| lastSignal | Test.Control.State.Transition.Trace |
| lastState | Test.Control.State.Transition.Trace |
| LatestKnownEra | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| Laws | |
| 1 (Data Constructor) | Test.Common |
| 2 (Type/Class) | Test.Common |
| lawsCheck | Test.Common |
| lawsCheckMany | Test.Common |
| lawsCheckOne | Test.Common |
| lawsProperties | Test.Common |
| lawsTypeclass | Test.Common |
| LaxBlock | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Shelley.LaxBlock |
| 2 (Type/Class) | Test.Cardano.Ledger.Shelley.LaxBlock |
| lazy_bech32 | Test.Cardano.Ledger.Generic.PrettyCore |
| lbl2Phase | Cardano.Ledger.Alonzo.Rules |
| lblStatic | Cardano.Ledger.Rules.ValidationMode |
| leader | Tests.Cardano.Ledger.NonIntegral |
| LeaderOnlyReward | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.Rewards |
| 2 (Type/Class) | Cardano.Ledger.Shelley.Rewards |
| leaderProbability | Cardano.Ledger.Shelley.PoolRank |
| leaderRew | Cardano.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 |
| leaderRewardToGeneral | Cardano.Ledger.Shelley.Rewards |
| Leaf | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| LEDGER | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| ledgerAccount | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ledgerDelegateManyKeysOnePool | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| LedgerDelegationFailure | Byron.Spec.Chain.STS.Rule.Chain |
| ledgerDeRegisterStakeKeys | Test.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 |
| ledgerEnv | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerEpochNo | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| LedgerEvent | Cardano.Ledger.Shelley.Rules |
| ledgerExamplesAllegra | Test.Cardano.Ledger.Allegra.Examples.Consensus |
| ledgerExamplesAlonzo | Test.Cardano.Ledger.Alonzo.Examples.Consensus |
| ledgerExamplesBabbage | Test.Cardano.Ledger.Babbage.Examples.Consensus |
| ledgerExamplesConway | Test.Cardano.Ledger.Conway.Examples.Consensus |
| ledgerExamplesMary | Test.Cardano.Ledger.Mary.Examples.Consensus |
| ledgerExamplesShelley | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| LedgerFailure | Cardano.Ledger.Shelley.Rules |
| ledgerHspecConfig | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| ledgerIx | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ledgerMempool | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ledgerPipeline | Test.Cardano.Ledger.Constrained.Stage |
| ledgerPp | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ledgerRegisterStakeKeys | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerRegisterStakePools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerReRegisterStakePools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerRetireStakePools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerRewardWithdrawals | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| LEDGERS | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| ledgersAccount | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| LedgersEnv | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ledgersEpochNo | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| LedgersEvent | Cardano.Ledger.Shelley.Rules |
| LedgersFailure | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| ledgerSlotNo | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 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 |
| ledgerSpendOneGivenUTxO | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerSpendOneUTxO | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgersPp | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ledgersSlotNo | Cardano.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 |
| ledgerState | Test.Cardano.Ledger.Constrained.Vars |
| LedgerStateDstateId | Cardano.Ledger.State.Schema |
| ledgerStateDstateId | Cardano.Ledger.State.Schema |
| LedgerStateEpochStateId | Cardano.Ledger.State.Schema |
| ledgerStateEpochStateId | Cardano.Ledger.State.Schema |
| ledgerStateEqProp | Test.Cardano.Ledger.Constrained.Trace.Tests |
| LedgerStateId | |
| 1 (Data Constructor) | Cardano.Ledger.State.Schema |
| 2 (Type/Class) | Cardano.Ledger.State.Schema |
| LedgerStateKey | Cardano.Ledger.State.Schema |
| ledgerStatePreds | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| LedgerStatePstateBin | Cardano.Ledger.State.Schema |
| ledgerStatePstateBin | Cardano.Ledger.State.Schema |
| LedgerStateR | Test.Cardano.Ledger.Constrained.TypeRep |
| ledgerStateSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| ledgerStateStage | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| LedgerStateStats | |
| 1 (Data Constructor) | Cardano.Ledger.State.UTxO |
| 2 (Type/Class) | Cardano.Ledger.State.UTxO |
| ledgerStateT | Test.Cardano.Ledger.Constrained.Vars |
| ledgerStateTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| LedgerStateUtxoId | Cardano.Ledger.State.Schema |
| ledgerStateUtxoId | Cardano.Ledger.State.Schema |
| ledgerStateWithNkeysMpools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerStateWithNregisteredKeys | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerStateWithNregisteredPools | Test.Cardano.Ledger.Shelley.BenchmarkFunctions |
| ledgerStateZero | Test.Cardano.Ledger.Generic.ModelState |
| ledgerTestMain | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| ledgerTestMainWith | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| ledgerTraceFromBlock | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| ledgerTraceFromBlockWithRestrictedUTxO | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| ledgerTransition | Cardano.Ledger.Alonzo.Rules |
| LedgerTxInfo | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Plutus.Context |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Plutus.Context |
| ledgerTxSpec | Test.Cardano.Ledger.Constrained.Conway.Ledger, Test.Cardano.Ledger.Constrained.Conway |
| LedgerUTxOFailure | Byron.Spec.Chain.STS.Rule.Chain |
| LedgerView | |
| 1 (Data Constructor) | Cardano.Protocol.TPraos.API |
| 2 (Type/Class) | Cardano.Protocol.TPraos.API |
| left_ | Constrained.Spec.Generics, Constrained.Spec, Constrained.Internals, Constrained |
| LegacyPlutusArgs | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| LegacyPlutusArgs2 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| LegacyPlutusArgs3 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| legalCallPartition | Test.Cardano.Ledger.Constrained.Classes |
| lengthList | Constrained.List, Constrained |
| 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 |
| lengthThreshold | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| length_ | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| lensAdds | Test.Cardano.Ledger.Constrained.Classes |
| Lensed | Test.Cardano.Ledger.Constrained.Ast |
| Lenses | Test.Cardano.Ledger.Constrained.SpecClass |
| lensMemoRawType | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| lensVC | Test.Cardano.Ledger.Constrained.Vars |
| leqPair | Constrained.Examples.Basic, Constrained.Examples |
| leqSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| Less | Constrained.Base, Constrained.Spec, Constrained.Internals |
| lessFn | Constrained.Base, Constrained.Spec, Constrained.Internals |
| LessOrEqual | Constrained.Base, Constrained.Spec, Constrained.Internals |
| lessOrEqualFn | Constrained.Base, Constrained.Spec, Constrained.Internals |
| Let | Constrained.Base, Constrained.Spec, Constrained.Internals |
| letBind | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| letExists | Constrained.Examples.Basic, Constrained.Examples |
| letExistsLet | Constrained.Examples.Basic, Constrained.Examples |
| letFloating | Constrained.Base, Constrained.Spec, Constrained.Internals |
| letSubexpressionElimination | Constrained.Base, Constrained.Spec, Constrained.Internals |
| lifo | Control.Iterate.SetAlgebra |
| Lift | Control.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 |
| liftCounter | Test.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, Constrained.Internals, Constrained |
| liftId | Test.Cardano.Ledger.Constrained.Vars |
| liftMaybeL | Test.Cardano.Ledger.Constrained.Preds.TxOut |
| liftMemberSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| liftMultiAsset | Test.Cardano.Ledger.Constrained.Vars |
| liftProv | Control.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 |
| liftSizeSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| liftST | Cardano.Ledger.Binary.Plain |
| liftSTS | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| LiftT | Test.Cardano.Ledger.Constrained.Monad |
| liftT | Test.Cardano.Ledger.Constrained.Monad |
| liftTyped | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| liftUTxO | Test.Cardano.Ledger.Constrained.Classes, Test.Cardano.Ledger.Constrained.TypeRep |
| Likelihood | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.PoolRank |
| 2 (Type/Class) | Cardano.Ledger.Shelley.PoolRank |
| likelihood | Cardano.Ledger.Shelley.PoolRank |
| likelihoodsNM | Cardano.Ledger.Shelley.PoolRank |
| linearize | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 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, Constrained |
| 6 (Type/Class) | Control.Iterate.BaseTypes, Control.SetAlgebra |
| ListCtx | |
| 1 (Data Constructor) | Constrained.List, Constrained |
| 2 (Type/Class) | Constrained.List, Constrained |
| ListCtxWhole | |
| 1 (Data Constructor) | Constrained.List, Constrained |
| 2 (Type/Class) | Constrained.List, Constrained |
| listDecodeA | Cardano.Ledger.Binary.Coders |
| listEmpty | Constrained.Examples.List, Constrained.Examples |
| listEq | Test.Cardano.Ledger.Constrained.Rewrite |
| listExistsUnfree | Constrained.Examples.List, Constrained.Examples |
| ListFn | Constrained.Base, Constrained.Spec, Constrained.Internals |
| listFromGE | Constrained.GenT, Constrained.Internals, Constrained |
| listify | Control.Iterate.Collect |
| listLen | Cardano.Ledger.Binary.Group, Cardano.Ledger.Binary |
| listLenBound | Cardano.Ledger.Binary.Group, Cardano.Ledger.Binary |
| listLenInt | Cardano.Ledger.Binary.Group, Cardano.Ledger.Binary |
| ListMap | |
| 1 (Data Constructor) | Data.ListMap |
| 2 (Type/Class) | Data.ListMap |
| listMustSizeIssue | Constrained.Examples.List, Constrained.Examples |
| ListNever | Test.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 |
| listOfT | Constrained.GenT, Constrained.Internals, Constrained |
| listOfUntilLenT | Constrained.GenT, Constrained.Internals, Constrained |
| ListR | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.TypeRep |
| 2 (Data Constructor) | Control.Iterate.BaseTypes, Control.SetAlgebra |
| listSeqCertPairSpec | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| listShape | Constrained.List, Constrained |
| ListSpec | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Spec |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Spec |
| 3 (Data Constructor) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 4 (Type/Class) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| listSpec | Test.Cardano.Ledger.Constrained.Spec |
| listSpecElem | Constrained.Base, Constrained.Spec, Constrained.Internals |
| listSpecFold | Constrained.Base, Constrained.Spec, Constrained.Internals |
| listSpecHint | Constrained.Base, Constrained.Spec, Constrained.Internals |
| listSpecMust | Constrained.Base, Constrained.Spec, Constrained.Internals |
| listSpecSize | Constrained.Base, Constrained.Spec, Constrained.Internals |
| listSubSize | Constrained.Examples.Basic, Constrained.Examples |
| listSum | Constrained.Examples.List, Constrained.Examples |
| listSumElemRange | Constrained.Examples.List, Constrained.Examples |
| listSumForall | Constrained.Examples.List, Constrained.Examples |
| listSumPair | Constrained.Examples.List, Constrained.Examples |
| listSumRange | Constrained.Examples.List, Constrained.Examples |
| listSumRangeRange | Constrained.Examples.List, Constrained.Examples |
| listSumRangeUpper | Constrained.Examples.List, Constrained.Examples |
| listSumShort | Constrained.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.Imp.Common, Test.Cardano.Ledger.TreeDiff |
| 7 (Function) | Test.Cardano.Ledger.Mary.TreeDiff |
| 8 (Function) | Test.Cardano.Ledger.Shelley.TreeDiff |
| listToProd | Constrained.Univ, Constrained.Internals |
| listToSetTarget | Test.Cardano.Ledger.Constrained.Ast |
| ListWhere | Test.Cardano.Ledger.Constrained.Ast |
| listWherePreds | Test.Cardano.Ledger.Constrained.Examples |
| listWithSum | Test.Cardano.Ledger.Constrained.Tests |
| Lit | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Data Constructor) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 3 (Data Constructor) | Control.Iterate.Exp |
| lit | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| liveAfter | Byron.Spec.Ledger.Delegation |
| ln' | Cardano.Ledger.NonIntegral |
| lo | |
| 1 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| loadDbUTxO | Cardano.Ledger.State.Query |
| loadDStateNoSharing | Cardano.Ledger.State.Query |
| loadEpochState | Cardano.Ledger.State.Query |
| loadEpochStateEntity | Cardano.Ledger.State.Query |
| loadEpochStateWithSharing | Cardano.Ledger.State.Query |
| loadLedgerState | Cardano.Ledger.State.UTxO |
| loadLedgerStateDStateSharing | Cardano.Ledger.State.Query |
| loadLedgerStateDStateTxIxSharing | Cardano.Ledger.State.Query |
| loadLedgerStateNoSharing | Cardano.Ledger.State.Query |
| loadSnapShotsNoSharing | Cardano.Ledger.State.Query |
| loadSnapShotsNoSharingM | Cardano.Ledger.State.Query |
| loadSnapShotsWithSharing | Cardano.Ledger.State.Query |
| loadSnapShotsWithSharingM | Cardano.Ledger.State.Query |
| loadUTxONoSharing | Cardano.Ledger.State.Query |
| localOption | Test.Common |
| logAcceptedRatio | Test.Cardano.Ledger.Conway.ImpTest |
| logConwayTxBalance | Test.Cardano.Ledger.Conway.ImpTest |
| logCurPParams | Test.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 |
| logProposalsForest | Test.Cardano.Ledger.Conway.ImpTest |
| logProposalsForestDiff | Test.Cardano.Ledger.Conway.ImpTest |
| logRatificationChecks | Test.Cardano.Ledger.Conway.ImpTest |
| logStakeDistr | |
| 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 |
| 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_exp | Tests.Cardano.Ledger.NonIntegral |
| log_law | Tests.Cardano.Ledger.NonIntegral |
| log_pow | Tests.Cardano.Ledger.NonIntegral |
| longTraceLen | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| long_bech32 | Test.Cardano.Ledger.Generic.PrettyCore |
| Lookup | Constrained.Univ, Constrained.Internals |
| 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 |
| lookupAddress | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| lookupByronKeyPair | |
| 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 |
| lookupCompact | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| lookupDepositDState | Cardano.Ledger.CertState |
| lookupDepositVState | Cardano.Ledger.CertState |
| lookupEnv | Constrained.Env, Constrained.Internals |
| lookupFn | Constrained.Univ, Constrained.Internals |
| lookupGovActionState | Test.Cardano.Ledger.Conway.ImpTest |
| lookupImpRootTxOut | |
| 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 |
| lookupInOverlaySchedule | Cardano.Protocol.TPraos.Rules.Overlay |
| lookupKeyPair | |
| 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 |
| lookupMultiAsset | Cardano.Ledger.Mary.Value |
| lookupPlutusScript | Cardano.Ledger.Alonzo.Scripts |
| lookupR | Cardano.Chain.Delegation |
| lookupRedeemer | Cardano.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 | Cardano.Ledger.CertState |
| lookupSpecific | Constrained.Examples.Map, Constrained.Examples |
| 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 |
| lookup_ | Constrained.Spec.Map, Constrained.Spec, Constrained.Internals, Constrained |
| Loose | Constrained.GenT, Constrained.Internals, Constrained |
| Lovelace | |
| 1 (Data Constructor) | Byron.Spec.Ledger.Core |
| 2 (Type/Class) | Byron.Spec.Ledger.Core |
| 3 (Type/Class) | Cardano.Chain.Common |
| lovelaceCap | Byron.Spec.Ledger.Core, Byron.Spec.Ledger.GlobalParams |
| LovelaceError | Cardano.Chain.Common |
| lovelaceF | Cardano.Chain.Common |
| LovelaceOverflow | Cardano.Chain.Common |
| LovelacePortion | Cardano.Chain.Common |
| lovelacePortionToRational | Cardano.Chain.Common |
| lovelaceToInteger | Cardano.Chain.Common |
| LovelaceTooLarge | Cardano.Chain.Common |
| LovelaceTooSmall | Cardano.Chain.Common |
| LovelaceUnderflow | Cardano.Chain.Common |
| lowBound | Constrained.Base, Constrained.Spec, Constrained.Internals |
| lowerBound | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| lRewardAmount | Cardano.Ledger.Shelley.Rewards |
| lRewardP | Cardano.Ledger.Shelley.RewardProvenance |
| lRewardPool | Cardano.Ledger.Shelley.Rewards |
| lsCertState | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| lsCertStateL | Cardano.Ledger.Shelley.LedgerState |
| lsId | Cardano.Ledger.State.Query |
| lssDStateStats | Cardano.Ledger.State.UTxO |
| lssPStateStats | Cardano.Ledger.State.UTxO |
| lssUTxOStats | Cardano.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 |
| lsUTxOState | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| lsUTxOStateL | Cardano.Ledger.Shelley.LedgerState |
| lsX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| LTE | Test.Cardano.Ledger.Constrained.Classes |
| LTH | Test.Cardano.Ledger.Constrained.Classes |
| ltiEpochInfo | Cardano.Ledger.Alonzo.Plutus.Context |
| ltiProtVer | Cardano.Ledger.Alonzo.Plutus.Context |
| ltiSystemStart | Cardano.Ledger.Alonzo.Plutus.Context |
| ltiTx | Cardano.Ledger.Alonzo.Plutus.Context |
| ltiUTxO | Cardano.Ledger.Alonzo.Plutus.Context |
| ltSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| lub | Control.Iterate.BaseTypes, Control.SetAlgebra |
| lubQuery | Control.Iterate.Exp |
| lvChainChecks | Cardano.Protocol.TPraos.API |
| lvD | Cardano.Protocol.TPraos.API |
| lvExtraEntropy | Cardano.Protocol.TPraos.API |
| lvGenDelegs | Cardano.Protocol.TPraos.API |
| lvPoolDistr | Cardano.Protocol.TPraos.API |