Data.Edison.Assoc.AssocList

This module implements finite maps as simple association lists.

Duplicates are removed conceptually, but not physically. The first occurrence of a given key is the one that is considered to be in the map.

The list type is mildly customized to prevent boxing the pairs.

Type of simple association lists

data FM k a

Instances

Eq k => Functor (FM k)

Methods

fmap :: (a -> b) -> FM k a -> FM k b

(<$) :: a -> FM k b -> FM k a

Eq k => AssocX (FM k) k

Methods

empty :: FM k a

singleton :: k -> a -> FM k a

fromSeq :: Sequence seq => seq (k, a) -> FM k a

insert :: k -> a -> FM k a -> FM k a

insertSeq :: Sequence seq => seq (k, a) -> FM k a -> FM k a

union :: FM k a -> FM k a -> FM k a

unionSeq :: Sequence seq => seq (FM k a) -> FM k a

delete :: k -> FM k a -> FM k a

deleteAll :: k -> FM k a -> FM k a

deleteSeq :: Sequence seq => seq k -> FM k a -> FM k a

null :: FM k a -> Bool

size :: FM k a -> Int

member :: k -> FM k a -> Bool

count :: k -> FM k a -> Int

lookup :: k -> FM k a -> a

lookupM :: Monad rm => k -> FM k a -> rm a

lookupAll :: Sequence seq => k -> FM k a -> seq a

lookupAndDelete :: k -> FM k a -> (a, FM k a)

lookupAndDeleteM :: Monad rm => k -> FM k a -> rm (a, FM k a)

lookupAndDeleteAll :: Sequence seq => k -> FM k a -> (seq a, FM k a)

lookupWithDefault :: a -> k -> FM k a -> a

adjust :: (a -> a) -> k -> FM k a -> FM k a

adjustAll :: (a -> a) -> k -> FM k a -> FM k a

adjustOrInsert :: (a -> a) -> a -> k -> FM k a -> FM k a

adjustAllOrInsert :: (a -> a) -> a -> k -> FM k a -> FM k a

adjustOrDelete :: (a -> Maybe a) -> k -> FM k a -> FM k a

adjustOrDeleteAll :: (a -> Maybe a) -> k -> FM k a -> FM k a

fold :: (a -> b -> b) -> b -> FM k a -> b

fold' :: (a -> b -> b) -> b -> FM k a -> b

fold1 :: (a -> a -> a) -> FM k a -> a

fold1' :: (a -> a -> a) -> FM k a -> a

filter :: (a -> Bool) -> FM k a -> FM k a

partition :: (a -> Bool) -> FM k a -> (FM k a, FM k a)

elements :: Sequence seq => FM k a -> seq a

strict :: FM k a -> FM k a

strictWith :: (a -> b) -> FM k a -> FM k a

structuralInvariant :: FM k a -> Bool

instanceName :: FM k a -> String

Ord k => OrdAssocX (FM k) k

Methods

minView :: Monad rm => FM k a -> rm (a, FM k a)

minElem :: FM k a -> a

deleteMin :: FM k a -> FM k a

unsafeInsertMin :: k -> a -> FM k a -> FM k a

maxView :: Monad rm => FM k a -> rm (a, FM k a)

maxElem :: FM k a -> a

deleteMax :: FM k a -> FM k a

unsafeInsertMax :: k -> a -> FM k a -> FM k a

foldr :: (a -> b -> b) -> b -> FM k a -> b

foldr' :: (a -> b -> b) -> b -> FM k a -> b

foldl :: (b -> a -> b) -> b -> FM k a -> b

foldl' :: (b -> a -> b) -> b -> FM k a -> b

foldr1 :: (a -> a -> a) -> FM k a -> a

foldr1' :: (a -> a -> a) -> FM k a -> a

foldl1 :: (a -> a -> a) -> FM k a -> a

foldl1' :: (a -> a -> a) -> FM k a -> a

unsafeFromOrdSeq :: Sequence seq => seq (k, a) -> FM k a

unsafeAppend :: FM k a -> FM k a -> FM k a

filterLT :: k -> FM k a -> FM k a

filterLE :: k -> FM k a -> FM k a

filterGT :: k -> FM k a -> FM k a

filterGE :: k -> FM k a -> FM k a

partitionLT_GE :: k -> FM k a -> (FM k a, FM k a)

partitionLE_GT :: k -> FM k a -> (FM k a, FM k a)

partitionLT_GT :: k -> FM k a -> (FM k a, FM k a)

Eq k => FiniteMapX (FM k) k

Methods

