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 4197 - (view) (download)

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

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