naiveFib | PlutusCore.Generators.Hedgehog.Interesting |
Name | |
1 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
name | 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 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
3 (Data Constructor) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
NamedDeBruijn | |
1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
3 (Data Constructor) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
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 |
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 |
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 | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
nest | Text.Pretty |
nestedGoldenVsDoc | Test.Tasty.Extras, PlutusCore.Test |
nestedGoldenVsDocM | Test.Tasty.Extras, PlutusCore.Test |
nestedGoldenVsText | Test.Tasty.Extras, PlutusCore.Test |
nestedGoldenVsTextM | Test.Tasty.Extras, PlutusCore.Test |
nesting | Text.Pretty |
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 | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1 |
NewConstitution | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
newCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
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 | PlutusCore.StdLib.Data.ScottList |
nilSlippage | 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.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.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, Text.Fixity.Internal, Text.Fixity, Text.PrettyBy.Fixity |
NonCanonicalRational | |
1 (Type/Class) | PlutusTx.NonCanonicalRational |
2 (Data Constructor) | PlutusTx.NonCanonicalRational |
NonConstrScrutinized | PlutusCore.Evaluation.Machine.Exception |
NonDefaultPrettyBy | Text.PrettyBy.Internal, Text.PrettyBy |
nonDefaultPrettyBy | Text.PrettyBy.Internal, Text.PrettyBy |
nonDefaultPrettyListBy | Text.PrettyBy.Internal, Text.PrettyBy |
None | |
1 (Data Constructor) | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
2 (Data Constructor) | PlutusTx.Compiler.Types |
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 |
NonStuckHasPrettyDefaults | Text.PrettyBy.Internal |
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.Tx, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.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) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Error |
2 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Error |
normalizeTy | PlutusCore.Generators.QuickCheck.GenerateTypes, PlutusCore.Generators.QuickCheck |
normalizeType | |
1 (Function) | PlutusCore.Normalize, PlutusIR.Normalize |
2 (Function) | PlutusTx.Lift.THUtils |
normalizeTypeAgda | MAlonzo.Code.Evaluator.Term |
normalizeTypeG | PlutusCore.Generators.NEAT.Term |
normalizeTypeM | |
1 (Function) | PlutusCore.Normalize.Internal |
2 (Function) | PlutusCore.TypeCheck.Internal |
normalizeTypesIn | |
1 (Function) | PlutusCore.Normalize, PlutusCore |
2 (Function) | PlutusIR.Normalize |
normalizeTypesInM | PlutusCore.Normalize.Internal |
normalizeTypesInProgram | |
1 (Function) | PlutusCore.Normalize, PlutusCore |
2 (Function) | PlutusIR.Normalize |
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 | PlutusTx.Bool, PlutusTx.Prelude |
NotAName | PlutusCore.Check.Scoping |
NotARetainer | PlutusIR.Analysis.RetainedSize |
notElem | PlutusTx.List, PlutusTx.Prelude |
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 | PlutusTx.List, PlutusTx.Prelude |
nubBy | PlutusTx.List, PlutusTx.Prelude |
NubHelper | PlutusTx.Blueprint.Definition.TF |
null | |
1 (Function) | Data.RandomAccessList.SkewBinary |
2 (Function) | Data.RandomAccessList.SkewBinarySlab |
3 (Function) | PlutusTx.Builtins.Internal |
4 (Function) | PlutusTx.Builtins |
5 (Function) | PlutusTx.List, PlutusTx.Prelude |
6 (Function) | PlutusTx.Data.AssocMap |
7 (Function) | PlutusTx.AssocMap |
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 |
NumBytesCostedAsNumWords | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
numerator | PlutusTx.Ratio |
numTestsForPassProp | PlutusIR.Pass.Test |