Compiled: Wed Dec 05 00:10:06 PST 2012 from source file: ./frege/data/Map.fr
Package Documentation
Table of Content
Imports
-
type Size = Int
-
-
data Map k a
-
Constructors
-
Bin Int k a (Map k a) (Map k a)
-
-
Tip
-
-
!! :: Ord k => Map k a -> k -> a
-
-
assocs :: Map k a -> [(k, a)]
-
-
balanceL :: k -> a -> Map k a -> Map k a -> Map k a
-
-
balanceR :: k -> a -> Map k a -> Map k a -> Map k a
-
-
bin :: k -> a -> Map k a -> Map k a -> Map k a
-
-
deleteFindMax :: Map k a -> ((k, a), Map k a)
-
-
deleteFindMin :: Map k a -> ((k, a), Map k a)
-
-
delta :: Int
-
-
elems :: Map k a -> [a]
-
-
empty :: Map k a
-
-
filter :: Ord k => (a->Bool) -> Map k a -> Map k a
-
-
filterWithKey :: Ord k => (k->a->Bool) -> Map k a -> Map k a
-
-
find :: Ord k => k -> Map k a -> a
-
-
foldlStrict :: (a->b->a) -> a -> [b] -> a
-
-
foldlWithKey :: (a->k->b->a) -> a -> Map k b -> a
-
-
foldrWithKey :: (k->a->b->b) -> b -> Map k a -> b
-
-
fromList :: Ord k => [(k, v)] -> Map k v
-
-
fromListWith :: Ord k => (a->a->a) -> [(k, a)] -> Map k a
-
-
fromListWithKey :: Ord k => (k->a->a->a) -> [(k, a)] -> Map k a
-
-
glue :: Map k a -> Map k a -> Map k a
-
-
insert :: Ord k => k -> a -> Map k a -> Map k a
-
-
insertMax :: k -> a -> Map k a -> Map k a
-
-
insertMin :: k -> a -> Map k a -> Map k a
-
-
insertWith :: Ord k => (a->a->a) -> k -> a -> Map k a -> Map k a
-
-
insertWithKey :: Ord k => (k->a->a->a) -> k -> a -> Map k a -> Map k a
-
-
join :: Ord k => k -> a -> Map k a -> Map k a -> Map k a
-
-
keys :: Map k a -> [k]
-
-
lookup :: Ord k => k -> Map k a -> Maybe a
-
-
map :: (a->b) -> Map k a -> Map k b
-
-
mapWithKey :: (k->a->b) -> Map k a -> Map k b
-
-
member :: Ord k => k -> Map k a -> Bool
-
-
merge :: Map k a -> Map k a -> Map k a
-
-
null :: Map k a -> Bool
-
-
ratio :: Int
-
-
singleton :: k -> a -> Map k a
-
-
size :: Map k a -> Int
-
-
toAscList :: Map k a -> [(k, a)]
-
-
toDescList :: Map k a -> [(k, a)]
-
-
toList :: Map k a -> [(k, a)]
-
-
Int
-
delta, ratio
-
Map k a -> Map k a -> Map k a
-
glue, merge
-
Map k a -> ((k, a), Map k a)
-
deleteFindMax, deleteFindMin
-
Map k a -> [(k, a)]
-
assocs, toAscList, toDescList, toList
-
Map k a -> [a]
-
elems
-
Map k a -> [k]
-
keys
-
Map k a -> Bool
-
null
-
Map k a -> Int
-
size
-
(a->b->a) -> a -> [b] -> a
-
foldlStrict
-
Int -> k -> a -> Map k a -> Map k a -> Map k a
-
Map.Bin
-
k -> a -> Map k a -> Map k a -> Map k a
-
balanceL, balanceR, bin
-
k -> a -> Map k a -> Map k a
-
insertMax, insertMin
-
k -> a -> Map k a
-
singleton
-
Ord k => Map k a -> k -> a
-
!!
-
Ord k => (a->a->a) -> [(k, a)] -> Map k a
-
fromListWith
-
Ord k => (a->a->a) -> k -> a -> Map k a -> Map k a
-
insertWith
-
Ord k => (a->Bool) -> Map k a -> Map k a
-
filter
-
Ord k => (k->a->a->a) -> [(k, a)] -> Map k a
-
fromListWithKey
-
Ord k => (k->a->a->a) -> k -> a -> Map k a -> Map k a
-
insertWithKey
-
Ord k => (k->a->Bool) -> Map k a -> Map k a
-
filterWithKey
-
Ord k => [(k, v)] -> Map k v
-
fromList
-
Ord k => k -> Map k a -> Maybe a
-
lookup
-
Ord k => k -> Map k a -> Bool
-
member
-
Ord k => k -> Map k a -> a
-
find
-
Ord k => k -> a -> Map k a -> Map k a -> Map k a
-
join
-
Ord k => k -> a -> Map k a -> Map k a
-
insert
-
Map k a
-
empty, Map.Tip
-
(a->k->b->a) -> a -> Map k b -> a
-
foldlWithKey
-
(a->b) -> Map k a -> Map k b
-
map
-
(k->a->b->b) -> b -> Map k a -> b
-
foldrWithKey
-
(k->a->b) -> Map k a -> Map k b
-
mapWithKey
