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_type_by_module_stamp :
(Typerstore , stamp::Stamp) -> module_level_declarations::Typechecked_Type;
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_type_via_stamppath : (Typerstore , Stamppath) -> module_level_declarations::Typechecked_Type;
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 );};