The compiler Typerstore api defines access to tracking of values during typechecking.
The Typerstore api is implemented by the typerstore package.
The Typerstore api source code is in src/lib/compiler/front/typer-stuff/modules/typerstore.api.
The above information is manually maintained and may contain errors.
api { Stamppath = Stamppath;
Typerstore = Typerstore;
exception UNBOUND;
empty : Typerstore;
atop : (Typerstore , Typerstore) -> Typerstore;
atop_sp : (Typerstore , Typerstore) -> Typerstore;
mark : ((Void -> stamp::Stamp) , Typerstore) -> Typerstore;
set : (Typerstore , stamp::Stamp
, module_level_declarations::Typerstore_Entry)
-> Typerstore;
to_list : Typerstore
-> List(
((stamp::Stamp , module_level_declarations::Typerstore_Entry))
);
find_entry_by_module_stamp : (Typerstore , stamp::Stamp)
-> module_level_declarations::Typerstore_Entry;
find_package_by_module_stamp : (Typerstore , stamp::Stamp)
-> module_level_declarations::Typechecked_Package;
find_typ_by_module_stamp : (Typerstore , stamp::Stamp)
-> module_level_declarations::Typechecked_Typ;
find_generic_by_module_stamp : (Typerstore , stamp::Stamp)
-> module_level_declarations::Typechecked_Generic;
find_entry_via_stamppath : (Typerstore , Stamppath)
-> module_level_declarations::Typerstore_Entry;
find_typ_via_stamppath : (Typerstore , Stamppath)
-> module_level_declarations::Typechecked_Typ;
find_package_via_stamppath : (Typerstore , Stamppath)
-> module_level_declarations::Typechecked_Package;
find_generic_via_stamppath : (Typerstore , Stamppath)
-> module_level_declarations::Typechecked_Generic;
debugging : Ref(Bool );
};