hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.FiniteMaps
Synopsis
data
FiniteMap
key elem
=
Leaf
|
Node
key elem
Int
(
FiniteMap
key elem) (
FiniteMap
key elem)
zeroFM
::
Ord
k =>
FiniteMap
k e
unitFM
::
Ord
k => k -> e ->
FiniteMap
k e
listToFM
::
Ord
k => [(k, e)] ->
FiniteMap
k e
listToCombFM
::
Ord
k => (e -> e -> e) -> [(k, e)] ->
FiniteMap
k e
joinFM
::
Ord
k =>
FiniteMap
k e ->
FiniteMap
k e ->
FiniteMap
k e
joinCombFM
::
Ord
k => (e -> e -> e) ->
FiniteMap
k e ->
FiniteMap
k e ->
FiniteMap
k e
sizeFM
::
Ord
k =>
FiniteMap
k e ->
Int
addToFM
::
Ord
k => k -> e ->
FiniteMap
k e ->
FiniteMap
k e
addToCombFM
::
Ord
k => (e -> e -> e) -> k -> e ->
FiniteMap
k e ->
FiniteMap
k e
delFromFM
::
Ord
k => k ->
FiniteMap
k e ->
FiniteMap
k e
diffFM
::
Ord
k =>
FiniteMap
k e ->
FiniteMap
k e' ->
FiniteMap
k e
intersectFM
::
Ord
k =>
FiniteMap
k e ->
FiniteMap
k e ->
FiniteMap
k e
intersectCombFM
::
Ord
k => (e -> e -> e) ->
FiniteMap
k e ->
FiniteMap
k e ->
FiniteMap
k e
mapFM
::
Ord
k => (k -> e -> e') ->
FiniteMap
k e ->
FiniteMap
k e'
foldFM
::
Ord
k => (k -> e -> a -> a) -> a ->
FiniteMap
k e -> a
filterFM
::
Ord
k => (k -> e ->
Bool
) ->
FiniteMap
k e ->
FiniteMap
k e
lookupFM
::
Ord
k =>
FiniteMap
k e -> k ->
Maybe
e
lookupDftFM
::
Ord
k =>
FiniteMap
k e -> e -> k -> e
toListFM
::
Ord
k =>
FiniteMap
k e -> [(k, e)]
Produced by
Haddock
version 0.6