fromSeqWith :: Sequence seq => (a -> a -> a) -> seq (k, a) -> FM k a

fromSeqWithKey :: Sequence seq => (k -> a -> a -> a) -> seq (k, a) -> FM k a

insertWith :: (a -> a -> a) -> k -> a -> FM k a -> FM k a

insertWithKey :: (k -> a -> a -> a) -> k -> a -> FM k a -> FM k a

insertSeqWith :: Sequence seq => (a -> a -> a) -> seq (k, a) -> FM k a -> FM k a

insertSeqWithKey :: Sequence seq => (k -> a -> a -> a) -> seq (k, a) -> FM k a -> FM k a

unionl :: FM k a -> FM k a -> FM k a

unionr :: FM k a -> FM k a -> FM k a

unionWith :: (a -> a -> a) -> FM k a -> FM k a -> FM k a

unionSeqWith :: Sequence seq => (a -> a -> a) -> seq (FM k a) -> FM k a

intersectionWith :: (a -> b -> c) -> FM k a -> FM k b -> FM k c

difference :: FM k a -> FM k b -> FM k a

properSubset :: FM k a -> FM k b -> Bool

subset :: FM k a -> FM k b -> Bool

submapBy :: (a -> a -> Bool) -> FM k a -> FM k a -> Bool

properSubmapBy :: (a -> a -> Bool) -> FM k a -> FM k a -> Bool

sameMapBy :: (a -> a -> Bool) -> FM k a -> FM k a -> Bool

Ord k => OrdFiniteMapX (FM k) k

Eq k => Assoc (FM k) k

Methods

toSeq :: Sequence seq => FM k a -> seq (k, a)

keys :: Sequence seq => FM k a -> seq k

mapWithKey :: (k -> a -> b) -> FM k a -> FM k b

foldWithKey :: (k -> a -> b -> b) -> b -> FM k a -> b

foldWithKey' :: (k -> a -> b -> b) -> b -> FM k a -> b

filterWithKey :: (k -> a -> Bool) -> FM k a -> FM k a

partitionWithKey :: (k -> a -> Bool) -> FM k a -> (FM k a, FM k a)

Ord k => OrdAssoc (FM k) k

Methods

minViewWithKey :: Monad rm => FM k a -> rm ((k, a), FM k a)

minElemWithKey :: FM k a -> (k, a)

maxViewWithKey :: Monad rm => FM k a -> rm ((k, a), FM k a)

maxElemWithKey :: FM k a -> (k, a)

foldrWithKey :: (k -> a -> b -> b) -> b -> FM k a -> b

foldrWithKey' :: (k -> a -> b -> b) -> b -> FM k a -> b

foldlWithKey :: (b -> k -> a -> b) -> b -> FM k a -> b

foldlWithKey' :: (b -> k -> a -> b) -> b -> FM k a -> b

toOrdSeq :: Sequence seq => FM k a -> seq (k, a)

Eq k => FiniteMap (FM k) k

Methods

unionWithKey :: (k -> a -> a -> a) -> FM k a -> FM k a -> FM k a

unionSeqWithKey :: Sequence seq => (k -> a -> a -> a) -> seq (FM k a) -> FM k a

intersectionWithKey :: (k -> a -> b -> c) -> FM k a -> FM k b -> FM k c

Ord k => OrdFiniteMap (FM k) k

(Eq k, Eq a) => Eq (FM k a)

Methods

(==) :: FM k a -> FM k a -> Bool

(/=) :: FM k a -> FM k a -> Bool

(Ord k, Ord a) => Ord (FM k a)

Methods

compare :: FM k a -> FM k a -> Ordering

(<) :: FM k a -> FM k a -> Bool

(<=) :: FM k a -> FM k a -> Bool

(>) :: FM k a -> FM k a -> Bool

(>=) :: FM k a -> FM k a -> Bool

max :: FM k a -> FM k a -> FM k a

min :: FM k a -> FM k a -> FM k a

(Eq k, Read k, Read a) => Read (FM k a)

Methods

readsPrec :: Int -> ReadS (FM k a)

readList :: ReadS [FM k a]

readPrec :: ReadPrec (FM k a)

readListPrec :: ReadPrec [FM k a]

(Eq k, Show k, Show a) => Show (FM k a)

Methods

showsPrec :: Int -> FM k a -> ShowS

show :: FM k a -> String

showList :: [FM k a] -> ShowS

Eq k => Semigroup (FM k a)

Methods

(<>) :: FM k a -> FM k a -> FM k a

sconcat :: NonEmpty (FM k a) -> FM k a

stimes :: Integral b => b -> FM k a -> FM k a

