PreviousUpNext

15.3.283  src/lib/compiler/front/typer/print/unparse-junk.api

## unparse-junk.api

# Compiled by:
#     src/lib/compiler/front/typer/typer.sublib

stipulate
    package pp  =  standard_prettyprinter;              # standard_prettyprinter        is from   src/lib/prettyprint/big/src/standard-prettyprinter.pkg
    package sy  =  symbol;                              # symbol                        is from   src/lib/compiler/front/basics/map/symbol.pkg
    package syp =  symbol_path;                         # symbol_path                   is from   src/lib/compiler/front/typer-stuff/basics/symbol-path.pkg
    package ip  =  inverse_path;                        # inverse_path                  is from   src/lib/compiler/front/typer-stuff/basics/symbol-path.pkg
herein
    api Unparse_Junk {
        #
        Break_Style =  ALIGN
                    |  WRAP
                    ;


        open_style_box:  Break_Style
                        -> pp::Prettyprinter
                        -> pp::typ::Left_Margin_Is
                        -> Void;

        unparse_sequence:  pp::Prettyprinter
                               ->
                                {   separator:  pp::Prettyprinter -> Void, 
                                    print_one:  pp::Prettyprinter -> X -> Void,
                                    breakstyle: Break_Style
                                }
                               -> List(X)
                               -> Void;

        unparse_closed_sequence:  pp::Prettyprinter
                                     -> { front:        pp::Prettyprinter -> Void, 
                                          separator:    pp::Prettyprinter -> Void,
                                          back:         pp::Prettyprinter -> Void,
                                          print_one:    pp::Prettyprinter -> X -> Void,
                                          breakstyle:   Break_Style
                                        }
                                     -> List(X)
                                     -> Void;

        unparse_symbol:  pp::Prettyprinter
                             -> sy::Symbol
                             -> Void;

        heap_string:  String -> String;

        unparse_mlstring:  pp::Prettyprinter
                               -> String
                               -> Void;

        unparse_mlstring':  pp::Prettyprinter
                               -> String
                               -> Void;

        unparse_integer:  pp::Prettyprinter
                     -> multiword_int::Int
                     -> Void;

         ppvseq:  pp::Prettyprinter
                  -> Int
                  -> String
                  -> (pp::Prettyprinter -> X -> Void)
                  -> List(X) -> Void;

        ppvlist:  pp::Prettyprinter
                   -> (String,
                      String,
                      (pp::Prettyprinter -> X -> Void),
                      List(X))
                   -> Void;

        ppvlist' : pp::Prettyprinter
                    -> (String,
                       String,
                       (pp::Prettyprinter -> String -> X -> Void),
                       List(X))
                    -> Void;

        unparse_int_path:      pp::Prettyprinter -> List( Int ) -> Void;
        unparse_symbol_path:   pp::Prettyprinter -> syp::Symbol_Path    -> Void;
        unparse_inverse_path:  pp::Prettyprinter -> ip::Inverse_Path    -> Void;
        newline_indent:        pp::Prettyprinter -> Int         -> Void;

        #  needed in PPTypes, unparse_package_language 

        find_path:  (ip::Inverse_Path, (X -> Bool), (syp::Symbol_Path -> X))
                    ->
                    (List(sy::Symbol), Bool);

        unparse_tuple:  pp::Prettyprinter
                            -> (pp::Prettyprinter -> X -> Void)
                            -> List(X)
                            -> Void;

        unparse_int:           pp::Prettyprinter -> Int -> Void;

        newline_apply:  pp::Prettyprinter
                        -> (pp::Prettyprinter -> X -> Void)
                        -> List(X)
                        -> Void; 

        break_apply:  pp::Prettyprinter
                      -> (pp::Prettyprinter -> X -> Void)
                      -> List(X)
                      -> Void; 

        unparse_array:  pp::Prettyprinter
                            -> ((pp::Prettyprinter -> X -> Void),  Rw_Vector(X))
                            -> Void;

    }; #  Api Unparse_Junk 
end;

## Copyright 1989 by AT&T Bell Laboratories 
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext