| N | Constrained.Test |
| Name | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Env |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Env |
| 3 (Data Constructor) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 4 (Type/Class) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| name | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| nameAlonzoTx | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| nameCerts | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| named | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 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, Constrained.Internals |
| nameOf | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Constrained.Core, Constrained.Internals |
| namePoolCert | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| nameRatify | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| nameTxCert | Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway |
| narrowByFuelAndSize | Constrained.Base, Constrained.Spec, Constrained.Internals |
| narrowFoldSpecs | Constrained.Base, Constrained.Spec, Constrained.Internals |
| Nary | Data.Universe |
| nativeMultiSigTag | Cardano.Ledger.Shelley.Scripts, Cardano.Ledger.Shelley |
| NativeScript | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core |
| 2 (Type/Class) | Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core |
| 3 (Type/Class) | 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 |
| 4 (Type/Class) | Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core |
| 5 (Type/Class) | Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core |
| 6 (Type/Class) | Cardano.Ledger.Core |
| 7 (Type/Class) | Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core |
| 8 (Type/Class) | Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| 9 (Type/Class) | Test.Cardano.Ledger.EraClass |
| native_script | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 5 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| NatNonce | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 3 (Data Constructor) | Test.Cardano.Protocol.Crypto.VRF.Fake |
| 4 (Type/Class) | Test.Cardano.Protocol.Crypto.VRF.Fake |
| NaturalR | Test.Cardano.Ledger.Constrained.TypeRep |
| natVersion | |
| 1 (Function) | Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.BaseTypes |
| natVersionProxy | |
| 1 (Function) | Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.BaseTypes |
| neCertState | Cardano.Ledger.Shelley.Rules |
| necessaryKeyHashes | Test.Cardano.Ledger.Constrained.Preds.Tx |
| necessaryKeyHashTarget | Test.Cardano.Ledger.Constrained.Preds.Tx |
| neededTxInsForBlock | Cardano.Ledger.Block |
| needsDatum | Test.Cardano.Ledger.Constrained.Preds.Universes |
| needT | Test.Cardano.Ledger.Constrained.Preds.Tx |
| Neg | Control.Iterate.Exp |
| neg | Constrained.Base, Constrained.Spec, Constrained.Internals |
| Negate | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Data Constructor) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| nEgate | Control.Iterate.Exp |
| negateFn | Constrained.Base, Constrained.Spec, Constrained.Internals |
| negateSize | Test.Cardano.Ledger.Constrained.Size |
| negateSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| Negative | |
| 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 |
| negativeTests | Constrained.Test |
| NegInf | Constrained.Base, Constrained.Spec, Constrained.Internals |
| negInt64 | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 5 (Function) | Test.Cardano.Ledger.Core.Binary.CDDL |
| 6 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| 7 (Function) | Test.Cardano.Ledger.Shelley.CDDL |
| negNegate | Constrained.Test |
| negNumSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| NELens | Test.Cardano.Ledger.Constrained.Vars |
| 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 | Constrained.Examples.CheatSheet |
| nestedCborBytesSizeExpr | |
| 1 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| nestedCborSizeExpr | |
| 1 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Function) | Cardano.Ledger.Binary.Plain |
| nesX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| Network | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| network | Test.Cardano.Ledger.Constrained.Vars |
| NetworkGroup | Cardano.Ledger.Conway.PParams |
| networkID | Test.Cardano.Ledger.Constrained.Vars |
| networkId | |
| 1 (Function) | Cardano.Ledger.BaseTypes |
| 2 (Function) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| networkIdTxBodyL | |
| 1 (Function) | Cardano.Ledger.Alonzo.TxBody.Internal, Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core |
| 2 (Function) | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Test.Cardano.Ledger.EraClass |
| NetworkMagic | Cardano.Chain.Common |
| NetworkMainOrStage | Cardano.Chain.Common |
| NetworkR | Test.Cardano.Ledger.Constrained.TypeRep |
| networkSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| NetworkTestnet | Cardano.Chain.Common |
| networkToWord8 | Cardano.Ledger.BaseTypes |
| network_id | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| NeutralNonce | |
| 1 (Data Constructor) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | 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 | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| newConstitutionT | Test.Cardano.Ledger.Constrained.Vars |
| NEWEPOCH | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof |
| newEpoch | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| newepochConstraints | Test.Cardano.Ledger.Constrained.Examples |
| newEpochEventsProp | Test.Cardano.Ledger.Shelley.Rewards |
| NewEpochFailure | Cardano.Ledger.Shelley.Rules |
| newEpochProp | Test.Cardano.Ledger.Shelley.Rewards |
| NewEpochState | |
| 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 |
| newEpochStateConstr | Test.Cardano.Ledger.Constrained.Vars |
| newEpochStateDRepPulsingStateL | Cardano.Ledger.Conway.Governance |
| newEpochStateGovStateL | Cardano.Ledger.Shelley.LedgerState |
| newEpochStatePreds | Test.Cardano.Ledger.Constrained.Preds.NewEpochState |
| newepochstatePreds | Test.Cardano.Ledger.Constrained.Examples |
| NewEpochStateR | Test.Cardano.Ledger.Constrained.TypeRep |
| newEpochStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.NewEpoch, Test.Cardano.Ledger.Constrained.Conway |
| newEpochStateSpecUnit | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| newEpochStateSpecUTxO | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| newEpochStateStage | Test.Cardano.Ledger.Constrained.Preds.NewEpochState |
| NewEpochStateStats | |
| 1 (Data Constructor) | Cardano.Ledger.State.UTxO |
| 2 (Type/Class) | Cardano.Ledger.State.UTxO |
| newEpochStateT | Test.Cardano.Ledger.Constrained.Vars |
| newEpochStateTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| 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 |
| NEWPP | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| newPParams | Test.Cardano.Ledger.Generic.Updaters |
| NewppEnv | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| 2 (Type/Class) | 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 |
| newStsTrace | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| newTx | Test.Cardano.Ledger.Generic.Updaters |
| 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 | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Mary.Core |
| 6 (Function) | Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| nextEpochUpdatedPParams | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Mary.Core |
| 6 (Function) | Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core |
| next_major_protocol_version | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 5 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| 6 (Function) | Test.Cardano.Ledger.Shelley.CDDL |
| NFData | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| nightlyTests | |
| 1 (Function) | Main |
| 2 (Function) | Main |
| 3 (Function) | Main |
| Nil | Constrained.List, Constrained |
| NilCtx | Constrained.List, Constrained |
| nmLikelihoodsL | Test.Cardano.Ledger.Constrained.Lenses |
| nmLikelihoodsT | Test.Cardano.Ledger.Constrained.Vars |
| nmRewardPotL | Test.Cardano.Ledger.Constrained.Lenses |
| nmRewardPotT | Test.Cardano.Ledger.Constrained.Vars |
| No | Test.Cardano.Ledger.Constrained.Env |
| NoAssertNF | |
| 1 (Data Constructor) | Test.Options |
| 2 (Data Constructor) | Test.Options |
| NoBlockValidation | Cardano.Chain.Block |
| NoChangeExpected | Cardano.Ledger.Api.State.Query |
| noChildrenSameTree | Constrained.Examples.Tree, Constrained.Examples |
| NoCollateralInputs | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| NoConfidence | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| noConfidenceT | Test.Cardano.Ledger.Constrained.Vars |
| NoCostModel | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| NoCostModelInLedgerState | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| 2 (Data Constructor) | 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 | |
| 1 (Data Constructor) | 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 |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| noDependencies | |
| 1 (Function) | Constrained.Base, Constrained.Spec, Constrained.Internals |
| 2 (Function) | Constrained.Graph |
| nodes | Constrained.Graph |
| noDoubleSpending | Test.Byron.Spec.Ledger.UTxO.Properties |
| NoExpectedFailure | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Data Constructor) | Test.Common |
| NoFailure | |
| 1 (Data Constructor) | Test.Control.State.Transition.Examples.Sum |
| 2 (Type/Class) | Test.Control.State.Transition.Examples.Sum |
| 3 (Data Constructor) | Test.Control.State.Transition.Examples.GlobalSum |
| 4 (Type/Class) | Test.Control.State.Transition.Examples.GlobalSum |
| NoFold | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| NoGenDelegation | Byron.Spec.Chain.STS.Rule.Chain |
| NoGenesis | |
| 1 (Type/Class) | Cardano.Ledger.Api.Transition |
| 2 (Data Constructor) | Cardano.Ledger.Api.Transition |
| 3 (Data Constructor) | Cardano.Ledger.Genesis |
| 4 (Type/Class) | Cardano.Ledger.Genesis |
| NoGenUpdate | Byron.Spec.Chain.STS.Rule.Chain |
| NoGenUTxO | Byron.Spec.Chain.STS.Rule.Chain |
| noInfinity | Constrained.Test |
| noKeys | Data.MapExtras |
| NominalDiffTimeMicro | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Type/Class) | 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, Constrained.Spec, Constrained.Internals |
| Nonce | |
| 1 (Data Constructor) | Cardano.Ledger.BaseTypes |
| 2 (Type/Class) | Cardano.Ledger.BaseTypes |
| 3 (Type/Class) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| nonce | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 5 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| 6 (Function) | Test.Cardano.Ledger.Shelley.CDDL |
| nonce0 | Test.Cardano.Ledger.Shelley.Examples.Init |
| none | Control.Iterate.Collect |
| NonEmpty | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Data Constructor) | Test.Common |
| nonempty | Control.Iterate.Collect |
| NonEmptyList | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Type/Class) | Test.Common |
| nonempty_set | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 5 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| 6 (Function) | Test.Cardano.Ledger.Shelley.CDDL |
| NonGenesisDelegator | Cardano.Chain.Delegation.Validation.Scheduling |
| NonGenesisUpdatePPUP | Cardano.Ledger.Shelley.Rules |
| NonMyopic | |
| 1 (Data Constructor) | Cardano.Ledger.Shelley.PoolRank |
| 2 (Type/Class) | Cardano.Ledger.Shelley.PoolRank, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 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 | |
| 1 (Function) | Cardano.Ledger.Alonzo.Tx |
| 2 (Function) | Cardano.Ledger.Babbage.Tx |
| 3 (Function) | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| NonNegative | |
| 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 |
| NonNegativeInterval | Cardano.Ledger.BaseTypes |
| nonNegativeSingleDigitInt | Test.Cardano.Ledger.Generic.GenState |
| nonnegative_interval | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 5 (Function) | Test.Cardano.Ledger.Core.Binary.CDDL |
| 6 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| 7 (Function) | Test.Cardano.Ledger.Shelley.CDDL |
| NonNegInts | Tests.Cardano.Ledger.NonIntegral |
| NonPositive | |
| 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 |
| NonPositiveOutputs | Byron.Spec.Ledger.STS.UTXO |
| nonSpendScriptUniv | Test.Cardano.Ledger.Constrained.Vars |
| nonTrivialTrace | Test.Control.State.Transition.Generator |
| NonZero | |
| 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 |
| nonZeroInt64 | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 4 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 5 (Function) | Test.Cardano.Ledger.Core.Binary.CDDL |
| 6 (Function) | Test.Cardano.Ledger.Mary.CDDL |
| 7 (Function) | Test.Cardano.Ledger.Shelley.CDDL |
| NoOpMap | |
| 1 (Data Constructor) | Test.Control.State.Transition.Examples.CommitReveal |
| 2 (Type/Class) | Test.Control.State.Transition.Examples.CommitReveal |
| noPassSafeSigner | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| NoPParamsUpdate | |
| 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.Mary.Core |
| 6 (Data Constructor) | Cardano.Ledger.Shelley.Governance, 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.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| nOpt_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway.Instances, 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 | Constrained.Base, Constrained.Spec, Constrained.Internals |
| noSameChildrenTree | Constrained.Examples.Tree, Constrained.Examples |
| noSameKeys | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| noScripts | Test.Cardano.Ledger.Constrained.Preds.Universes |
| noSharing | Cardano.Ledger.State.UTxO |
| noSharingMap | Cardano.Ledger.State.UTxO |
| noSharingMap_ | Cardano.Ledger.State.UTxO |
| noSharing_ | Cardano.Ledger.State.UTxO |
| noShrinking | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| NoStakePoolGroup | Cardano.Ledger.Conway.PParams |
| Not | Constrained.Univ, Constrained.Internals |
| 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 (Data Constructor) | Constrained.Examples.Set, Constrained.Examples |
| 2 (Type/Class) | Constrained.Examples.Set, Constrained.Examples |
| notBefore | Test.Cardano.Ledger.Constrained.Rewrite |
| NotElem | Control.Iterate.Exp |
| notelem | Control.Iterate.Exp |
| notEq | Test.Cardano.Ledger.Generic.Same |
| notEqualSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| notFn | Constrained.Univ, Constrained.Internals |
| NotGenesisDelegate | Byron.Spec.Ledger.Update |
| noThunksGen | Test.Cardano.Ledger.Generic.MockChain |
| NoTimeout | Test.Common |
| notInNumSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| NotMember | Test.Cardano.Ledger.Constrained.Ast |
| notMember | |
| 1 (Function) | Cardano.Ledger.UMap |
| 2 (Function) | Data.VMap |
| notMemberR | Cardano.Chain.Delegation |
| notMemberSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| notSubset | Constrained.Examples.Set, Constrained.Examples |
| notSubsetSpec | Constrained.Examples.Set, Constrained.Examples |
| notSupportedInThisEra | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| notSupportedInThisEraL | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| notValidatingTx | Test.Cardano.Ledger.Generic.ApplyTx |
| NoTxValidation | Cardano.Chain.UTxO |
| notYetResigned | Test.Cardano.Ledger.Constrained.Conway.GovCert, Test.Cardano.Ledger.Constrained.Conway |
| not_ | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| NoUpdate | |
| 1 (Data Constructor) | Cardano.Ledger.HKD |
| 2 (Type/Class) | Cardano.Ledger.HKD |
| NoUpdateProposal | Byron.Spec.Ledger.Update |
| NoWitness | Cardano.Ledger.Alonzo.Plutus.Evaluate |
| noZeroCoin | Test.Cardano.Ledger.Constrained.Preds.Universes |
| no_confidence | Test.Cardano.Ledger.Conway.CDDL |
| nubOrd | Constrained.Base, Constrained.Spec, Constrained.Internals |
| nubOrdMemberSpec | Constrained.Base, Constrained.Spec, Constrained.Internals |
| null | |
| 1 (Function) | Data.OSet.Strict |
| 2 (Function) | Data.OMap.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.Base, Constrained.Spec, Constrained.Internals, Constrained |
| numBaseScripts | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Generator.Constants |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Constants |
| NumberOfGenesisKeysTooLarge | Cardano.Chain.Update.Validation.Interface |
| Numbery | Constrained.Examples.List, Constrained.Examples |
| numberyTests | Constrained.Test |
| NumberyType | Constrained.Test |
| numCoreNodes | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Examples.Federation |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Generator.Constants |
| 3 (Function) | Test.Cardano.Ledger.Shelley.Constants |
| numDiscarded | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| numDormantEpochs | Test.Cardano.Ledger.Constrained.Vars |
| numDormantEpochsL | Test.Cardano.Ledger.Constrained.Vars |
| NumDormantEpochsR | Test.Cardano.Ledger.Constrained.TypeRep |
| numGenKeys | Cardano.Chain.Update.Validation.Interface |
| numKeyPairs | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Generator.Constants |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Constants |
| numLaws | Test.Common |
| NumLike | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| numNumSpecTree | Constrained.Test |
| numSegComponents | |
| 1 (Function) | Cardano.Ledger.Allegra.Core |
| 2 (Function) | Cardano.Ledger.Alonzo.Core |
| 3 (Function) | Cardano.Ledger.Babbage.Core |
| 4 (Function) | Cardano.Ledger.Conway.Core |
| 5 (Function) | Cardano.Ledger.Core |
| 6 (Function) | Cardano.Ledger.Mary.Core |
| 7 (Function) | Cardano.Ledger.Shelley.Core |
| numShrinkFinal | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| numShrinks | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| numShrinkTries | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| numSimpleScripts | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Generator.Constants |
| 2 (Function) | Test.Cardano.Ledger.Shelley.Constants |
| NumSoftwareVersion | Cardano.Chain.Update |
| NumSpec | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| NumSpecInterval | Constrained.Base, Constrained.Spec, Constrained.Internals, Constrained |
| numTests | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| 2 (Function) | Test.Common |
| nxt | Control.Iterate.BaseTypes, Control.SetAlgebra |
| nxtQuery | Control.Iterate.Exp |