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/cm/semant/modname.sig
ViewVC logotype

Annotation of /sml/trunk/src/cm/semant/modname.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 266 - (view) (download) (as text)

1 : blume 266 (*
2 :     * semant/modname.sig:
3 :     * `module name' abstraction and related types
4 :     *
5 :     * Copyright (c) 1999 by Lucent Technologies
6 :     *
7 :     * author: Matthias Blume (blume@cs.princeton.edu)
8 :     *)
9 :     signature MODNAME = sig
10 :    
11 :     type symbol = GenericVC.Symbol.symbol
12 :     type t
13 :     type set
14 :     type path
15 :     eqtype namespace
16 :    
17 :     exception ModuleNameError and PathError
18 :    
19 :     val equal: t * t -> bool
20 :     val namespaceOf: t -> namespace
21 :     val nameOf: t -> string
22 :     val symbolOf: t -> symbol
23 :     val makestring: t -> string
24 :     val ofSymbol: symbol -> t
25 :     val filterSymbols: symbol list -> t list
26 :    
27 :     val STRspace: namespace
28 :     val SIGspace: namespace
29 :     val FCTspace: namespace
30 :     val FSIGspace: namespace
31 :    
32 :     val create: namespace * string -> t
33 :    
34 :     val structMN: string -> t
35 :     val sigMN: string -> t
36 :     val functMN: string -> t
37 :     val funsigMN: string -> t
38 :    
39 :     val pathFirstModule: path -> t
40 :     val restOfPath: path -> path option
41 :     val pathLastModule: path -> t
42 :     val pathOfSymbolList: symbol list -> path
43 :     val mnListOfPath: path -> t list
44 :     val pathOfMNList: t list -> path
45 :     val createPathSML: string list * t -> path
46 :     val nameOfPath: path -> string
47 :    
48 :     val memberOf: set -> t -> bool
49 :     val singleton: t -> set
50 :     val union: set * set -> set
51 :     val intersection: set * set -> set
52 :     val difference: set * set -> set
53 :     val add: t * set -> set
54 :     val addl: t list * set -> set
55 :     val makeset: t list -> set
56 :     val makelist: set -> t list
57 :     val empty: set
58 :     val isEmpty: set -> bool
59 :     val fold: (t * 'a -> 'a) -> 'a -> set -> 'a
60 :     val sameSet: set * set -> bool
61 :     end

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