xotl.fl
latest
The language
Description of the language
Running programs
The package API and the language AST
xotl.fl
- Language API and AST
The AST of the type expressions
The AST of the expressions language
The internal parser
Implementation of the type checker
Changelog
Roadmap of releases
References
Papers
Dealing with ambiguities due to indentation
Pros and cons of the attribute access application pattern
The empty list
identifier
Implementing basic transformations for pattern matching.
xotl.fl
Docs
»
Index
Edit on GitHub
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
I
|
L
|
N
|
P
|
R
|
S
|
T
|
X
A
Application (class in xotl.fl.ast.expressions)
B
build_lambda() (in module xotl.fl.ast.expressions)
build_substitution() (in module xotl.fl.typecheck)
C
Class (class in xotl.fl.typecheck)
ConcreteLet (class in xotl.fl.ast.pattern)
ConsPattern (class in xotl.fl.ast.pattern)
D
DataCons (class in xotl.fl.ast.adt)
DataType (class in xotl.fl.ast.adt)
E
EMPTY_TYPE_ENV (in module xotl.fl.ast.types)
Equation (class in xotl.fl.ast.pattern)
F
find_free_names() (in module xotl.fl.ast.expressions)
find_tvars() (in module xotl.fl.ast.types)
from_str() (xotl.fl.ast.types.Type class method)
(xotl.fl.ast.types.TypeScheme class method)
from_typeexpr() (xotl.fl.ast.types.TypeScheme class method)
full_typeenv (xotl.fl.ast.adt.DataType attribute)
FunctionTypeCons() (in module xotl.fl.ast.types)
G
get_typeenv_unknowns() (in module xotl.fl.typecheck)
I
Identifier (class in xotl.fl.ast.expressions)
implied_env (xotl.fl.ast.adt.DataType attribute)
Instance (class in xotl.fl.ast.typeclasses)
L
Lambda (class in xotl.fl.ast.expressions)
Let (class in xotl.fl.ast.expressions)
Letrec (class in xotl.fl.ast.expressions)
ListTypeCons() (in module xotl.fl.ast.types)
Literal (class in xotl.fl.ast.expressions)
N
newinstance() (in module xotl.fl.typecheck)
P
parse() (in module xotl.fl)
pattern_matching_env (xotl.fl.ast.adt.DataType attribute)
R
replace_free_occurrences() (in module xotl.fl.ast.expressions)
S
sub_typeenv (class in xotl.fl.typecheck)
T
tcl() (in module xotl.fl.typecheck)
TupleTypeCons() (in module xotl.fl.ast.types)
Type (class in xotl.fl.ast.types)
typecheck() (in module xotl.fl.typecheck)
typecheck_var() (in module xotl.fl.typecheck)
TypeClass (class in xotl.fl.ast.typeclasses)
TypeCons (class in xotl.fl.ast.types)
TypeEnvironment (in module xotl.fl.ast.types)
TypeScheme (class in xotl.fl.ast.types)
TypeVariable (class in xotl.fl.ast.types)
X
xotl.fl (module)
xotl.fl.ast.adt (module)
xotl.fl.ast.expressions (module)
xotl.fl.ast.pattern (module)
xotl.fl.ast.typeclasses (module)
xotl.fl.ast.types (module)
xotl.fl.parsers (module)
xotl.fl.typecheck (module)
Read the Docs
v: latest
Versions
latest
stable
Downloads
html
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.