PreviousUpNext

14.5.13  Inlining_Mapstack

The standard library Inlining_Mapstack api defines access to one of the three core compiler state tables, the other two being Linking_Mapstack and Symbolmapstack.

The Inlining_Mapstack api is implemented by the inlining_mapstack package.

The Inlining_Mapstack api source code is in src/lib/compiler/toplevel/compiler-state/inlining-mapstack.api.

The above information is manually maintained and may contain errors.

api {
    Values_Type  = anormcode_form::Function;
    Picklehash_Mapstack;
    empty : Picklehash_Mapstack;
    get : Picklehash_Mapstack -> picklehash::Picklehash -> Null_Or(Values_Type );
    make : (Null_Or(picklehash::Picklehash ) , Null_Or(Values_Type )) -> Picklehash_Mapstack;
    from_listi : List(((picklehash::Picklehash , Values_Type)) ) -> Picklehash_Mapstack;
    singleton : (picklehash::Picklehash , Values_Type) -> Picklehash_Mapstack;
    bind : (picklehash::Picklehash , Values_Type , Picklehash_Mapstack) -> Picklehash_Mapstack;
    atop : (Picklehash_Mapstack , Picklehash_Mapstack) -> Picklehash_Mapstack;
    remove : (List(picklehash::Picklehash ) , Picklehash_Mapstack) -> Picklehash_Mapstack;
    consolidate : Picklehash_Mapstack -> Picklehash_Mapstack;
    keyvals_list : Picklehash_Mapstack -> List(((picklehash::Picklehash , Values_Type)) );
    Picklehash_To_Anormcode_Mapstack  = Picklehash_Mapstack;
        make_inlining_mapstack :
            (Null_Or(picklehash::Picklehash ) , Null_Or(anormcode_form::Function ))
            ->
            Picklehash_To_Anormcode_Mapstack;};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext