Module gluon_base::types
[−]
[src]
Module containing types representing gluon
's type system
Structs
Alias | |
AliasData | |
ArcType |
A shared type which is atomically reference counted |
ArgIterator | |
DisplayType | |
Field | |
Generic | |
RcKind |
Reference counted kind type. |
RcType | |
TypeVariable |
Enums
BuiltinType |
All the builtin types of gluon |
Kind |
Kind representation |
Type |
The representation of gluon's types. |
Traits
KindEnv |
Trait for values which contains kinded values which can be refered by name |
PrimitiveEnv |
Trait which is a |
TypeEnv |
Trait for values which contains typed values which can be refered by name |
Functions
arg_iter |
Constructs an iterator over a functions arguments |
display_type | |
fold_type | |
instantiate | |
merge |
Merges two values using |
walk_move_type |
Walks through a type calling |
walk_type |
Type Definitions
TcIdent | |
TcType |