Module voile::syntax::core

Core language, aka well-typed terms.

Modules

ast	Core language syntax definitions.
ast_cons	Constructor functions.
level	Implementations for Level.
neut_iter	Definition and implementations for TraverseNeutral.
pretty
redex	Reduction function (red-ex stands for redducible expression).

Structs

ValInfo

A value with syntax info. This is what should be stored inside of the context.

Enums

Closure	A closure with parameter type explicitly specified.
Neutral	Irreducible because of the presence of generated value.
Val	Non-redex, canonical values.

Constants

TYPE_OMEGA

Traits

RedEx	Reducible expressions.
TraverseNeutral

Type Definitions

CaseSplit	Case-split expression.
Fields	Record fields -- for record values.
TVal	Type values.
Variants	Row variants -- for both variant type and record type.