| Nary | Data.Universe |
| nativeAlwaysFails | Test.Cardano.Ledger.Allegra.Era, Test.Cardano.Ledger.Alonzo.Era, Test.Cardano.Ledger.Babbage.Era, Test.Cardano.Ledger.Conway.Era, Test.Cardano.Ledger.Dijkstra.Era, Test.Cardano.Ledger.Mary.Era, Test.Cardano.Ledger.Shelley.Era |
| nativeAlwaysSucceeds | Test.Cardano.Ledger.Allegra.Era, Test.Cardano.Ledger.Alonzo.Era, Test.Cardano.Ledger.Babbage.Era, Test.Cardano.Ledger.Conway.Era, Test.Cardano.Ledger.Dijkstra.Era, Test.Cardano.Ledger.Mary.Era, Test.Cardano.Ledger.Shelley.Era |
| nativeMultiSigTag | Cardano.Ledger.Shelley.Scripts, Cardano.Ledger.Shelley |
| NativeScript | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Babbage.Scripts, Cardano.Ledger.Conway.Scripts |
| nativeScriptRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec |
| nativeScriptsAllegraTxAuxDataL | Cardano.Ledger.Allegra.TxAuxData |
| nativeScriptsAlonzoTxAuxDataL | Cardano.Ledger.Alonzo.TxAuxData |
| nativeScriptsTxAuxDataG | Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| nativeScriptsTxAuxDataL | Cardano.Ledger.Allegra.TxAuxData, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core |
| NatNonce | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core, Test.Cardano.Protocol.Crypto.VRF.Fake |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core, Test.Cardano.Protocol.Crypto.VRF.Fake |
| natVersion | Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.BaseTypes |
| natVersionProxy | Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.BaseTypes |
| neCertState | Cardano.Ledger.Shelley.Rules |
| neededTxInsForBlock | Cardano.Ledger.Block |
| negateNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| Negative | |
| 1 (Type/Class) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| nesBcur | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nesBcurL | Cardano.Ledger.Shelley.LedgerState |
| nesBprev | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nesBprevL | Cardano.Ledger.Shelley.LedgerState |
| nesEL | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nesELL | Cardano.Ledger.Shelley.LedgerState |
| nesEpochStateL | Cardano.Ledger.Shelley.LedgerState |
| nesEs | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nesEsL | Cardano.Ledger.Shelley.LedgerState |
| nesPd | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nesPdL | Cardano.Ledger.Shelley.LedgerState |
| nesRu | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nesRuL | Cardano.Ledger.Shelley.LedgerState |
| nessAggregateStats | Cardano.Ledger.State.UTxO |
| nessBlocksMade | Cardano.Ledger.State.UTxO |
| nessCurBlocksMade | Cardano.Ledger.State.UTxO |
| nessEpochStateStats | Cardano.Ledger.State.UTxO |
| nessPoolDistrStats | Cardano.Ledger.State.UTxO |
| nessPrevBlocksMade | Cardano.Ledger.State.UTxO |
| nessRewardUpdate | Cardano.Ledger.State.UTxO |
| nesStashedAVVMAddressesL | Cardano.Ledger.Shelley.LedgerState |
| nestedCborBytesSizeExpr | Cardano.Ledger.Binary.Plain |
| nestedCborSizeExpr | Cardano.Ledger.Binary.Plain |
| nesX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| Network | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| NetworkGroup | Cardano.Ledger.Conway.PParams |
| networkId | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| networkIdDijkstraTxBodyRawL | Cardano.Ledger.Dijkstra.TxBody |
| networkIdRule | Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec |
| networkIdTxBodyG | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| networkIdTxBodyL | Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| NetworkMagic | Cardano.Chain.Common |
| NetworkMainOrStage | Cardano.Chain.Common |
| NetworkTestnet | Cardano.Chain.Common |
| networkToWord8 | Cardano.Ledger.BaseTypes |
| network_id | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| NeutralNonce | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| neUTxOState | Cardano.Ledger.Shelley.Rules |
| never | Test.Cardano.Ledger.Examples.STSTestUtils |
| newBlock | Test.Cardano.Ledger.Shelley.Examples.Chain |
| NewConstitution | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| newEpoch | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| newEpochEventsProp | Test.Cardano.Ledger.Shelley.Rewards |
| newEpochProp | Test.Cardano.Ledger.Shelley.Rewards |
| NewEpochState | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| newEpochStateDRepPulsingStateL | Cardano.Ledger.Conway.Governance |
| newEpochStateGovStateL | Cardano.Ledger.Shelley.LedgerState |
| newEpochStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.NewEpoch, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| NewEpochStateStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| newEpochStateZero | Test.Cardano.Ledger.Generic.ModelState |
| NewestFirst | Test.Control.State.Transition.Trace |
| newLab | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| NewppEnv | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| NewppState | Cardano.Ledger.Shelley.Rules |
| newScriptIntegrityHash | Test.Cardano.Ledger.Examples.STSTestUtils |
| newSnapshot | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| newStakeCred | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| newUTxO | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| new_constitution | Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| NextEpochChange | Cardano.Ledger.Api.State.Query |
| nextEpochDelegationsRatio | Byron.Spec.Ledger.Delegation |
| nextEpochPParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Core, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core |
| nextEpochUpdatedPParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Core, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core |
| NFData | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| nightlyTests | |
| 1 (Function) | Main |
| 2 (Function) | Main |
| NoAssertNF | Test.Options |
| NoBlockValidation | Cardano.Chain.Block |
| NoChangeExpected | Cardano.Ledger.Api.State.Query |
| NoCollateralInputs | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| NoConfidence | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| NoCostModel | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| NoCostModelInLedgerState | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| NoCounterForKeyHashOCERT | Cardano.Protocol.TPraos.Rules.OCert |
| NoCred | Test.Cardano.Ledger.Shelley.Generator.TxCert |
| NoDatum | Cardano.Ledger.Api.Scripts.Data, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| noDoubleSpending | Test.Byron.Spec.Ledger.UTxO.Properties |
| NoExpectedFailure | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| NoFailure | |
| 1 (Type/Class) | Test.Control.State.Transition.Examples.GlobalSum |
| 2 (Data Constructor) | Test.Control.State.Transition.Examples.GlobalSum |
| 3 (Type/Class) | Test.Control.State.Transition.Examples.Sum |
| 4 (Data Constructor) | Test.Control.State.Transition.Examples.Sum |
| NoGenDelegation | Byron.Spec.Chain.STS.Rule.Chain |
| NoGenesis | |
| 1 (Type/Class) | Cardano.Ledger.Api.Transition, Cardano.Ledger.Genesis |
| 2 (Data Constructor) | Cardano.Ledger.Api.Transition, Cardano.Ledger.Genesis |
| NoGenUpdate | Byron.Spec.Chain.STS.Rule.Chain |
| NoGenUTxO | Byron.Spec.Chain.STS.Rule.Chain |
| noKeys | Data.MapExtras |
| NominalDiffTimeMicro | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nominalDiffTimeMicroToMicroseconds | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nominalDiffTimeMicroToSeconds | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| NoMirTransfer | Cardano.Ledger.Shelley.Rules |
| NonActiveSlot | Cardano.Protocol.TPraos.Rules.Overlay |
| Nonce | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nonce | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| nonce0 | Test.Cardano.Ledger.Shelley.Examples.Init |
| NonEmpty | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| NonEmptyList | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| NonGenesisDelegator | Cardano.Chain.Delegation.Validation.Scheduling |
| NonGenesisUpdatePPUP | Cardano.Ledger.Shelley.Rules |
| NonMyopic | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.PoolRank, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.PoolRank |
| nonMyopic | Cardano.Ledger.Shelley.RewardUpdate, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nonMyopicMemberRew | Cardano.Ledger.Shelley.PoolRank |
| nonMyopicOld | Test.Cardano.Ledger.Shelley.Rewards |
| nonMyopicStake | Cardano.Ledger.Shelley.PoolRank |
| nonMyopicZero | Test.Cardano.Ledger.Generic.ModelState |
| nonNativeLanguages | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| NonNegative | |
| 1 (Type/Class) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| NonNegativeInterval | Cardano.Ledger.BaseTypes |
| nonNegativeSingleDigitInt | Test.Cardano.Ledger.Generic.GenState |
| nonnegative_interval | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| NonNegInts | Tests.Cardano.Ledger.NonIntegral |
| NonPositive | |
| 1 (Type/Class) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| NonPositiveOutputs | Byron.Spec.Ledger.STS.UTXO |
| nonTrivialTrace | Test.Control.State.Transition.Generator |
| NonZero | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| 2 (Type/Class) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 3 (Data Constructor) | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| nonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| nonZeroOr | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| nonzero_int64 | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL |
| NoOpMap | |
| 1 (Type/Class) | Test.Control.State.Transition.Examples.CommitReveal |
| 2 (Data Constructor) | Test.Control.State.Transition.Examples.CommitReveal |
| noPassSafeSigner | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| NoPParamsUpdate | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Core, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core |
| nOpt | |
| 1 (Function) | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| nOpt_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| NoPVBUMPFailure | Byron.Spec.Ledger.Update |
| NoRedeemer | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| Norm | Tests.Cardano.Ledger.NonIntegral |
| normalize | |
| 1 (Function) | Tests.Cardano.Ledger.NonIntegral |
| 2 (Function) | Data.VMap |
| Normalized | Tests.Cardano.Ledger.NonIntegral |
| normalizeInts | Tests.Cardano.Ledger.NonIntegral |
| normalizeM | Data.VMap |
| noSameKeys | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| noSharing | Cardano.Ledger.State.UTxO |
| noSharingMap | Cardano.Ledger.State.UTxO |
| noSharingMap_ | Cardano.Ledger.State.UTxO |
| noSharing_ | Cardano.Ledger.State.UTxO |
| noShrinking | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| NoStakePoolGroup | Cardano.Ledger.Conway.PParams |
| NotActiveSlotOVERLAY | Cardano.Protocol.TPraos.Rules.Overlay |
| NotADelegate | |
| 1 (Data Constructor) | Byron.Spec.Chain.STS.Rule.SigCnt |
| 2 (Data Constructor) | Byron.Spec.Ledger.Update |
| NotAllowedSupplementalDatums | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| NotGenesisDelegate | Byron.Spec.Ledger.Update |
| noThunksGen | Test.Cardano.Ledger.Generic.MockChain |
| notMember | Data.VMap |
| notMemberR | Cardano.Chain.Delegation |
| notSupportedInThisEra | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| notSupportedInThisEraL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| notValidatingTx | Test.Cardano.Ledger.Generic.ApplyTx |
| NoTxValidation | Cardano.Chain.UTxO |
| notYetResigned | Test.Cardano.Ledger.Constrained.Conway.GovCert, Test.Cardano.Ledger.Constrained.Conway |
| NoUpdate | |
| 1 (Type/Class) | Cardano.Ledger.HKD |
| 2 (Data Constructor) | Cardano.Ledger.HKD |
| NoUpdateProposal | Byron.Spec.Ledger.Update |
| NoWitness | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| no_confidence | Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| null | |
| 1 (Function) | Data.OMap.Strict |
| 2 (Function) | Data.OSet.Strict |
| 3 (Function) | Data.VMap |
| Nullary | Data.Universe |
| NullUpdateProposal | Cardano.Chain.Update.Validation.Registration |
| numBaseScripts | Test.Cardano.Ledger.Shelley.Constants |
| NumberOfGenesisKeysTooLarge | Cardano.Chain.Update.Validation.Interface |
| numCoreNodes | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Examples.Federation |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Constants |
| numDiscarded | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| numGenKeys | Cardano.Chain.Update.Validation.Interface |
| numKeyPairs | Test.Cardano.Ledger.Shelley.Constants |
| numLaws | Test.Common |
| numSegComponents | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| numShrinkFinal | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| numShrinks | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| numShrinkTries | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| numSimpleScripts | Test.Cardano.Ledger.Shelley.Constants |
| NumSoftwareVersion | Cardano.Chain.Update |
| numTests | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |