The SML/NJ Library Reference Manual


The ORD_SET signature


Synopsis

signature ORD_SET

Interface

structure Key : ORD_KEY
type item
type set
val empty : set
val singleton : item -> set
val add : (set * item) -> set
val addList : (set * item list) -> set
val delete : (set * item) -> set
val member : (set * item) -> bool
val isEmpty : set -> bool
val equal : (set * set) -> bool
val isSubset : (set * set) -> bool
val numItems : set -> int
val listItems : set -> item list
val union : (set * set) -> set
val intersection : (set * set) -> set
val difference : (set * set) -> set
val map : (item -> 'b) -> set -> 'b list
val app : (item -> unit) -> set -> unit
val foldl : ((item * 'b) -> 'b) -> 'b -> set -> 'b
val foldr : ((item * 'b) -> 'b) -> 'b -> set -> 'b
val filter : (item -> bool) -> set -> set
val exists : (item -> bool) -> set -> bool
val find : (item -> bool) -> set -> item option

Description

structure Key

type item

type set

empty
explain the use and semantics of empty HERE.

singleton it
explain the use and semantics of singleton HERE.

add (se, it)
explain the use and semantics of add HERE.

addList (se, l)
explain the use and semantics of addList HERE.

delete (se, it)
explain the use and semantics of delete HERE.

member (se, it)
explain the use and semantics of member HERE.

isEmpty se
explain the use and semantics of isEmpty HERE.

equal (se, se2)
explain the use and semantics of equal HERE.

isSubset (se, se2)
explain the use and semantics of isSubset HERE.

numItems se
explain the use and semantics of numItems HERE.

listItems se
explain the use and semantics of listItems HERE.

union (se, se2)
explain the use and semantics of union HERE.

intersection (se, se2)
explain the use and semantics of intersection HERE.

difference (se, se2)
explain the use and semantics of difference HERE.

map f se
explain the use and semantics of map HERE.

app f se
explain the use and semantics of app HERE.

foldl f a se
explain the use and semantics of foldl HERE.

foldr f a se
explain the use and semantics of foldr HERE.

filter f se
explain the use and semantics of filter HERE.

exists f se
explain the use and semantics of exists HERE.

find f se
explain the use and semantics of find HERE.



[ INDEX | TOP | Parent | Root ]

Last Modified May 29, 1996
Copyright © 1996 AT&T Research