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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2980 - (view) (download)

1 : monnier 7 (* pp-desc-sig.sml
2 :     *
3 : jhr 1809 * COPYRIGHT (c) 2005 John Reppy (http://www.cs.uchicago.edu/~jhr)
4 :     * All rights reserved.
5 : monnier 7 *
6 :     * This interface provides a declarative way to specify pretty-printing.
7 :     *)
8 :    
9 :     signature PP_DESC =
10 :     sig
11 : monnier 411 structure PPS : PP_STREAM
12 : monnier 7
13 : jhr 1809 type pp_desc
14 : monnier 7
15 : monnier 411 val hBox : pp_desc list -> pp_desc
16 : jhr 1809 val vBox : (PPS.indent * pp_desc list) -> pp_desc
17 :     val hvBox : (PPS.indent * pp_desc list) -> pp_desc
18 :     val hovBox : (PPS.indent * pp_desc list) -> pp_desc
19 :     val box : (PPS.indent * pp_desc list) -> pp_desc
20 : monnier 7
21 : jhr 1809 val token : PPS.token -> pp_desc
22 : monnier 411 val string : string -> pp_desc
23 : monnier 7
24 : jhr 1809 val style : (PPS.style * pp_desc list) -> pp_desc
25 : monnier 7
26 : monnier 411 val break : {nsp : int, offset : int} -> pp_desc
27 :     val space : int -> pp_desc
28 :     val cut : pp_desc
29 :     val newline : pp_desc
30 : jhr 1830 val nbSpace : int -> pp_desc
31 : monnier 7
32 : monnier 411 val control : (PPS.device -> unit) -> pp_desc
33 : monnier 7
34 : jhr 1830 val description : PPS.stream * pp_desc -> unit
35 :    
36 : monnier 7 end
37 :    

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