plutus-core-1.0.0.1: Language library for Plutus Core

Index - S

SPlutusCore.Builtin
safeEncodeBitsPlutusCore.Flat
safeFreshNamePlutusIR.Compiler.Names
safeFreshTyNamePlutusIR.Compiler.Names
SatIntData.SatInt
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
ScopingPlutusCore.Check.Scoping
scottConsPlutusCore.Examples.Data.Vec
scottHeadPlutusCore.Examples.Data.Vec
scottNilPlutusCore.Examples.Data.Vec
scottSumHeadsOr0PlutusCore.Examples.Data.Vec
scottVecPlutusCore.Examples.Data.Vec
scottVecFPlutusCore.Examples.Data.Vec
secondPlutusPrelude
selfDataPlutusCore.StdLib.Data.Function
sequPlutusCore.StdLib.Data.Unit
SerialiseDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
serialisedSize 
1 (Function)PlutusCore
2 (Function)UntypedPlutusCore
setPlutusPrelude
sexpPrettyprinter.Custom
Sha2_256PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sha2_256Data.ByteString.Hash
Sha3_256PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sha3_256Data.ByteString.Hash
shadPlutusCore.Examples.Data.Shad
shouldInlinePlutusIR.Transform.Inline, UntypedPlutusCore
showPlutusCore
ShowErrorComponentPlutusCore.Error
showErrorComponentPlutusCore.Error
ShowKindsPlutusCore.Pretty
ShowKindsNoPlutusCore.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
SingTypePlutusCore.Builtin
Size 
1 (Type/Class)PlutusIR.Analysis.RetainedSize
2 (Data Constructor)PlutusIR.Analysis.RetainedSize
sizePlutusCore.Examples.Builtins
sizeTermUntypedPlutusCore.Core, UntypedPlutusCore
SliceByteStringPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
SndPairPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sndPairPlutusCore.StdLib.Data.Pair
soInlineHintsUntypedPlutusCore
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
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
SourcePosPlutusCore, PlutusIR.Parser, UntypedPlutusCore.Parser
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
StepKindUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
StrictPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
StrictnessPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
substNormalizeTypeMPlutusCore.Normalize.Internal
substTyVarPlutusCore.Subst, PlutusIR.Transform.Substitute
substTyVarAPlutusCore.Subst
substVar 
1 (Function)PlutusCore.Subst
2 (Function)PlutusIR.Transform.Substitute
3 (Function)UntypedPlutusCore
substVarA 
1 (Function)PlutusCore.Subst
2 (Function)UntypedPlutusCore
SubtractIntegerPlutusCore.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
SumIntegerPlutusCore.Examples.Builtins
sumr 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)PlutusCore.StdLib.Data.List
SwapPlutusCore.Examples.Builtins
SwapElsPlutusCore.Examples.Builtins
symmetricDifferencePlutusCore.Check.Scoping