ermine-0.6: Ermine (Index - C)

ermine-0.6: Ermine

Index - C

C	Ermine.Syntax.Convention
cAddLong	Ermine.Builtin.Core
Case
1 (Data Constructor)	Ermine.Syntax.Core
2 (Data Constructor)	Ermine.Syntax.G
3 (Data Constructor)	Ermine.Syntax.Term
CaseLit	Ermine.Syntax.G
case_	Ermine.Syntax.Core
cat	Ermine.Pretty
cFromIntegerToInt	Ermine.Builtin.Core
cFromIntegerToLong	Ermine.Builtin.Core
Char	Ermine.Syntax.Literal
char
1 (Function)	Ermine.Pretty
2 (Function)	Ermine.Builtin.Type
checkConstructorKind	Ermine.Inference.Kind
checkCore	Ermine.Core.Lint
checkDataTypeGroup	Ermine.Inference.Kind
checkDataTypeKind	Ermine.Inference.Kind
checkDataTypeKinds	Ermine.Inference.Kind
checkDistinct	Ermine.Unification.Meta
checkEscapes	Ermine.Unification.Meta
checkKind	Ermine.Inference.Kind
checkSkolems	Ermine.Unification.Meta
chooseNames	Ermine.Pretty
Class
1 (Type/Class)	Ermine.Syntax.Class
2 (Data Constructor)	Ermine.Syntax.Class
class	Ermine.Syntax.Class
classes	Ermine.Constraint.Env
Claused	Ermine.Pattern.Matrix
closedType	Ermine.Syntax.Type
Closure
1 (Type/Class)	Ermine.Interpreter
2 (Data Constructor)	Ermine.Interpreter
closureCode	Ermine.Interpreter
closureEnv	Ermine.Interpreter
CM
1 (Type/Class)	Ermine.Constraint.Env
2 (Data Constructor)	Ermine.Constraint.Env
cmdName	Ermine.Console.Command
colCores	Ermine.Pattern.Matching
colon	Ermine.Pretty
colPaths	Ermine.Pattern.Matching
cols	Ermine.Pattern.Matrix
column	Ermine.Pretty
columns	Ermine.Pretty
comma	Ermine.Pretty
Command
1 (Type/Class)	Ermine.Console.Command
2 (Data Constructor)	Ermine.Console.Command
command	Ermine.Console.Command
commands	Ermine.Console.Command
compile
1 (Function)	Ermine.Core.Compiler
2 (Function)	Ermine.Pattern.Matching
compileBinding
1 (Function)	Ermine.Core.Compiler
2 (Function)	Ermine.Pattern.Matching
compileBranches	Ermine.Core.Compiler
compileCase	Ermine.Pattern.Matching
compileHardCore	Ermine.Core.Compiler
compileLambda	Ermine.Pattern.Matching
Con
1 (Data Constructor)	Ermine.Syntax.Type
2 (Data Constructor)	Ermine.Syntax.G
con	Ermine.Syntax.Type
ConcreteRho	Ermine.Syntax.Type
concreteRho	Ermine.Syntax.Type
ConH	Ermine.Syntax.Pattern
ConP	Ermine.Syntax.Pattern
conp	Ermine.Builtin.Pattern
cons	Ermine.Builtin.Core
consg	Ermine.Builtin.Global
Console	Ermine.Console.State
consoleIds	Ermine.Console.State
ConsoleState
1 (Type/Class)	Ermine.Console.State
2 (Data Constructor)	Ermine.Console.State
consoleState	Ermine.Console.State
constr	Ermine.Parser.Data
Constraint	Ermine.Syntax.Kind
constraint	Ermine.Syntax.Kind
ConstraintEnv
1 (Type/Class)	Ermine.Constraint.Env
2 (Data Constructor)	Ermine.Constraint.Env
constraintEnv	Ermine.Constraint.Env
constrs	Ermine.Syntax.Data
Constructor
1 (Data Constructor)	Ermine.Syntax.Core
2 (Type/Class)	Ermine.Syntax.Constructor
3 (Data Constructor)	Ermine.Syntax.Constructor
constructorGlobal	Ermine.Pattern.Env
constructors	Ermine.Syntax.Data
constructorTag	Ermine.Pattern.Env
context	Ermine.Syntax.Class
Continuation
1 (Type/Class)	Ermine.Syntax.G
2 (Data Constructor)	Ermine.Syntax.G
conv	Ermine.Syntax.Convention
Convention	Ermine.Syntax.Convention
Conventional
1 (Type/Class)	Ermine.Syntax.Convention
2 (Data Constructor)	Ermine.Syntax.Convention
conventions	Ermine.Syntax.Pattern
Core	Ermine.Syntax.Core
core	Ermine.Syntax.Core
Cored	Ermine.Syntax.Core
Counter
1 (Type/Class)	Ermine.Monitor
2 (Data Constructor)	Ermine.Monitor
counter	Ermine.Monitor
counterM	Ermine.Monitor
cPutStrLn	Ermine.Builtin.Core
cShowInt	Ermine.Builtin.Core
cShowLong	Ermine.Builtin.Core
cShowLongHash	Ermine.Builtin.Core
Cv	Ermine.Constraint.Env
cyan	Ermine.Pretty