ermine-0.6: Ermine (Index - I)

ermine-0.6: Ermine

Index - I

Id
1 (Type/Class)	Ermine.Syntax.Id
2 (Data Constructor)	Ermine.Syntax.Core
Idfix	Ermine.Syntax.Global
Implicit	Ermine.Syntax.Term
implicit	Ermine.Builtin.Term
inc	Ermine.Monitor.Combinators, Ermine.Monitor
Incremental	Ermine.Monitor.Combinators, Ermine.Monitor
indent	Ermine.Pretty
inferAnnotKind	Ermine.Inference.Kind
inferCore	Ermine.Core.Lint
inferKind	Ermine.Inference.Kind
inferPatternType	Ermine.Inference.Type
inferType	Ermine.Inference.Type
Infix	Ermine.Syntax.Global
inScope	Ermine.Syntax.Scope
Instance
1 (Type/Class)	Ermine.Syntax.Instance
2 (Data Constructor)	Ermine.Syntax.Instance
instanceBody	Ermine.Syntax.Instance
instanceContext	Ermine.Syntax.Instance
instanceHead	Ermine.Syntax.Instance
InstanceId	Ermine.Syntax.Id
instances
1 (Function)	Ermine.Syntax.Module
2 (Function)	Ermine.Constraint.Env
instance_	Ermine.Syntax.Instance
instantiateKinds	Ermine.Syntax.Type
instantiateKindVars	Ermine.Syntax.Type
instantiateVars	Ermine.Syntax.Scope
Int	Ermine.Syntax.Literal
int
1 (Function)	Ermine.Pretty
2 (Function)	Ermine.Builtin.Type
Integer	Ermine.Syntax.Literal
integer
1 (Function)	Ermine.Pretty
2 (Function)	Ermine.Builtin.Type
integerhg	Ermine.Builtin.Global
inth
1 (Function)	Ermine.Builtin.Type
2 (Function)	Ermine.Builtin.Core
inthg	Ermine.Builtin.Global
io	Ermine.Builtin.Type
ioM	Ermine.Unification.Meta
irrefutable	Ermine.Syntax.Pattern
isRowConstraint	Ermine.Syntax.Type
isSignature	Ermine.Pattern.Env
isTrivialConstraint	Ermine.Syntax.Type
item	Ermine.Builtin.Pattern