hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Common.Lib.SimpleMap
Synopsis
data
FiniteMap
a b
=
Empty
|
Node
(
FiniteMap
a b) (a, b) (
FiniteMap
a b)
emptyFM
::
Ord
a =>
FiniteMap
a b
addToFM
::
Ord
a =>
FiniteMap
a b -> a -> b ->
FiniteMap
a b
delFromFM
::
Ord
a =>
FiniteMap
a b -> a ->
FiniteMap
a b
updFM
::
Ord
a =>
FiniteMap
a b -> a -> (b -> b) ->
FiniteMap
a b
accumFM
::
Ord
a =>
FiniteMap
a b -> a -> (b -> b -> b) -> b ->
FiniteMap
a b
splitFM
::
Ord
a =>
FiniteMap
a b -> a ->
Maybe
(
FiniteMap
a b, (a, b))
isEmptyFM
::
Ord
a =>
FiniteMap
a b ->
Bool
sizeFM
::
Ord
a =>
FiniteMap
a b ->
Int
lookupFM
::
Ord
a =>
FiniteMap
a b -> a ->
Maybe
b
elemFM
::
Ord
a =>
FiniteMap
a b -> a ->
Bool
rangeFM
::
Ord
a =>
FiniteMap
a b -> a -> a -> [b]
minFM
::
Ord
a =>
FiniteMap
a b ->
Maybe
(a, b)
maxFM
::
Ord
a =>
FiniteMap
a b ->
Maybe
(a, b)
predFM
::
Ord
a =>
FiniteMap
a b -> a ->
Maybe
(a, b)
succFM
::
Ord
a =>
FiniteMap
a b -> a ->
Maybe
(a, b)
splitMinFM
::
Ord
a =>
FiniteMap
a b ->
Maybe
(
FiniteMap
a b, (a, b))
fmToList
::
Ord
a =>
FiniteMap
a b -> [(a, b)]
Produced by
Haddock
version 0.6