| Name | |
| 1 (Type/Class) | Constrained.Syntax |
| 2 (Data Constructor) | Constrained.Syntax |
| 3 (Type/Class) | Test.Minimal.Syntax |
| 4 (Data Constructor) | Test.Minimal.Syntax |
| name | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Constrained.Syntax |
| 3 (Function) | Test.Minimal.Base |
| nameAlonzoTx | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| nameCerts | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| named | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Constrained.Syntax |
| nameDelegCert | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| nameEnact | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| nameEpoch | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| nameGovAction | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base, Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| nameGovCert | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| nameGovSignal | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| nameHint | Constrained.Core |
| nameOf | Constrained.Core |
| namePoolCert | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| nameRatify | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| nameTxCert | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| narrowByFuelAndSize | Constrained.SumList |
| narrowFoldSpecs | Constrained.SumList |
| Nary | Data.Universe |
| nativeMultiSigTag | Cardano.Ledger.Shelley.Scripts, Cardano.Ledger.Shelley |
| NativeScript | 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 |
| native_script | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 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 |
| naturalToCoin | Constrained.Examples.ManualExamples |
| 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 |
| Neg | Control.Iterate.Exp |
| neg | Constrained.NumOrd |
| nEgate | Control.Iterate.Exp |
| negateFn | Constrained.NumOrd, Constrained.API |
| negateNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| negateRange | Test.Minimal.Model |
| negateSpec | Constrained.NumOrd |
| NegateW | |
| 1 (Data Constructor) | Constrained.NumOrd |
| 2 (Data Constructor) | Test.Minimal.Model |
| negate_ | |
| 1 (Function) | Constrained.NumOrd, Constrained.API |
| 2 (Function) | Test.Minimal.Model |
| Negative | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| negativeTests | Constrained.Tests |
| NegInf | Constrained.NumOrd |
| negInt64 | 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.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| negNegate | Constrained.Tests |
| negNumSpec | Constrained.NumOrd |
| 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 |
| Nested | |
| 1 (Type/Class) | Constrained.Examples.ManualExamples |
| 2 (Data Constructor) | Constrained.Examples.ManualExamples |
| nested | Constrained.Examples.CheatSheet |
| nestedCborBytesSizeExpr | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| nestedCborSizeExpr | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 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 |
| 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 |
| NeutralNonce | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| neUTxOState | Cardano.Ledger.Shelley.Rules |
| never | Test.Cardano.Ledger.Generic.Scriptic |
| newBlock | Test.Cardano.Ledger.Shelley.Examples |
| NewConstitution | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| NEWEPOCH | Test.Cardano.Ledger.Generic.Proof |
| newEpoch | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| newEpochEventsProp | Test.Cardano.Ledger.Shelley.Rewards |
| NewEpochFailure | Cardano.Ledger.Shelley.Rules |
| 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 |
| newEpochStateSpecUnit | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| newEpochStateSpecUTxO | 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 |
| newPool | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| newPParams | Test.Cardano.Ledger.Generic.Updaters |
| NewppEnv | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| NewPpFailure | Cardano.Ledger.Shelley.Rules |
| NewppState | Cardano.Ledger.Shelley.Rules |
| newScriptIntegrityHash | Test.Cardano.Ledger.Generic.Updaters |
| newSnapshot | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| newStakeCred | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| newTxBody | Test.Cardano.Ledger.Generic.Updaters |
| newTxOut | Test.Cardano.Ledger.Generic.Updaters |
| newUTxO | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| newWitnesses | Test.Cardano.Ledger.Generic.Updaters |
| new_constitution | Test.Cardano.Ledger.Conway.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.Core, Cardano.Ledger.Dijkstra.State, 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.Core, Cardano.Ledger.Dijkstra.State, 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 |
| 3 (Function) | Main |
| Nil | Constrained.List |
| NilCtx | Constrained.List |
| No | Constrained.SumList |
| NoAssertNF | Test.Options |
| NoBlockValidation | Cardano.Chain.Block |
| NoChangeExpected | Cardano.Ledger.Api.State.Query |
| noChildrenSameTree | Constrained.Examples.Tree, Constrained.Examples |
| noChoices | Constrained.SumList |
| NoCollateralInputs | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.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, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| 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 |
| noDependencies | |
| 1 (Function) | Constrained.Graph |
| 2 (Function) | Constrained.Syntax |
| 3 (Function) | Test.Minimal.Model |
| nodes | Constrained.Graph |
| noDoubleSpending | Test.Byron.Spec.Ledger.UTxO.Properties |
| NoExpectedFailure | 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 |
| NoFold | Constrained.TheKnot |
| 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 |
| noInfinity | Constrained.Tests |
| 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 |
| NonBinary | Constrained.Base |
| 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.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| nonce0 | Test.Cardano.Ledger.Shelley.Examples.Init |
| none | Control.Iterate.Collect |
| noNegativeValues | |
| 1 (Function) | Constrained.SumList |
| 2 (Function) | Constrained.TheKnot, Constrained.API |
| NonEmpty | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Type/Class) | Constrained.Core, Constrained.API |
| nonempty | Control.Iterate.Collect |
| NonEmptyList | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| nonempty_set | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 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.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | 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.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| NonNegInts | Tests.Cardano.Ledger.NonIntegral |
| NonPositive | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | 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.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 3 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| nonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| nonZeroInt64 | 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.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| nonZeroOr | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| 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.Core, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core |
| NOpt | Test.Cardano.Ledger.Generic.Fields |
| 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) | Control.Iterate.BaseTypes |
| 3 (Function) | Data.VMap |
| Normalized | Tests.Cardano.Ledger.NonIntegral |
| normalizeInts | Tests.Cardano.Ledger.NonIntegral |
| normalizeM | Data.VMap |
| normalizePtr | Cardano.Ledger.Credential |
| normalizeSolverStage | |
| 1 (Function) | Constrained.Generation |
| 2 (Function) | Test.Minimal.Model |
| noSameChildrenTree | Constrained.Examples.Tree, Constrained.Examples |
| 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.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| NoStakePoolGroup | Cardano.Ledger.Conway.PParams |
| NotActiveSlotOVERLAY | Cardano.Protocol.TPraos.Rules.Overlay |
| notAddress | Test.Cardano.Ledger.Generic.Updaters |
| 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 |
| NotASet | |
| 1 (Type/Class) | Constrained.Examples.Set, Constrained.Examples |
| 2 (Data Constructor) | Constrained.Examples.Set, Constrained.Examples |
| NotElem | Control.Iterate.Exp |
| notelem | Control.Iterate.Exp |
| notEqualSpec | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Test.Minimal.Syntax |
| NotGenesisDelegate | Byron.Spec.Ledger.Update |
| noThunksGen | Test.Cardano.Ledger.Generic.MockChain |
| NoTimeout | Test.Common |
| notInNumSpec | Constrained.NumOrd |
| notMember | |
| 1 (Function) | Cardano.Ledger.UMap |
| 2 (Function) | Data.VMap |
| notMemberR | Cardano.Chain.Delegation |
| notMemberSpec | |
| 1 (Function) | Constrained.Base, Constrained.API |
| 2 (Function) | Test.Minimal.Syntax |
| notSubset | Constrained.Examples.Set, Constrained.Examples |
| notSubsetSpec | Constrained.Examples.Set, Constrained.Examples |
| 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 |
| NotW | |
| 1 (Data Constructor) | Constrained.Generation |
| 2 (Data Constructor) | Test.Minimal.Model |
| NoTxValidation | Cardano.Chain.UTxO |
| notYetResigned | Test.Cardano.Ledger.Constrained.Conway.GovCert, Test.Cardano.Ledger.Constrained.Conway |
| not_ | |
| 1 (Function) | Constrained.Generation, Constrained.API |
| 2 (Function) | Test.Minimal.Model |
| 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 |
| nubOrd | Constrained.NumOrd |
| nubOrdMemberSpec | Constrained.NumOrd |
| null | |
| 1 (Function) | Data.OMap.Strict |
| 2 (Function) | Data.OSet.Strict |
| 3 (Function) | Data.VMap |
| Nullary | Data.Universe |
| nullDats | Cardano.Ledger.Alonzo.TxWits |
| nullRedeemers | Cardano.Ledger.Alonzo.TxWits |
| nullUMElem | Cardano.Ledger.UMap |
| nullUMElemMaybe | Cardano.Ledger.UMap |
| NullUpdateProposal | Cardano.Chain.Update.Validation.Registration |
| nullUView | Cardano.Ledger.UMap |
| null_ | Constrained.API |
| numBaseScripts | Test.Cardano.Ledger.Shelley.Generator.Constants, Test.Cardano.Ledger.Shelley.Constants |
| Number | Constrained.NumOrd |
| NumberOfGenesisKeysTooLarge | Cardano.Chain.Update.Validation.Interface |
| Numbery | Constrained.Examples.List, Constrained.Examples |
| numberyTests | Constrained.Tests |
| numCoreNodes | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Generator.Constants, Test.Cardano.Ledger.Shelley.Constants |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Examples.Federation |
| numDiscarded | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| Numeric | Constrained.NumOrd, Constrained.API |
| numGenKeys | Cardano.Chain.Update.Validation.Interface |
| numKeyPairs | Test.Cardano.Ledger.Shelley.Generator.Constants, Test.Cardano.Ledger.Shelley.Constants |
| numLaws | Test.Common |
| NumLike | Constrained.NumOrd, Constrained.API |
| numNumSpecTree | Constrained.Tests |
| 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.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| numShrinks | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| numShrinkTries | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| numSimpleScripts | Test.Cardano.Ledger.Shelley.Generator.Constants, Test.Cardano.Ledger.Shelley.Constants |
| NumSoftwareVersion | Cardano.Chain.Update |
| NumSpec | Constrained.NumOrd, Constrained.API |
| NumSpecInterval | Constrained.NumOrd, Constrained.API |
| numTests | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| nxt | Control.Iterate.BaseTypes, Control.SetAlgebra |
| nxtQuery | Control.Iterate.Exp |