Contents
Index
ermine-0.6: Ermine
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
:
#
<
=
~
_
All
Index - S
say
Ermine.Pretty
sayLn
Ermine.Pretty
SChar
Ermine.Pretty
Schema
1 (Type/Class)
Ermine.Syntax.Kind
2 (Data Constructor)
Ermine.Syntax.Kind
schema
Ermine.Syntax.Kind
semi
Ermine.Pretty
semiBraces
Ermine.Pretty
semiprune
Ermine.Unification.Meta
SEmpty
Ermine.Pretty
sep
Ermine.Pretty
serializeAlt3
Ermine.Syntax.Pattern
serializeScope3
Ermine.Syntax.Scope
serializeTK
Ermine.Syntax.Type
Server
Ermine.Monitor
Setting
Ermine.Monitor.Combinators
, Ermine.Monitor
settings
Ermine.Console.Completion
SFail
Ermine.Pretty
shapely
Ermine.Builtin.Term
Shared
1 (Type/Class)
Ermine.Unification.Sharing
2 (Data Constructor)
Ermine.Unification.Sharing
sharing
Ermine.Unification.Sharing
SharingT
1 (Type/Class)
Ermine.Unification.Sharing
2 (Data Constructor)
Ermine.Unification.Sharing
Short
Ermine.Syntax.Literal
short
Ermine.Builtin.Type
showIntg
Ermine.Builtin.Global
showLongg
Ermine.Builtin.Global
ShutdownMonitor
1 (Type/Class)
Ermine.Monitor.Exception
2 (Data Constructor)
Ermine.Monitor.Exception
Sig
Ermine.Syntax.Term
signatures
Ermine.Pattern.Env
SigP
Ermine.Syntax.Pattern
sigp
Ermine.Builtin.Pattern
SimpleDoc
Ermine.Pretty
simplifyVia
Ermine.Constraint.Simplification
SLine
Ermine.Pretty
Slot
1 (Data Constructor)
Ermine.Syntax.Core
2 (Data Constructor)
Ermine.Syntax.G
slot
Ermine.Syntax.Core
slots
Ermine.Syntax.Core
softbreak
Ermine.Pretty
softline
Ermine.Pretty
someTypVarBindings
Ermine.Parser.Type
Sort
Ermine.Syntax.Sort
sort
Ermine.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
space
Ermine.Pretty
splitOn
Ermine.Pattern.Matrix
splitScope
Ermine.Syntax.Scope
squote
Ermine.Pretty
squotes
Ermine.Pretty
SSGR
Ermine.Pretty
Stack
Ermine.Syntax.G
standardConstructor
Ermine.Syntax.G
Star
Ermine.Syntax.Kind
star
Ermine.Syntax.Kind
startingKeywords
Ermine.Parser.Keywords
SText
Ermine.Pretty
strict
Ermine.Syntax.Convention
StrictP
Ermine.Syntax.Pattern
strictp
Ermine.Builtin.Pattern
String
Ermine.Syntax.Literal
string
1 (Function)
Ermine.Pretty
2 (Function)
Ermine.Builtin.Type
stringg
Ermine.Builtin.Global
stringh
1 (Function)
Ermine.Builtin.Type
2 (Function)
Ermine.Builtin.Core
stringhg
Ermine.Builtin.Global
sub
Ermine.Monitor.Combinators
, Ermine.Monitor
Super
Ermine.Syntax.Core
super
Ermine.Syntax.Core
superclasses
Ermine.Constraint.Env
supers
Ermine.Syntax.Core