Name
|
|
1 (Type/Class)
|
PlutusCore.Name
, PlutusCore.Builtin.Debug,
PlutusCore
,
PlutusIR.Core.Type
, PlutusIR.Core,
PlutusIR
, UntypedPlutusCore
|
2 (Data Constructor)
|
PlutusCore.Name
, PlutusCore.Builtin.Debug,
PlutusCore
,
PlutusIR.Core.Type
, PlutusIR.Core,
PlutusIR
, UntypedPlutusCore
|
NameAction
|
|
1 (Data Constructor)
|
PlutusCore.Check.Scoping
|
2 (Type/Class)
|
PlutusCore.Check.Scoping
|
NameAnn
|
PlutusCore.Check.Scoping
|
NameChangedItsScope
|
PlutusCore.Check.Scoping
|
NamedDeBruijn
|
|
1 (Type/Class)
|
PlutusCore.DeBruijn
,
UntypedPlutusCore.DeBruijn
,
PlutusCore
, UntypedPlutusCore
|
2 (Data Constructor)
|
PlutusCore.DeBruijn
,
UntypedPlutusCore.DeBruijn
,
PlutusCore
, UntypedPlutusCore
|
NamedTyDeBruijn
|
|
1 (Type/Class)
|
PlutusCore.DeBruijn
|
2 (Data Constructor)
|
PlutusCore.DeBruijn
|
nameString
|
PlutusCore.Name
, PlutusCore.Builtin.Debug,
PlutusCore
,
PlutusIR.Core.Type
, PlutusIR.Core,
PlutusIR
, UntypedPlutusCore
|
NameUnexpectedlyDisappeared
|
PlutusCore.Check.Scoping
|
NameUnexpectedlyStayed
|
PlutusCore.Check.Scoping
|
nameUnique
|
PlutusCore.Name
, PlutusCore.Builtin.Debug,
PlutusCore
,
PlutusIR.Core.Type
, PlutusIR.Core,
PlutusIR
, UntypedPlutusCore
|
natData
|
PlutusCore.StdLib.Data.Nat
|
natK
|
PlutusCore.Examples.Data.Vec
|
natToInteger
|
PlutusCore.StdLib.Data.Nat
|
natTy
|
PlutusCore.StdLib.Data.Nat
|
Natural
|
PlutusPrelude
|
ndbnIndex
|
PlutusCore.DeBruijn
,
UntypedPlutusCore.DeBruijn
,
PlutusCore
, UntypedPlutusCore
|
ndbnString
|
PlutusCore.DeBruijn
,
UntypedPlutusCore.DeBruijn
,
PlutusCore
, UntypedPlutusCore
|
NewBindingsClashWithFreeVariabes
|
PlutusCore.Check.Scoping
|
NewBindingsDiscordWithBoundVariables
|
PlutusCore.Check.Scoping
|
NFData
|
PlutusPrelude
|
nil
|
PlutusCore.StdLib.Data.ScottList
|
noEmitter
|
UntypedPlutusCore.Evaluation.Machine.Cek
|
NoEscape
|
PlutusIR.Compiler
|
NonEmpty
|
PlutusPrelude
|
NonFunctionalApplicationMachineError
|
PlutusCore.Evaluation.Machine.Exception
|
NonPolymorphicInstantiationMachineError
|
PlutusCore.Evaluation.Machine.Exception
|
NonRec
|
PlutusIR.Core.Type
, PlutusIR.Core,
PlutusIR
|
NonStrict
|
PlutusIR.Core.Type
, PlutusIR.Core,
PlutusIR
|
NonWrapUnwrappedMachineError
|
PlutusCore.Evaluation.Machine.Exception
|
nonZeroArg
|
PlutusCore.Default
, PlutusCore.Builtin.Debug
|
noProvenance
|
PlutusIR.Compiler
|
Normalized
|
|
1 (Type/Class)
|
PlutusCore.Core
, PlutusCore.Builtin.Debug,
PlutusCore
,
PlutusIR.Error
|
2 (Data Constructor)
|
PlutusCore.Core
, PlutusCore.Builtin.Debug,
PlutusCore
,
PlutusIR.Error
|
normalizeType
|
PlutusCore.Normalize
|
normalizeTypeM
|
PlutusCore.Normalize.Internal
|
normalizeTypesIn
|
PlutusCore.Normalize
,
PlutusCore
|
normalizeTypesInM
|
PlutusCore.Normalize.Internal
|
normalizeTypesInProgram
|
PlutusCore.Normalize
,
PlutusCore
|
NormalizeTypeT
|
PlutusCore.Normalize.Internal
|
NormCheckError
|
PlutusCore.Error
,
PlutusCore.Check.Normal
,
PlutusCore
|
NormCheckErrorE
|
PlutusCore.Error
,
PlutusCore
|
NotAName
|
PlutusCore.Check.Scoping
|
NotARetainer
|
PlutusIR.Analysis.RetainedSize
|
noThunksInCosting
|
PlutusCore.Builtin
|
NullList
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|