Contents
Index
Util.StrictMap
Synopsis
data
StrictMap
a b =
SM
(FiniteMap a b) (FiniteMap b a)
reverseSM
::
StrictMap
a b ->
StrictMap
b a
emptySM
::
StrictMap
a b
addToSM
:: (Ord a, Ord b) =>
StrictMap
a b -> a -> b ->
StrictMap
a b
delFromFirstSM
:: (Ord a, Ord b) =>
StrictMap
a b -> a ->
StrictMap
a b
delFromSecondSM
:: (Ord a, Ord b) =>
StrictMap
a b -> b ->
StrictMap
a b
lookupFirstSM
:: (Ord a, Ord b) =>
StrictMap
a b -> a -> Maybe b
lookupSecondSM
:: (Ord a, Ord b) =>
StrictMap
a b -> b -> Maybe a
mapSM
:: (Ord a, Ord b) =>
StrictMap
a b -> (a -> b -> b) -> (b -> a -> a) ->
StrictMap
a b
smToList
::
StrictMap
a b -> [(a, b)]
listToSM
:: (Ord a, Ord b) => [(a, b)] ->
StrictMap
a b
Produced by
Haddock
version 0.6