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-fn.sml
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (view) (download)

1 : monnier 7 (* pp-desc-fn.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 : monnier 411 functor PPDescFn (S : sig
9 :     include PP_STREAM
10 :     where type indent = PPDesc.indent
11 :     where type pp_desc = (token, style, device) PPDesc.pp_desc
12 :     end) :> PP_DESC =
13 : monnier 7 struct
14 :    
15 : monnier 411 structure PPS = S
16 :     structure D = PPDesc
17 : monnier 7
18 : monnier 411 type pp_desc = PPS.pp_desc
19 :     type token = PPS.token
20 :     type style = PPS.style
21 :     type indent = PPS.indent
22 : monnier 7
23 : monnier 411 val hBox = D.HBox
24 :     val vBox = D.VBox
25 :     val hvBox = D.HVBox
26 :     val hovBox = D.HOVBox
27 :     val box = D.Box
28 :     val token = D.Token
29 :     val string = D.String
30 :     val style = D.Style
31 :     val break = D.Break
32 :     fun space n = D.Break{nsp = n, offset = 0}
33 :     val cut = D.Break{nsp = 0, offset = 0}
34 :     val newline = D.NewLine
35 :     val control = D.Control
36 : monnier 7
37 :     end;
38 :    

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