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

SCM Repository

[smlnj] Diff of /smlnj-lib/branches/rt-transition/PP/src/pp-desc-sig.sml
ViewVC logotype

Diff of /smlnj-lib/branches/rt-transition/PP/src/pp-desc-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 1809, Wed Jul 6 14:35:48 2005 UTC
# Line 1  Line 1 
1  (* pp-desc-sig.sml  (* pp-desc-sig.sml
2   *   *
3   * COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies.   * COPYRIGHT (c) 2005 John Reppy (http://www.cs.uchicago.edu/~jhr)
4     * All rights reserved.
5   *   *
6   * This interface provides a declarative way to specify pretty-printing.   * This interface provides a declarative way to specify pretty-printing.
7   *)   *)
# Line 9  Line 10 
10    sig    sig
11      structure PPS : PP_STREAM      structure PPS : PP_STREAM
12    
13      type pp_desc = PPS.pp_desc      type pp_desc
     type token = PPS.token  
     type style = PPS.style  
     type indent = PPS.indent  
14    
15      val hBox    : pp_desc list -> pp_desc      val hBox    : pp_desc list -> pp_desc
16      val vBox    : (indent * pp_desc list) -> pp_desc      val vBox    : (PPS.indent * pp_desc list) -> pp_desc
17      val hvBox   : (indent * pp_desc list) -> pp_desc      val hvBox   : (PPS.indent * pp_desc list) -> pp_desc
18      val hovBox  : (indent * pp_desc list) -> pp_desc      val hovBox  : (PPS.indent * pp_desc list) -> pp_desc
19      val box     : (indent * pp_desc list) -> pp_desc      val box     : (PPS.indent * pp_desc list) -> pp_desc
20    
21      val token   : token -> pp_desc      val token   : PPS.token -> pp_desc
22      val string  : string -> pp_desc      val string  : string -> pp_desc
23    
24      val style   : (style * pp_desc list) -> pp_desc      val style   : (PPS.style * pp_desc list) -> pp_desc
25    
26      val break   : {nsp : int, offset : int} -> pp_desc      val break   : {nsp : int, offset : int} -> pp_desc
27      val space   : int -> pp_desc      val space   : int -> pp_desc
         (* space n == break{nsp=n, offset=0} *)  
28      val cut     : pp_desc      val cut     : pp_desc
         (* cut == break{nsp=0, offset=0} *)  
29      val newline : pp_desc      val newline : pp_desc
30    
31      val control : (PPS.device -> unit) -> pp_desc      val control : (PPS.device -> unit) -> pp_desc

Legend:
Removed from v.651  
changed lines
  Added in v.1809

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