Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/compiler/MiscUtil/print/pputil.sig
ViewVC logotype

View of /sml/trunk/src/compiler/MiscUtil/print/pputil.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 245 - (download) (as text) (annotate)
Sat Apr 17 18:47:12 1999 UTC (21 years, 5 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/compiler/MiscUtil/print/pputil.sig
File size: 2291 byte(s)
version 110.16
(* Copyright 1989 by AT&T Bell Laboratories *)

signature PPUTIL =
sig
  val ppSequence : PrettyPrint.ppstream ->
		   {sep: PrettyPrint.ppstream->unit, 
		    pr: PrettyPrint.ppstream->'a->unit,
		    style: PrettyPrint.break_style}
		   -> 'a list -> unit
  val ppClosedSequence : PrettyPrint.ppstream
			 -> {front:PrettyPrint.ppstream->unit, 
                             sep:PrettyPrint.ppstream->unit,
			     back:PrettyPrint.ppstream->unit,
                             pr:PrettyPrint.ppstream->'a->unit,
			     style:PrettyPrint.break_style}
			 -> 'a list -> unit
  val ppSym : PrettyPrint.ppstream -> Symbol.symbol -> unit
  val mlstr : string -> string
  val pp_mlstr : PrettyPrint.ppstream -> string -> unit
  val ppvseq : PrettyPrint.ppstream
               -> int -> string -> (PrettyPrint.ppstream -> 'a -> unit)
               -> 'a list -> unit
  val ppvlist : PrettyPrint.ppstream
               -> string * string * (PrettyPrint.ppstream -> 'a -> unit) * 'a list
               -> unit
  val ppIntPath : PrettyPrint.ppstream -> int list -> unit
  val ppSymPath : PrettyPrint.ppstream -> SymPath.path -> unit
  val ppInvPath : PrettyPrint.ppstream -> InvPath.path -> unit
  val nl_indent : PrettyPrint.ppstream -> int -> unit

  (* needed in PPTypes, PPModules *)
  val findPath : InvPath.path * ('a -> bool) * (SymPath.path -> 'a)
                 -> (Symbol.symbol list * bool)

  val ppTuple: PrettyPrint.ppstream
	       -> (PrettyPrint.ppstream -> 'a -> unit) -> 'a list -> unit

  val ppi: PrettyPrint.ppstream -> int -> unit
  val add_comma : PrettyPrint.ppstream -> unit
  val add_comma_nl : PrettyPrint.ppstream -> unit
  val nl_app : PrettyPrint.ppstream -> (PrettyPrint.ppstream -> 'a -> unit)
               -> 'a list -> unit 
  val br_app : PrettyPrint.ppstream -> (PrettyPrint.ppstream -> 'a -> unit)
               -> 'a list -> unit 
  val en_pp : PrettyPrint.ppstream -> 
              {add_break   : int * int -> unit, 
	       add_newline : unit -> unit,
	       begin_block : PrettyPrint.break_style -> int -> unit,
	       end_block   : unit -> unit, 
	       pps : string -> unit}
  val ppArray : PrettyPrint.ppstream -> 
                (PrettyPrint.ppstream -> 'a -> unit) * 'a array
	        -> unit
end (* signature PPUTIL *)


(*
 * $Log$
 *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0