safeEncodeBits | PlutusCore.Flat |
scalarMul | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
ScopeCheckError | |
1 (Type/Class) | PlutusCore.Check.Scoping |
2 (Data Constructor) | PlutusCore.Check.Scoping |
ScopedName | PlutusCore.Check.Scoping |
ScopedRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
ScopedRenaming | |
1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
scopedRenamingTerms | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
scopedRenamingTypes | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
ScopeEntry | PlutusCore.Check.Scoping |
ScopeError | PlutusCore.Check.Scoping |
ScopeErrorOrInfo | |
1 (Type/Class) | PlutusCore.Check.Scoping |
2 (Data Constructor) | PlutusCore.Check.Scoping |
ScopeInfo | |
1 (Type/Class) | PlutusCore.Check.Scoping |
2 (Data Constructor) | PlutusCore.Check.Scoping |
ScopeType | PlutusCore.Analysis.Definitions |
Scoping | PlutusCore.Check.Scoping |
scottCons | PlutusCore.Examples.Data.Vec |
scottHead | PlutusCore.Examples.Data.Vec |
scottNil | PlutusCore.Examples.Data.Vec |
scottSumHeadsOr0 | PlutusCore.Examples.Data.Vec |
ScottToMetaUnit | PlutusCore.Examples.Builtins |
scottVec | PlutusCore.Examples.Data.Vec |
scottVecF | PlutusCore.Examples.Data.Vec |
second | PlutusPrelude |
selfData | PlutusCore.StdLib.Data.Function |
sequ | PlutusCore.StdLib.Data.Unit |
sequenceDocM | PlutusCore.Pretty |
SerialiseData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
serialisedSize | |
1 (Function) | PlutusCore.Size, PlutusCore |
2 (Function) | UntypedPlutusCore.Size, UntypedPlutusCore |
SerialiseViaFlat | |
1 (Type/Class) | Codec.Extras.SerialiseViaFlat |
2 (Data Constructor) | Codec.Extras.SerialiseViaFlat |
set | PlutusPrelude |
setOfByName | PlutusCore.Name.UniqueSet |
setOfByUnique | PlutusCore.Name.UniqueSet |
sexp | Prettyprinter.Custom |
Sha2_256 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
sha2_256 | PlutusCore.Crypto.Hash |
Sha3_256 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
sha3_256 | PlutusCore.Crypto.Hash |
shad | PlutusCore.Examples.Data.Shad |
ShiftByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
shiftByteString | PlutusCore.Bitwise |
shouldInline | PlutusCore.Annotation, UntypedPlutusCore |
show | PlutusCore |
ShowErrorComponent | PlutusCore.Error |
showErrorComponent | PlutusCore.Error |
ShowKinds | PlutusCore.Pretty |
ShowKindsNo | PlutusCore.Pretty |
ShowKindsNonType | PlutusCore.Pretty |
ShowKindsYes | PlutusCore.Pretty |
ShowPretty | |
1 (Type/Class) | PlutusPrelude |
2 (Data Constructor) | PlutusPrelude |
showText | PlutusPrelude |
SimplifyOpts | |
1 (Type/Class) | UntypedPlutusCore |
2 (Data Constructor) | UntypedPlutusCore |
simplifyProgram | UntypedPlutusCore |
simplifyTerm | UntypedPlutusCore |
SingKind | PlutusCore.Builtin |
SingKindArrow | PlutusCore.Builtin |
singletonByName | PlutusCore.Name.UniqueMap |
singletonName | PlutusCore.Name.UniqueSet |
singletonRose | PlutusCore.Evaluation.Machine.ExMemoryUsage |
SingType | PlutusCore.Builtin |
Size | |
1 (Type/Class) | PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore |
2 (Data Constructor) | PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore |
size | PlutusCore.Examples.Builtins |
sizeProgram | UntypedPlutusCore.Core, UntypedPlutusCore |
sizeTerm | UntypedPlutusCore.Core, UntypedPlutusCore |
SliceByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Slippage | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Slope | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
slope1_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
slope2_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
slope_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
SndPair | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
sndPair | PlutusCore.StdLib.Data.Pair |
soConservativeOpts | UntypedPlutusCore |
soInlineConstants | UntypedPlutusCore |
soInlineHints | UntypedPlutusCore |
Sole | |
1 (Type/Class) | PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty |
soMaxCseIterations | UntypedPlutusCore |
soMaxSimplifierIterations | UntypedPlutusCore |
Some | |
1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
some | PlutusPrelude |
SomeConstant | |
1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
someType | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
SomeTypeIn | |
1 (Type/Class) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
someValue | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
someValueOf | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
someValueType | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
sopType | PlutusCore.Parser |
sourceColumn | PlutusCore.Annotation |
sourceLine | PlutusCore.Annotation |
sourceName | PlutusCore.Annotation |
SourcePos | |
1 (Type/Class) | PlutusCore.Annotation, PlutusCore.Parser, PlutusCore, UntypedPlutusCore.Parser |
2 (Data Constructor) | PlutusCore.Annotation |
splitApplication | UntypedPlutusCore.Core, UntypedPlutusCore |
splitFunTyParts | PlutusCore.Core, PlutusCore.Builtin.Debug |
splitParams | UntypedPlutusCore.Core, UntypedPlutusCore |
splitStructuralOperational | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Evaluation.Machine.Ck, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
SrcSpan | |
1 (Type/Class) | PlutusCore.Annotation, PlutusCore |
2 (Data Constructor) | PlutusCore.Annotation, PlutusCore |
srcSpanECol | PlutusCore.Annotation, PlutusCore |
srcSpanELine | PlutusCore.Annotation, PlutusCore |
srcSpanFile | PlutusCore.Annotation, PlutusCore |
SrcSpans | |
1 (Type/Class) | PlutusCore.Annotation, PlutusCore |
2 (Data Constructor) | PlutusCore.Annotation |
srcSpanSCol | PlutusCore.Annotation, PlutusCore |
srcSpanSLine | PlutusCore.Annotation, PlutusCore |
Starting | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
StayedFreeVariables | PlutusCore.Check.Scoping |
StayedOutOfScopeVariables | PlutusCore.Check.Scoping |
Stays | |
1 (Data Constructor) | PlutusCore.Check.Scoping |
2 (Type/Class) | PlutusCore.Check.Scoping |
StaysFreeVariable | PlutusCore.Check.Scoping |
StaysOutOfScopeVariable | PlutusCore.Check.Scoping |
stdLib | PlutusCore.StdLib.Everything |
Step | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
StepCounter | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
StepF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
StepKind | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
StructuralEvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
substNormalizeTypeM | |
1 (Function) | PlutusCore.Normalize.Internal |
2 (Function) | PlutusCore.TypeCheck.Internal |
substTyVar | PlutusCore.Subst |
substTyVarA | PlutusCore.Subst |
substVar | |
1 (Function) | PlutusCore.Subst |
2 (Function) | UntypedPlutusCore |
substVarA | |
1 (Function) | PlutusCore.Subst |
2 (Function) | UntypedPlutusCore |
SubtractedSizes | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
SubtractInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
succ | PlutusCore.StdLib.Data.Nat |
succInteger | PlutusCore.StdLib.Data.Integer |
succT | PlutusCore.Examples.Data.Vec |
sum | |
1 (Function) | PlutusCore.StdLib.Data.Sum |
2 (Function) | PlutusCore.StdLib.Data.ScottList |
3 (Function) | PlutusCore.StdLib.Data.List |
sumCostStream | PlutusCore.Evaluation.Machine.CostStream |
sumExBudgetStream | PlutusCore.Evaluation.Machine.ExBudgetStream |
SumInteger | PlutusCore.Examples.Builtins |
sumr | |
1 (Function) | PlutusCore.StdLib.Data.ScottList |
2 (Function) | PlutusCore.StdLib.Data.List |
Swap | PlutusCore.Examples.Builtins |
SwapEls | PlutusCore.Examples.Builtins |
symbol | PlutusCore.Parser |
symmetricDifference | PlutusCore.Check.Scoping |