[−][src]Module rusttyc::types
This mod contains everything related to types and collections of types (type tables).
Content
Abstract
is a trait representing abstract types that will be inferred during the type checking procedure.- Reification is the process of transforming an abstract type into a concrete one.
This process can be fallible or infallible, represented byReifiable
,TryReifiable
, andReificationErr
. - Generalization is the infallible process of transforming a concrete type into an abstract one represented by
Generalizable
TypeTable
contains a mapping from aTcKey
to anAbstract
or reified type.
Structs
AbstractTypeTable | An implementation of |
ReifiedTypeTable | An implementation of |
Enums
ReificationErr | Indicates that an abstract type could not be reified because it is too general or too restrictive. |
Traits
Abstract | An abstract type that will be inferred during the type checking procedure. |
Generalizable | A type implementing this trait can be |
Reifiable | A type implementing this trait can be |
TryReifiable | A type implementing this trait can potentially be |
TypeTable | A trait representing a type table. |