Eq k => Monoid (FM k a)

Methods

mempty :: FM k a

mappend :: FM k a -> FM k a -> FM k a

mconcat :: [FM k a] -> FM k a

(Eq k, Arbitrary k, Arbitrary a) => Arbitrary (FM k a)

Methods

arbitrary :: Gen (FM k a)

shrink :: FM k a -> [FM k a]

(Eq k, CoArbitrary k, CoArbitrary a) => CoArbitrary (FM k a)

Methods

coarbitrary :: FM k a -> Gen b -> Gen b

AssocX operations

empty :: Eq k => FM k a

singleton :: Eq k => k -> a -> FM k a

fromSeq :: (Eq k, Sequence seq) => seq (k, a) -> FM k a

insert :: Eq k => k -> a -> FM k a -> FM k a

insertSeq :: (Eq k, Sequence seq) => seq (k, a) -> FM k a -> FM k a

union :: Eq k => FM k a -> FM k a -> FM k a

unionSeq :: (Eq k, Sequence seq) => seq (FM k a) -> FM k a

delete :: Eq k => k -> FM k a -> FM k a

deleteAll :: Eq k => k -> FM k a -> FM k a

deleteSeq :: (Eq k, Sequence seq) => seq k -> FM k a -> FM k a

null :: Eq k => FM k a -> Bool

size :: Eq k => FM k a -> Int

member :: Eq k => k -> FM k a -> Bool

count :: Eq k => k -> FM k a -> Int

lookup :: Eq k => k -> FM k a -> a

lookupM :: (Eq k, Monad rm) => k -> FM k a -> rm a

lookupAll :: (Eq k, Sequence seq) => k -> FM k a -> seq a

lookupAndDelete :: Eq k => k -> FM k a -> (a, FM k a)

lookupAndDeleteM :: (Eq k, Monad rm) => k -> FM k a -> rm (a, FM k a)

lookupAndDeleteAll :: (Eq k, Sequence seq) => k -> FM k a -> (seq a, FM k a)

lookupWithDefault :: Eq k => a -> k -> FM k a -> a

adjust :: Eq k => (a -> a) -> k -> FM k a -> FM k a

adjustAll :: Eq k => (a -> a) -> k -> FM k a -> FM k a

adjustOrInsert :: Eq k => (a -> a) -> a -> k -> FM k a -> FM k a

adjustAllOrInsert :: Eq k => (a -> a) -> a -> k -> FM k a -> FM k a

adjustOrDelete :: Eq k => (a -> Maybe a) -> k -> FM k a -> FM k a

adjustOrDeleteAll :: Eq k => (a -> Maybe a) -> k -> FM k a -> FM k a

strict :: FM k a -> FM k a

strictWith :: (a -> b) -> FM k a -> FM k a

map :: Eq k => (a -> b) -> FM k a -> FM k b

fold :: Eq k => (a -> b -> b) -> b -> FM k a -> b

fold' :: Eq k => (a -> b -> b) -> b -> FM k a -> b

fold1 :: Eq k => (a -> a -> a) -> FM k a -> a

fold1' :: Eq k => (a -> a -> a) -> FM k a -> a

filter :: Eq k => (a -> Bool) -> FM k a -> FM k a

partition :: Eq k => (a -> Bool) -> FM k a -> (FM k a, FM k a)

elements :: (Eq k, Sequence seq) => FM k a -> seq a

structuralInvariant :: Eq k => FM k a -> Bool

OrdAssocX operations

minView :: (Ord k, Monad m) => FM k a -> m (a, FM k a)

minElem :: Ord k => FM k a -> a

deleteMin :: Ord k => FM k a -> FM k a

unsafeInsertMin :: Ord k => k -> a -> FM k a -> FM k a

maxView :: (Ord k, Monad m) => FM k a -> m (a, FM k a)

maxElem :: Ord k => FM k a -> a

deleteMax :: Ord k => FM k a -> FM k a

unsafeInsertMax :: Ord k => k -> a -> FM k a -> FM k a

foldr :: Ord k => (a -> b -> b) -> b -> FM k a -> b

foldr' :: Ord k => (a -> b -> b) -> b -> FM k a -> b

foldl :: Ord k => (b -> a -> b) -> b -> FM k a -> b

foldl' :: Ord k => (b -> a -> b) -> b -> FM k a -> b

foldr1 :: Ord k => (a -> a -> a) -> FM k a -> a

foldr1' :: Ord k => (a -> a -> a) -> FM k a -> a

foldl1 :: Ord k => (a -> a -> a) -> FM k a -> a

foldl1' :: Ord k => (a -> a -> a) -> FM k a -> a

unsafeFromOrdSeq :: (Ord k, Sequence seq) => seq (k, a) -> FM k a

unsafeAppend :: Ord k => FM k a -> FM k a -> FM k a

filterLT :: Ord k => k -> FM k a -> FM k a

filterLE :: Ord k => k -> FM k a -> FM k a

filterGT :: Ord k => k -> FM k a -> FM k a

filterGE :: Ord k => k -> FM k a -> FM k a

partitionLT_GE :: Ord k => k -> FM k a -> (FM k a, FM k a)

partitionLE_GT :: Ord k => k -> FM k a -> (FM k a, FM k a)

partitionLT_GT :: Ord k => k -> FM k a -> (FM k a, FM k a)

Assoc operations

toSeq :: (Eq k, Sequence seq) => FM k a -> seq (k, a)

keys :: (Eq k, Sequence seq) => FM k a -> seq k

mapWithKey :: Eq k => (k -> a -> b) -> FM k a -> FM k b

foldWithKey :: Eq k => (k -> a -> b -> b) -> b -> FM k a -> b

foldWithKey' :: Eq k => (k -> a -> b -> b) -> b -> FM k a -> b

filterWithKey :: Eq k => (k -> a -> Bool) -> FM k a -> FM k a

partitionWithKey :: Eq k => (k -> a -> Bool) -> FM k a -> (FM k a, FM k a)

OrdAssoc operations

minViewWithKey :: (Ord k, Monad m) => FM k a -> m ((k, a), FM k a)

minElemWithKey :: Ord k => FM k a -> (k, a)

maxViewWithKey :: (Ord k, Monad m) => FM k a -> m ((k, a), FM k a)

maxElemWithKey :: Ord k => FM k a -> (k, a)

foldrWithKey :: Ord k => (k -> a -> b -> b) -> b -> FM k a -> b

foldrWithKey' :: Ord k => (k -> a -> b -> b) -> b -> FM k a -> b

foldlWithKey :: Ord k => (b -> k -> a -> b) -> b -> FM k a -> b

foldlWithKey' :: Ord k => (b -> k -> a -> b) -> b -> FM k a -> b

toOrdSeq :: (Ord k, Sequence seq) => FM k a -> seq (k, a)

FiniteMapX operations

fromSeqWith :: (Eq k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> FM k a

fromSeqWithKey :: (Eq k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> FM k a

insertWith :: Eq k => (a -> a -> a) -> k -> a -> FM k a -> FM k a

insertWithKey :: Eq k => (k -> a -> a -> a) -> k -> a -> FM k a -> FM k a

insertSeqWith :: (Eq k, Sequence seq) => (a -> a -> a) -> seq (k, a) -> FM k a -> FM k a

insertSeqWithKey :: (Eq k, Sequence seq) => (k -> a -> a -> a) -> seq (k, a) -> FM k a -> FM k a

unionl :: Eq k => FM k a -> FM k a -> FM k a

unionr :: Eq k => FM k a -> FM k a -> FM k a

unionWith :: Eq k => (a -> a -> a) -> FM k a -> FM k a -> FM k a

unionSeqWith :: (Eq k, Sequence seq) => (a -> a -> a) -> seq (FM k a) -> FM k a

intersectionWith :: Eq k => (a -> b -> c) -> FM k a -> FM k b -> FM k c

difference :: Eq k => FM k a -> FM k b -> FM k a

properSubset :: Eq k => FM k a -> FM k b -> Bool

subset :: Eq k => FM k a -> FM k b -> Bool

properSubmapBy :: Eq k => (a -> a -> Bool) -> FM k a -> FM k a -> Bool

submapBy :: Eq k => (a -> a -> Bool) -> FM k a -> FM k a -> Bool

sameMapBy :: Eq k => (a -> a -> Bool) -> FM k a -> FM k a -> Bool

properSubmap :: (Eq k, Eq a) => FM k a -> FM k a -> Bool

submap :: (Eq k, Eq a) => FM k a -> FM k a -> Bool

sameMap :: (Eq k, Eq a) => FM k a -> FM k a -> Bool

FiniteMap operations

unionWithKey :: Eq k => (k -> a -> a -> a) -> FM k a -> FM k a -> FM k a

unionSeqWithKey :: (Eq k, Sequence seq) => (k -> a -> a -> a) -> seq (FM k a) -> FM k a

intersectionWithKey :: Eq k => (k -> a -> b -> c) -> FM k a -> FM k b -> FM k c

Documentation

moduleName :: String