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 /sml/trunk/src/smlnj-lib/PP/src/pp-desc-sig.sml
ViewVC logotype

Annotation of /sml/trunk/src/smlnj-lib/PP/src/pp-desc-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (view) (download)

1 : monnier 7 (* pp-desc-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies.
4 :     *
5 :     * This interface provides a declarative way to specify pretty-printing.
6 :     *)
7 :    
8 :     signature PP_DESC =
9 :     sig
10 : monnier 411 structure PPS : PP_STREAM
11 : monnier 7
12 : monnier 411 type pp_desc = PPS.pp_desc
13 :     type token = PPS.token
14 :     type style = PPS.style
15 :     type indent = PPS.indent
16 : monnier 7
17 : monnier 411 val hBox : pp_desc list -> pp_desc
18 :     val vBox : (indent * pp_desc list) -> pp_desc
19 :     val hvBox : (indent * pp_desc list) -> pp_desc
20 :     val hovBox : (indent * pp_desc list) -> pp_desc
21 :     val box : (indent * pp_desc list) -> pp_desc
22 : monnier 7
23 : monnier 411 val token : token -> pp_desc
24 :     val string : string -> pp_desc
25 : monnier 7
26 : monnier 411 val style : (style * pp_desc list) -> pp_desc
27 : monnier 7
28 : monnier 411 val break : {nsp : int, offset : int} -> pp_desc
29 :     val space : int -> pp_desc
30 : monnier 7 (* space n == break{nsp=n, offset=0} *)
31 : monnier 411 val cut : pp_desc
32 : monnier 7 (* cut == break{nsp=0, offset=0} *)
33 : monnier 411 val newline : pp_desc
34 : monnier 7
35 : monnier 411 val control : (PPS.device -> unit) -> pp_desc
36 : monnier 7
37 :     end
38 :    

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