hermit-0.1.8.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Index - S

safeLetSubstPlusRLanguage.HERMIT.Primitive.GHC
safeLetSubstRLanguage.HERMIT.Primitive.GHC
SAST 
1 (Type/Class)Language.HERMIT.Kernel.Scoped
2 (Data Constructor)Language.HERMIT.Kernel.Scoped
saveDefLanguage.HERMIT.Monad
ScopedKernel 
1 (Type/Class)Language.HERMIT.Kernel.Scoped
2 (Data Constructor)Language.HERMIT.Kernel.Scoped
scopedKernelLanguage.HERMIT.Kernel.Scoped
sendDebugMessageLanguage.HERMIT.Monad
serialiseLanguage.HERMIT.Kure
setFailMsgLanguage.HERMIT.Kure
setPrettyLanguage.HERMIT.Optimize
setPrettyOptionsLanguage.HERMIT.Optimize
ShallowLanguage.HERMIT.External
ShellLanguage.HERMIT.External
ShowLanguage.HERMIT.PrettyPrinter.Common
ShowOptionLanguage.HERMIT.PrettyPrinter.Common
showStashTLanguage.HERMIT.Primitive.Unfold
showVarsLanguage.HERMIT.Primitive.GHC
sideEffectRLanguage.HERMIT.Kure
SimplifyLanguage.HERMIT.Plugin
simplifyRLanguage.HERMIT.Primitive.New
SpecConstrLanguage.HERMIT.Plugin
SpecialFontLanguage.HERMIT.PrettyPrinter.Common
specialFontLanguage.HERMIT.PrettyPrinter.Common
specialFontMapLanguage.HERMIT.PrettyPrinter.Common
SpecialisingLanguage.HERMIT.Plugin
specializeRLanguage.HERMIT.Primitive.Unfold
SpecialSymbolLanguage.HERMIT.PrettyPrinter.Common
SrcNameLanguage.HERMIT.Parser
stashFoldAnyRLanguage.HERMIT.Primitive.Fold
stashFoldRLanguage.HERMIT.Primitive.Fold
staticArgLanguage.HERMIT.Primitive.New
StaticArgsLanguage.HERMIT.Plugin
StrictnessLanguage.HERMIT.Plugin
StringBox 
1 (Type/Class)Language.HERMIT.External
2 (Data Constructor)Language.HERMIT.External
StringListBox 
1 (Type/Class)Language.HERMIT.External
2 (Data Constructor)Language.HERMIT.External
substExprRLanguage.HERMIT.Primitive.GHC
substRLanguage.HERMIT.Primitive.GHC
summandIsTypeTLanguage.HERMIT.Kure
swapLanguage.HERMIT.Kure
SyntaxColorLanguage.HERMIT.PrettyPrinter.Common
SyntaxForColorLanguage.HERMIT.PrettyPrinter.Common