Module rusttyc::types [−][src]
This mod contains everything related to types and collections of types (type tables).
Content
- Variant is a trait representing the variant of an abstract type that will be inferred during the type checking procedure.
- Constructable: A variant is constructable if it can be transformed into a concrete type, i.e., Constructable::Type.
- TypeTable and PreliminaryTypeTable are mappings from a TcKey to a concrete Constructable::Type or Preliminary type.
Structs
Partial | Partial is a container for a Variant and the least arity a particular instance of this variant currently has. Only used for Variant::meet(). |
Preliminary | Represents a preliminary output of the type check. Mainly used if Variant does not implement Constructable. |
Enums
Arity | Represents the arity of a Variant. |
Traits
Constructable | A type implementing this trait can potentially be transformed into a concrete representation. This transformation can fail. |
Variant | A variant that will be inferred during the type checking procedure. |
Type Definitions
PreliminaryTypeTable | A type table containing a Preliminary type for each TcKey. Mainly used if Variant does not implement Constructable. |
TypeTable | A type table containing the constructed type of the inferred Variant for each TcKey. Requires Variant to implement Constructable. |