[−][src]Module gluon_base::types
Re-exports
pub use self::pretty_print::Filter; |
pub use self::pretty_print::TypeFormatter; |
pub use crate::ast::KindedIdent; |
Modules
pretty_print |
Structs
Alias | An alias is wrapper around |
AliasData | |
AliasRef | Data for a type alias. Probably you want to use |
ArcType | A shared type which is atomically reference counted |
ArgIterator | |
ControlVisitation | Wrapper type which allows functions to control how to traverse the members of the type |
DisplayType | |
Field | |
Flags | |
FlagsVisitor | |
ForallScopeIter | |
Generic | FIXME Distinguish generic id's so we only need to compare them by |
ImplicitArgIterator | |
Interner | |
InternerVisitor | |
NullInternerInner | |
RowIterator | |
RowIteratorMut | |
Skolem | |
TypeCache | |
TypeFieldIterator | |
TypeVariable |
Enums
ArgType | |
BuiltinType | All the builtin types of gluon |
Prec | |
SymbolKey | |
Type | The representation of gluon's types. |
Constants
NullInterner |
Traits
AsId | |
PrimitiveEnv | Trait which is a |
Substitution | |
ToDoc | |
TypeAlloc | |
TypeContext | |
TypeContextAlloc | |
TypeEnv | Trait for values which contains typed values which can be refered by name |
TypeExt | |
TypePtr | |
TypeVisitor | |
Walker | |
WalkerMut |
Functions
arg_iter | Constructs an iterator over a functions arguments |
ctor_args | |
fold_type | |
forall_params | |
implicit_arg_iter | Constructs an iterator over a functions arguments |
pretty_print | |
remove_forall | |
remove_forall_mut | |
row_iter | |
row_iter_mut | |
split_app | |
translate_alias | |
translate_type | |
translate_type_with | |
type_field_iter | |
visit_type_opt | |
walk_move_type | Walks through a type calling |
walk_move_type_opt | |
walk_move_types | |
walk_type | |
walk_type_ | |
walk_type_mut |
Type Definitions
AppVec |
|
NullInterner | |
SharedInterner |