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

Parent Directory | 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