The compiler More_Type_Types api exports various types used within the compiler for representing types in the program being compiled.
The More_Type_Types api is implemented by the more_type_types package.
The More_Type_Types api source code is src/lib/compiler/front/typer/types/more-type-types.api.
The above information is manually maintained and may contain errors.
api {
arrow_stamp : stamp::Stamp;
arrow_type : type_declaration_types::Type;
--> :
(type_declaration_types::Typoid , type_declaration_types::Typoid) -> type_declaration_types::Typoid;
is_arrow_type : type_declaration_types::Typoid -> Bool;
domain : type_declaration_types::Typoid -> type_declaration_types::Typoid;
range : type_declaration_types::Typoid -> type_declaration_types::Typoid;
int_type : type_declaration_types::Type;
int_typoid : type_declaration_types::Typoid;
int1_type : type_declaration_types::Type;
int1_typoid : type_declaration_types::Typoid;
int2_type : type_declaration_types::Type;
int2_typoid : type_declaration_types::Typoid;
multiword_int_type : type_declaration_types::Type;
multiword_int_typoid : type_declaration_types::Typoid;
float64_type : type_declaration_types::Type;
float64_typoid : type_declaration_types::Typoid;
unt_type : type_declaration_types::Type;
unt_typoid : type_declaration_types::Typoid;
unt8_type : type_declaration_types::Type;
unt8_typoid : type_declaration_types::Typoid;
unt1_type : type_declaration_types::Type;
unt1_typoid : type_declaration_types::Typoid;
unt2_type : type_declaration_types::Type;
unt2_typoid : type_declaration_types::Typoid;
string_type : type_declaration_types::Type;
string_typoid : type_declaration_types::Typoid;
char_type : type_declaration_types::Type;
char_typoid : type_declaration_types::Typoid;
exception_type : type_declaration_types::Type;
exception_typoid : type_declaration_types::Typoid;
fate_type : type_declaration_types::Type;
control_fate_type : type_declaration_types::Type;
rw_vector_type : type_declaration_types::Type;
ro_vector_type : type_declaration_types::Type;
chunk_type : type_declaration_types::Type;
c_function_type : type_declaration_types::Type;
un8_rw_vector_type : type_declaration_types::Type;
float64_rw_vector_type : type_declaration_types::Type;
spinlock_type : type_declaration_types::Type;
void_type : type_declaration_types::Type;
void_typoid : type_declaration_types::Typoid;
record_typoid :
List(((type_declaration_types::Label , type_declaration_types::Typoid)) )
->
type_declaration_types::Typoid;
tuple_typoid : List(type_declaration_types::Typoid ) -> type_declaration_types::Typoid;
get_fields : type_declaration_types::Typoid -> Null_Or(List(type_declaration_types::Typoid ) );
bool_signature : varhome::Valcon_Signature;
bool_type : type_declaration_types::Type;
bool_typoid : type_declaration_types::Typoid;
false_valcon : type_declaration_types::Valcon;
true_valcon : type_declaration_types::Valcon;
ref_type : type_declaration_types::Type;
ref_pattern_typoid : type_declaration_types::Typoid;
ref_valcon : type_declaration_types::Valcon;
list_type : type_declaration_types::Type;
nil_valcon : type_declaration_types::Valcon;
cons_valcon : type_declaration_types::Valcon;
unrolled_list_type : type_declaration_types::Type;
unrolled_list_nil_valcon : type_declaration_types::Valcon;
unrolled_list_cons_valcon : type_declaration_types::Valcon;
antiquote_fragment_type : type_declaration_types::Type;
antiquote_valcon : type_declaration_types::Valcon;
quote_valcon : type_declaration_types::Valcon;
suspension_type : type_declaration_types::Type;
suspension_pattern_typoid : type_declaration_types::Typoid;
dollar_valcon : type_declaration_types::Valcon;};