plutus-core-1.36.0.0: Language library for Plutus Core

Index - S

safeEncodeBitsPlutusCore.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
ScopedNamePlutusCore.Check.Scoping
ScopedRenameTPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
ScopedRenaming 
1 (Type/Class)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal
2 (Data Constructor)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal
scopedRenamingTermsPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
scopedRenamingTypesPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
ScopeEntryPlutusCore.Check.Scoping
ScopeErrorPlutusCore.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
ScopeTypePlutusCore.Analysis.Definitions
ScopingPlutusCore.Check.Scoping
scottConsPlutusCore.Examples.Data.Vec
scottHeadPlutusCore.Examples.Data.Vec
scottNilPlutusCore.Examples.Data.Vec
scottSumHeadsOr0PlutusCore.Examples.Data.Vec
ScottToMetaUnitPlutusCore.Examples.Builtins
scottVecPlutusCore.Examples.Data.Vec
scottVecFPlutusCore.Examples.Data.Vec
secondPlutusPrelude
selfDataPlutusCore.StdLib.Data.Function
sequPlutusCore.StdLib.Data.Unit
sequenceDocMPlutusCore.Pretty
SerialiseDataPlutusCore.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
setPlutusPrelude
setOfByNamePlutusCore.Name.UniqueSet
setOfByUniquePlutusCore.Name.UniqueSet
sexpPrettyprinter.Custom
Sha2_256PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sha2_256PlutusCore.Crypto.Hash
Sha3_256PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sha3_256PlutusCore.Crypto.Hash
shadPlutusCore.Examples.Data.Shad
ShiftByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
shiftByteStringPlutusCore.Bitwise
shouldInlinePlutusCore.Annotation, UntypedPlutusCore
showPlutusCore
ShowErrorComponentPlutusCore.Error
showErrorComponentPlutusCore.Error
ShowKindsPlutusCore.Pretty
ShowKindsNoPlutusCore.Pretty
ShowKindsNonTypePlutusCore.Pretty
ShowKindsYesPlutusCore.Pretty
ShowPretty 
1 (Type/Class)PlutusPrelude
2 (Data Constructor)PlutusPrelude
showTextPlutusPrelude
SimplifyOpts 
1 (Type/Class)UntypedPlutusCore
2 (Data Constructor)UntypedPlutusCore
simplifyProgramUntypedPlutusCore
simplifyTermUntypedPlutusCore
SingKindPlutusCore.Builtin
SingKindArrowPlutusCore.Builtin
singletonByNamePlutusCore.Name.UniqueMap
singletonNamePlutusCore.Name.UniqueSet
singletonRosePlutusCore.Evaluation.Machine.ExMemoryUsage
SingTypePlutusCore.Builtin
Size 
1 (Type/Class)PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore
2 (Data Constructor)PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore
sizePlutusCore.Examples.Builtins
sizeProgramUntypedPlutusCore.Core, UntypedPlutusCore
sizeTermUntypedPlutusCore.Core, UntypedPlutusCore
SliceByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
SlippageUntypedPlutusCore.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
SndPairPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sndPairPlutusCore.StdLib.Data.Pair
soConservativeOptsUntypedPlutusCore
soInlineConstantsUntypedPlutusCore
soInlineHintsUntypedPlutusCore
Sole 
1 (Type/Class)PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty
soMaxCseIterationsUntypedPlutusCore
soMaxSimplifierIterationsUntypedPlutusCore
Some 
1 (Type/Class)Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
somePlutusPrelude
SomeConstant 
1 (Type/Class)PlutusCore.Builtin, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusCore.Builtin, PlutusCore.Builtin.Debug
someTypeUniverse, 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
someValueUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValueOfUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValueTypeUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sopTypePlutusCore.Parser
sourceColumnPlutusCore.Annotation
sourceLinePlutusCore.Annotation
sourceNamePlutusCore.Annotation
SourcePos 
1 (Type/Class)PlutusCore.Annotation, PlutusCore.Parser, PlutusCore, UntypedPlutusCore.Parser
2 (Data Constructor)PlutusCore.Annotation
splitApplicationUntypedPlutusCore.Core, UntypedPlutusCore
splitFunTyPartsPlutusCore.Core, PlutusCore.Builtin.Debug
splitParamsUntypedPlutusCore.Core, UntypedPlutusCore
splitStructuralOperationalPlutusCore.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
srcSpanEColPlutusCore.Annotation, PlutusCore
srcSpanELinePlutusCore.Annotation, PlutusCore
srcSpanFilePlutusCore.Annotation, PlutusCore
SrcSpans 
1 (Type/Class)PlutusCore.Annotation, PlutusCore
2 (Data Constructor)PlutusCore.Annotation
srcSpanSColPlutusCore.Annotation, PlutusCore
srcSpanSLinePlutusCore.Annotation, PlutusCore
StartingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
StayedFreeVariablesPlutusCore.Check.Scoping
StayedOutOfScopeVariablesPlutusCore.Check.Scoping
Stays 
1 (Data Constructor)PlutusCore.Check.Scoping
2 (Type/Class)PlutusCore.Check.Scoping
StaysFreeVariablePlutusCore.Check.Scoping
StaysOutOfScopeVariablePlutusCore.Check.Scoping
stdLibPlutusCore.StdLib.Everything
StepUntypedPlutusCore.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
StepFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
StepKindUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
StructuralEvaluationErrorPlutusCore.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
substTyVarPlutusCore.Subst
substTyVarAPlutusCore.Subst
substVar 
1 (Function)PlutusCore.Subst
2 (Function)UntypedPlutusCore
substVarA 
1 (Function)PlutusCore.Subst
2 (Function)UntypedPlutusCore
SubtractedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
SubtractIntegerPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
succPlutusCore.StdLib.Data.Nat
succIntegerPlutusCore.StdLib.Data.Integer
succTPlutusCore.Examples.Data.Vec
sum 
1 (Function)PlutusCore.StdLib.Data.Sum
2 (Function)PlutusCore.StdLib.Data.ScottList
3 (Function)PlutusCore.StdLib.Data.List
sumCostStreamPlutusCore.Evaluation.Machine.CostStream
sumExBudgetStreamPlutusCore.Evaluation.Machine.ExBudgetStream
SumIntegerPlutusCore.Examples.Builtins
sumr 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)PlutusCore.StdLib.Data.List
SwapPlutusCore.Examples.Builtins
SwapElsPlutusCore.Examples.Builtins
symbolPlutusCore.Parser
symmetricDifferencePlutusCore.Check.Scoping