ermine-0.6: Ermine

Index - S

sayErmine.Pretty
sayLnErmine.Pretty
SCharErmine.Pretty
Schema 
1 (Type/Class)Ermine.Syntax.Kind
2 (Data Constructor)Ermine.Syntax.Kind
schemaErmine.Syntax.Kind
semiErmine.Pretty
semiBracesErmine.Pretty
semipruneErmine.Unification.Meta
SEmptyErmine.Pretty
sepErmine.Pretty
serializeAlt3Ermine.Syntax.Pattern
serializeScope3Ermine.Syntax.Scope
serializeTKErmine.Syntax.Type
ServerErmine.Monitor
SettingErmine.Monitor.Combinators, Ermine.Monitor
settingsErmine.Console.Completion
SFailErmine.Pretty
shapelyErmine.Builtin.Term
Shared 
1 (Type/Class)Ermine.Unification.Sharing
2 (Data Constructor)Ermine.Unification.Sharing
sharingErmine.Unification.Sharing
SharingT 
1 (Type/Class)Ermine.Unification.Sharing
2 (Data Constructor)Ermine.Unification.Sharing
ShortErmine.Syntax.Literal
shortErmine.Builtin.Type
showIntgErmine.Builtin.Global
showLonggErmine.Builtin.Global
ShutdownMonitor 
1 (Type/Class)Ermine.Monitor.Exception
2 (Data Constructor)Ermine.Monitor.Exception
SigErmine.Syntax.Term
signaturesErmine.Pattern.Env
SigPErmine.Syntax.Pattern
sigpErmine.Builtin.Pattern
SimpleDocErmine.Pretty
simplifyViaErmine.Constraint.Simplification
SLineErmine.Pretty
Slot 
1 (Data Constructor)Ermine.Syntax.Core
2 (Data Constructor)Ermine.Syntax.G
slotErmine.Syntax.Core
slotsErmine.Syntax.Core
softbreakErmine.Pretty
softlineErmine.Pretty
someTypVarBindingsErmine.Parser.Type
SortErmine.Syntax.Sort
sortErmine.Syntax.Sort
Sorted 
1 (Type/Class)Ermine.Syntax.Sort
2 (Data Constructor)Ermine.Syntax.Sort
SortRef 
1 (Type/Class)Ermine.Core.Compiler
2 (Data Constructor)Ermine.Core.Compiler
spaceErmine.Pretty
splitOnErmine.Pattern.Matrix
splitScopeErmine.Syntax.Scope
squoteErmine.Pretty
squotesErmine.Pretty
SSGRErmine.Pretty
StackErmine.Syntax.G
standardConstructorErmine.Syntax.G
StarErmine.Syntax.Kind
starErmine.Syntax.Kind
startingKeywordsErmine.Parser.Keywords
STextErmine.Pretty
strictErmine.Syntax.Convention
StrictPErmine.Syntax.Pattern
strictpErmine.Builtin.Pattern
StringErmine.Syntax.Literal
string 
1 (Function)Ermine.Pretty
2 (Function)Ermine.Builtin.Type
stringgErmine.Builtin.Global
stringh 
1 (Function)Ermine.Builtin.Type
2 (Function)Ermine.Builtin.Core
stringhgErmine.Builtin.Global
subErmine.Monitor.Combinators, Ermine.Monitor
SuperErmine.Syntax.Core
superErmine.Syntax.Core
superclassesErmine.Constraint.Env
supersErmine.Syntax.Core