plutus-core-1.0.0.1: Language library for Plutus Core

Index - S

S PlutusCore.Builtin
safeEncodeBits PlutusCore.Flat
safeFreshName PlutusIR.Compiler.Names
safeFreshTyName PlutusIR.Compiler.Names
SatInt Data.SatInt
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
Scoping PlutusCore.Check.Scoping
scottCons PlutusCore.Examples.Data.Vec
scottHead PlutusCore.Examples.Data.Vec
scottNil PlutusCore.Examples.Data.Vec
scottSumHeadsOr0 PlutusCore.Examples.Data.Vec
scottVec PlutusCore.Examples.Data.Vec
scottVecF PlutusCore.Examples.Data.Vec
second PlutusPrelude
selfData PlutusCore.StdLib.Data.Function
sequ PlutusCore.StdLib.Data.Unit
SerialiseData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
serialisedSize
1 (Function) PlutusCore
2 (Function) UntypedPlutusCore
set PlutusPrelude
sexp Prettyprinter.Custom
Sha2_256 PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
sha2_256 Data.ByteString.Hash
Sha3_256 PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
sha3_256 Data.ByteString.Hash
shad PlutusCore.Examples.Data.Shad
shouldInline PlutusIR.Transform.Inline , UntypedPlutusCore
show PlutusCore
ShowErrorComponent PlutusCore.Error
showErrorComponent PlutusCore.Error
ShowKinds PlutusCore.Pretty
ShowKindsNo 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
SingType PlutusCore.Builtin
Size
1 (Type/Class) PlutusIR.Analysis.RetainedSize
2 (Data Constructor) PlutusIR.Analysis.RetainedSize
size PlutusCore.Examples.Builtins
sizeTerm UntypedPlutusCore.Core , UntypedPlutusCore
SliceByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
SndPair PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
sndPair PlutusCore.StdLib.Data.Pair
soInlineHints UntypedPlutusCore
soMaxSimplifierIterations UntypedPlutusCore
Some
1 (Data Constructor) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Type/Class) 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
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
SourcePos PlutusCore , PlutusIR.Parser , UntypedPlutusCore.Parser
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
StepKind UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
Strict PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
Strictness PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
substNormalizeTypeM PlutusCore.Normalize.Internal
substTyVar PlutusCore.Subst , PlutusIR.Transform.Substitute
substTyVarA PlutusCore.Subst
substVar
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Transform.Substitute
3 (Function) UntypedPlutusCore
substVarA
1 (Function) PlutusCore.Subst
2 (Function) UntypedPlutusCore
SubtractInteger 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
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
symmetricDifference PlutusCore.Check.Scoping