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/trunk/Controls/control-set-sig.sml
ViewVC logotype

Annotation of /smlnj-lib/trunk/Controls/control-set-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1206 - (view) (download)
Original Path: sml/trunk/src/smlnj-lib/Controls/control-set-sig.sml

1 : jhr 1193 (* control-set-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies
4 :     *)
5 :    
6 :     signature CONTROL_SET =
7 :     sig
8 :    
9 :     type 'a control = 'a Controls.control
10 :     type ('a, 'b) control_set
11 :    
12 :     val new : unit -> ('a, 'b) control_set
13 :    
14 :     val member : (('a, 'b) control_set * Atom.atom) -> bool
15 :     val find : (('a, 'b) control_set * Atom.atom)
16 :     -> {ctl : 'a control, info : 'b} option
17 :     val insert : (('a, 'b) control_set * 'a control * 'b) -> unit
18 :     val remove : (('a, 'b) control_set * Atom.atom) -> unit
19 :     val infoOf : ('a, 'b) control_set -> 'a control -> 'b option
20 :    
21 :     (* list the members; the list is ordered by priority. The listControls'
22 :     * function allows one to specify an obscurity level; controls with equal
23 :     * or higher obscurioty are omitted from the list.
24 :     *)
25 :     val listControls : ('a, 'b) control_set -> {ctl : 'a control, info : 'b} list
26 :     val listControls' : (('a, 'b) control_set * int)
27 :     -> {ctl : 'a control, info : 'b} list
28 :    
29 :     (* apply a function to the controls in a set *)
30 :     val app : ({ctl : 'a control, info : 'b} -> unit)
31 :     -> ('a, 'b) control_set -> unit
32 :    
33 : jhr 1206 (* convert the controls in a set to string controls and create a new set
34 :     * for them.
35 :     *)
36 :     val stringControls : 'a Controls.value_cvt -> ('a, 'b) control_set
37 :     -> (string, 'b) control_set
38 :    
39 : jhr 1193 end

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