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