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

BuiltinType	All the builtin types of gluon
Kind	Kind representation
Type	The representation of gluon's types.

KindEnv	Trait for values which contains kinded values which can be refered by name
PrimitiveEnv	Trait which is a `TypeEnv` which also provides access to the type representation of some primitive types
TypeEnv	Trait for values which contains typed values which can be refered by name

arg_iter	Constructs an iterator over a functions arguments
display_type
fold_type
instantiate
merge	Merges two values using `f` if either or both them is `Some(..)`. If both are `None`, `None` is returned.
walk_move_type	Walks through a type calling `f` on each inner type. If `f` return `Some` the type is replaced.
walk_type

TcIdent
TcType