| naiveFib | PlutusCore.Generators.Hedgehog.Interesting |
| Name | |
| 1 (Type/Class) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| name | |
| 1 (Function) | Transform.Inline.Spec |
| 2 (Function) | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
| NameAction | |
| 1 (Data Constructor) | PlutusCore.Check.Scoping |
| 2 (Type/Class) | PlutusCore.Check.Scoping |
| NameAnn | PlutusCore.Check.Scoping |
| NameChangedItsScope | PlutusCore.Check.Scoping |
| Named | |
| 1 (Data Constructor) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| 2 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| 3 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| NamedDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| 3 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| NamedPass | PlutusIR.Pass |
| NamedTyDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore |
| NameFormat | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| nameformat | PlutusCore.Executable.Parsers |
| nameId | MAlonzo.RTE |
| NameInfo | PlutusTx.Compiler.Types |
| NameMismatch | PlutusCore.Error |
| nameOf | PlutusCore.Generators.NEAT.Common |
| names | PlutusCore.Generators.NEAT.Spec |
| namesAndTests | Evaluation.Golden |
| NameState | |
| 1 (Type/Class) | PlutusCore.Generators.NEAT.Common |
| 2 (Data Constructor) | PlutusCore.Generators.NEAT.Common |
| nameToDeBruijn | PlutusCore.DeBruijn.Internal |
| NameUnexpectedlyDisappeared | PlutusCore.Check.Scoping |
| NameUnexpectedlyStayed | PlutusCore.Check.Scoping |
| nameUsedAtMostOnce | PlutusIR.Transform.Inline.Utils |
| nan | MAlonzo.RTE.Float |
| natData | PlutusCore.StdLib.Data.Nat |
| natK | PlutusCore.Examples.Data.Vec |
| natSum | PlutusCore.Generators.Hedgehog.Interesting |
| natToChar | MAlonzo.RTE |
| natToInteger | PlutusCore.StdLib.Data.Nat |
| NatToPeano | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| natTy | PlutusCore.StdLib.Data.Nat |
| Natural | PlutusPrelude |
| ndbnIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| ndbnString | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
| neg | |
| 1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
| 2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
| negate | |
| 1 (Function) | PlutusTx.Numeric, PlutusTx.Prelude |
| 2 (Function) | PlutusTx.Ratio |
| negativeIndexError | PlutusTx.ErrorCodes |
| negativeInfinity | MAlonzo.RTE.Float |
| NegativeInput | PlutusCore.Bitwise |
| negativeZero | MAlonzo.RTE.Float |
| NegInf | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| negTerm | Evaluation.Builtins.BLS12_381.TestClasses |
| nested | Transform.Simplify.Spec |
| nestedGoldenVsDoc | Test.Tasty.Extras, PlutusCore.Test |
| nestedGoldenVsDocM | Test.Tasty.Extras, PlutusCore.Test |
| nestedGoldenVsText | Test.Tasty.Extras, PlutusCore.Test |
| nestedGoldenVsTextM | Test.Tasty.Extras, PlutusCore.Test |
| nestedGoldenVsTextPredM | Test.Tasty.Extras, PlutusCore.Test |
| nestWith | Test.Tasty.Extras, PlutusCore.Test |
| Neutral | |
| 1 (Type/Class) | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| 2 (Data Constructor) | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| never | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Interval |
| 2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1 |
| NewConstitution | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| newCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
| newestPV | PlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions |
| Next | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
| nextInterestingBound | PlutusCore.Generators.QuickCheck.Builtin |
| NFData | PlutusPrelude |
| Nil | |
| 1 (Data Constructor) | Data.RandomAccessList.SkewBinary |
| 2 (Data Constructor) | Data.RandomAccessList.SkewBinarySlab |
| nil | |
| 1 (Function) | PlutusTx.Data.List |
| 2 (Function) | PlutusCore.StdLib.Data.ScottList |
| nilSlippage | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| NilStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| NoArbitrary | |
| 1 (Type/Class) | PlutusLedgerApi.Test.V1.Data.Value |
| 2 (Data Constructor) | PlutusLedgerApi.Test.V1.Data.Value |
| 3 (Type/Class) | PlutusLedgerApi.Test.V1.Value |
| 4 (Data Constructor) | PlutusLedgerApi.Test.V1.Value |
| NoConfidence | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| NoContext | PlutusTx.Compiler.Error |
| Node | PlutusIR.Analysis.Dependencies |
| NoDefinitions | PlutusTx.Blueprint.Definition.Internal, PlutusTx.Blueprint.Definition, PlutusTx.Blueprint |
| noDuplicateKeys | PlutusTx.Data.AssocMap |
| noEmitter | UntypedPlutusCore.Evaluation.Machine.Cek.EmitterMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| NoEscape | PlutusIR.Compiler.Types, PlutusIR.TypeCheck.Internal, PlutusIR.Compiler |
| NoFrame | |
| 1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| noMarkRename | PlutusCore.Test |
| NoMarkRenameT | |
| 1 (Type/Class) | PlutusCore.Test |
| 2 (Data Constructor) | PlutusCore.Test |
| noMoreTypeFunctions | PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| NonAssoc | MAlonzo.RTE |
| NonAssociative | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
| NonCanonicalRational | |
| 1 (Type/Class) | PlutusTx.NonCanonicalRational |
| 2 (Data Constructor) | PlutusTx.NonCanonicalRational |
| NonConstrScrutinizedMachineError | PlutusCore.Evaluation.Machine.Exception |
| None | |
| 1 (Data Constructor) | PlutusTx.Compiler.Types |
| 2 (Data Constructor) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| NonEmpty | PlutusPrelude |
| NonEmptyContext | PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
| NonFunctionalApplicationMachineError | PlutusCore.Evaluation.Machine.Exception |
| NonPolymorphicInstantiationMachineError | PlutusCore.Evaluation.Machine.Exception |
| NonRec | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| NonRecInScopeSet | |
| 1 (Type/Class) | PlutusIR.Transform.Inline.Utils |
| 2 (Data Constructor) | PlutusIR.Transform.Inline.Utils |
| nonRecInScopeSet | PlutusIR.Transform.Inline.Utils |
| NonRecTerms | PlutusIR.Compiler.Let |
| NonStrict | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| NonWrapUnwrappedMachineError | PlutusCore.Evaluation.Machine.Exception |
| nonZeroSecondArg | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
| NoOpPass | PlutusIR.Pass |
| NoOutput | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| noOutput | PlutusCore.Executable.Parsers |
| NoOutputDatum | |
| 1 (Data Constructor) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| NoParens | |
| 1 (Type/Class) | PlutusCore.Pretty.PrettyConst |
| 2 (Data Constructor) | PlutusCore.Pretty.PrettyConst |
| noProvenance | PlutusIR.Compiler.Provenance, PlutusIR.Compiler |
| noRename | PlutusCore.Test |
| NoRenameT | |
| 1 (Type/Class) | PlutusCore.Test |
| 2 (Data Constructor) | PlutusCore.Test |
| normaliseNaN | MAlonzo.RTE.Float |
| Normalized | |
| 1 (Type/Class) | PlutusIR.Error, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusIR.Error, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| normalizeTy | PlutusCore.Generators.QuickCheck.GenerateTypes, PlutusCore.Generators.QuickCheck |
| normalizeType | |
| 1 (Function) | PlutusTx.Lift.THUtils |
| 2 (Function) | PlutusIR.Normalize, PlutusCore.Normalize |
| normalizeTypeAgda | MAlonzo.Code.Evaluator.Term |
| normalizeTypeG | PlutusCore.Generators.NEAT.Term |
| normalizeTypeM | |
| 1 (Function) | PlutusCore.Normalize.Internal |
| 2 (Function) | PlutusCore.TypeCheck.Internal |
| normalizeTypesIn | |
| 1 (Function) | PlutusIR.Normalize |
| 2 (Function) | PlutusCore.Normalize, PlutusCore |
| normalizeTypesInM | PlutusCore.Normalize.Internal |
| normalizeTypesInProgram | |
| 1 (Function) | PlutusIR.Normalize |
| 2 (Function) | PlutusCore.Normalize, PlutusCore |
| NormalizeTypeT | PlutusCore.Normalize.Internal |
| normalizeTypeTermAgda | MAlonzo.Code.Evaluator.Term |
| NormalTyVar | PlutusIR.Analysis.VarInfo |
| NormalVar | PlutusIR.Analysis.VarInfo |
| NormCheckError | PlutusCore.Error, PlutusCore, PlutusCore.Check.Normal |
| NormCheckErrorE | PlutusCore.Error, PlutusCore |
| not | |
| 1 (Function) | PlutusTx.Bool, PlutusTx.Prelude |
| 2 (Function) | Evaluation.Builtins.Integer.Common |
| notAConstant | PlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin.HasConstant, PlutusCore.Builtin |
| NotAName | PlutusCore.Check.Scoping |
| NotARetainer | PlutusIR.Analysis.RetainedSize |
| notElem | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.BuiltinList |
| NotEnoughDigits | PlutusCore.Bitwise |
| NotEqual | Cardano.Constitution.Config.Types, Cardano.Constitution.Config |
| NotHexit | PlutusLedgerApi.V1.Bytes, PlutusLedgerApi.V1 |
| Nothing | PlutusTx.Maybe, PlutusTx.Prelude |
| NothingSomeType | PlutusCore.Generators.QuickCheck.Builtin |
| NoTiming | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| notMemberByName | PlutusCore.Name.UniqueSet |
| NTerm | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| Nub | PlutusTx.Blueprint.Definition.TF |
| nub | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.BuiltinList |
| nubBy | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.BuiltinList |
| NubHelper | PlutusTx.Blueprint.Definition.TF |
| null | |
| 1 (Function) | PlutusTx.Builtins.Internal |
| 2 (Function) | PlutusTx.Builtins |
| 3 (Function) | PlutusTx.List |
| 4 (Function) | PlutusTx.Data.List |
| 5 (Function) | PlutusTx.Data.AssocMap |
| 6 (Function) | PlutusTx.BuiltinList |
| 7 (Function) | PlutusTx.AssocMap |
| 8 (Function) | Data.RandomAccessList.SkewBinary |
| 9 (Function) | Data.RandomAccessList.SkewBinarySlab |
| NullList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| NullList'cpu'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| NullList'memory'arguments | |
| 1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| NumberOfStepCounters | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| NumBytesCostedAsNumWords | |
| 1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| 2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
| numerator | PlutusTx.Ratio |
| numHashCollisionInputs | Evaluation.Builtins.BLS12_381 |
| numTestsForPassProp | PlutusIR.Pass.Test |