Package frege.data.Map

Compiled: Wed Dec 05 00:10:06 PST 2012 from source file: ./frege/data/Map.fr

Package Documentation

Table of Content

Imports

Type Aliases

type Size = Int

Data Types

data Map k a

Constructors

Bin Int   k   a   (Map k a)   (Map k a)
Tip

Functions and Values

!! :: 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)]

Functions and Values by Type

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

Valid HTML 4.01 Strict