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/trunk/Util/format-comb-sig.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/Util/format-comb-sig.sml

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

revision 2919, Thu Dec 13 20:07:23 2007 UTC revision 2920, Thu Dec 13 21:02:47 2007 UTC
# Line 129  Line 129 
129      val real' : StringCvt.realfmt -> ('a, real) element (* using(Real.fmt f) *)      val real' : StringCvt.realfmt -> ('a, real) element (* using(Real.fmt f) *)
130    
131    (* "polymorphic" elements *)    (* "polymorphic" elements *)
     val list'  : string -> string -> string -> (* l. delim., sep., r. delim. *)  
                  ('a, 'x) element -> ('a, 'x list) element  
132      val list   : ('a, 'x) element -> ('a, 'x list) element (* "[", ", ", "]" *)      val list   : ('a, 'x) element -> ('a, 'x list) element (* "[", ", ", "]" *)
133      val option : ('a, 'x) element -> ('a, 'x option) element      val option : ('a, 'x) element -> ('a, 'x option) element
134        (* Parameterize "list" over delimiters and separator:
135         *   delimiters are arbitrary fragments, the separator must be glue;
136         *   list = list' (text "[") (text ", ") (text "]") *)
137        val list'  : ('b, 'g) fragment -> 'b glue -> ('a, 'b) fragment ->
138                     ('b, 'x) element -> ('a, 'x list -> 'g) fragment
139    
140    (* Generic "gluifier". *)    (* Generic "gluifier". *)
141      val glue : ('a, 't) element -> 't -> 'a glue      val glue : ('a, 't) element -> 't -> 'a glue
# Line 148  Line 151 
151      val tab     :           'a glue     (* tabulator glue *)      val tab     :           'a glue     (* tabulator glue *)
152    
153    (* glue generator constructors *)    (* glue generator constructors *)
     val listg'  : string -> string -> string ->  
                   ('t -> 'a glue) -> ('t list -> 'a glue)  
154      val listg   : ('t -> 'a glue) -> ('t list -> 'a glue)      val listg   : ('t -> 'a glue) -> ('t list -> 'a glue)
155      val optiong : ('t -> 'a glue) -> ('t option -> 'a glue)      val optiong : ('t -> 'a glue) -> ('t option -> 'a glue)
156        val listg'  : ('b, 'g) fragment -> 'b glue -> ('a, 'b) fragment ->
157                      ('t -> 'b glue) -> ('t list -> ('a, 'g) fragment)
158    
159    (* "Places" say which side of a string to pad or trim... *)    (* "Places" say which side of a string to pad or trim... *)
160      type place      type place

Legend:
Removed from v.2919  
changed lines
  Added in v.2920

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