The compiler Type_Types api exports various types used within the compiler for representing types in the program being compiled.
The Type_Types api is implemented by the type_types package.
The Type_Types api source code is src/lib/compiler/front/typer/types/type-types.api.
Nomenclature: ’typ’ is jargon for “type constructor”, which may be informally understood as meaning just “type”.
The above information is manually maintained and may contain errors.
api {
arrow_stamp : stamp::Stamp;
arrow_typ : types::Typ;
--> : (types::Type , types::Type) -> types::Type;
is_arrow_type : types::Type -> Bool;
domain : types::Type -> types::Type;
range : types::Type -> types::Type;
int_typ : types::Typ;
int_type : types::Type;
int1_typ : types::Typ;
int1_type : types::Type;
int2_typ : types::Typ;
int2_type : types::Type;
multiword_int_typ : types::Typ;
multiword_int_type : types::Type;
float64_typ : types::Typ;
float64_type : types::Type;
unt_typ : types::Typ;
unt_type : types::Type;
unt8_typ : types::Typ;
unt8_type : types::Type;
unt1_typ : types::Typ;
unt1_type : types::Type;
unt2_typ : types::Typ;
unt2_type : types::Type;
string_typ : types::Typ;
string_type : types::Type;
char_typ : types::Typ;
char_type : types::Type;
exception_typ : types::Typ;
exception_type : types::Type;
fate_typ : types::Typ;
control_fate_typ : types::Typ;
rw_vector_typ : types::Typ;
vector_typ : types::Typ;
chunk_typ : types::Typ;
c_function_typ : types::Typ;
un8_rw_vector_typ : types::Typ;
float64_rw_vector_typ : types::Typ;
spinlock_typ : types::Typ;
void_typ : types::Typ;
void_type : types::Type;
record_type : List(((types::Label , types::Type)) ) -> types::Type;
tuple_type : List(types::Type ) -> types::Type;
get_fields : types::Type -> Null_Or(List(types::Type ) );
bool_signature : varhome::Valcon_Signature;
bool_typ : types::Typ;
bool_type : types::Type;
false_dcon : types::Valcon;
true_dcon : types::Valcon;
ref_typ : types::Typ;
ref_pattern_type : types::Type;
ref_dcon : types::Valcon;
list_typ : types::Typ;
nil_dcon : types::Valcon;
cons_dcon : types::Valcon;
ulist_typ : types::Typ;
unil_dcon : types::Valcon;
ucons_dcon : types::Valcon;
frag_typ : types::Typ;
antiquotedcon : types::Valcon;
quotedcon : types::Valcon;
susp_typ : types::Typ;
susp_pattern_type : types::Type;
dollar_dcon : types::Valcon;
};