stringtable-atom-0.0.3: Memoize Strings as Atoms for fast comparison and sorting, with maps and sets Source code Contents Index

StringTable.AtomMap

Contents Map type Operators Query Construction Insertion Delete/Update Combine Union Difference Intersection Traversal Map Fold Conversion Lists Ordered lists Filter Submap Min/Max Debugging

Synopsis

newtype AtomMap a = MkAtomMap { fromAtomMap :: IntMap a } type Key = Atom (!) :: AtomMap a -> Key -> a (\\) :: AtomMap a -> AtomMap b -> AtomMap a size :: AtomMap a -> Int member :: Atom -> AtomMap a -> Bool notMember :: Key -> AtomMap a -> Bool lookup :: Atom -> AtomMap a -> Maybe a findWithDefault :: a -> Key -> AtomMap a -> a empty :: AtomMap a singleton :: Key -> a -> AtomMap a insert :: Atom -> a -> AtomMap a -> AtomMap a insertWith :: (a -> a -> a) -> Atom -> a -> AtomMap a -> AtomMap a insertWithKey :: (Key -> a -> a -> a) -> Key -> a -> AtomMap a -> AtomMap a insertLookupWithKey :: (Key -> a -> a -> a) -> Key -> a -> AtomMap a -> (Maybe a, AtomMap a) delete :: Key -> AtomMap a -> AtomMap a adjust :: (a -> a) -> Key -> AtomMap a -> AtomMap a adjustWithKey :: (Key -> a -> a) -> Key -> AtomMap a -> AtomMap a update :: (a -> Maybe a) -> Key -> AtomMap a -> AtomMap a updateWithKey :: (Key -> a -> Maybe a) -> Key -> AtomMap a -> AtomMap a updateLookupWithKey :: (Key -> a -> Maybe a) -> Key -> AtomMap a -> (Maybe a, AtomMap a) alter :: (Maybe a -> Maybe a) -> Key -> AtomMap a -> AtomMap a union :: AtomMap a -> AtomMap a -> AtomMap a unionWith :: (a -> a -> a) -> AtomMap a -> AtomMap a -> AtomMap a unionWithKey :: (Key -> a -> a -> a) -> AtomMap a -> AtomMap a -> AtomMap a unions :: [AtomMap a] -> AtomMap a unionsWith :: (a -> a -> a) -> [AtomMap a] -> AtomMap a difference :: AtomMap a -> AtomMap b -> AtomMap a differenceWith :: (a -> b -> Maybe a) -> AtomMap a -> AtomMap b -> AtomMap a differenceWithKey :: (Key -> a -> b -> Maybe a) -> AtomMap a -> AtomMap b -> AtomMap a intersection :: AtomMap a -> AtomMap b -> AtomMap a intersectionWith :: (a -> b -> a) -> AtomMap a -> AtomMap b -> AtomMap a intersectionWithKey :: (Key -> a -> b -> a) -> AtomMap a -> AtomMap b -> AtomMap a mapWithKey :: (Atom -> a -> b) -> AtomMap a -> AtomMap b mapAccum :: (a -> b -> (a, c)) -> a -> AtomMap b -> (a, AtomMap c) mapAccumWithKey :: (a -> Key -> b -> (a, c)) -> a -> AtomMap b -> (a, AtomMap c) fold :: (a -> b -> b) -> b -> AtomMap a -> b foldWithKey :: (Key -> a -> b -> b) -> b -> AtomMap a -> b elems :: AtomMap a -> [a] keys :: AtomMap a -> [Atom] keysSet :: AtomMap a -> AtomSet assocs :: AtomMap a -> [(Key, a)] toList :: AtomMap a -> [(Atom, a)] fromList :: [(Atom, a)] -> AtomMap a fromListWith :: (a -> a -> a) -> [(Atom, a)] -> AtomMap a fromListWithKey :: (Key -> a -> a -> a) -> [(Key, a)] -> AtomMap a toAscList :: AtomMap a -> [(Key, a)] fromAscList :: [(Key, a)] -> AtomMap a fromAscListWith :: (a -> a -> a) -> [(Key, a)] -> AtomMap a fromAscListWithKey :: (Key -> a -> a -> a) -> [(Key, a)] -> AtomMap a fromDistinctAscList :: [(Key, a)] -> AtomMap a filter :: (a -> Bool) -> AtomMap a -> AtomMap a filterWithKey :: (Key -> a -> Bool) -> AtomMap a -> AtomMap a partition :: (a -> Bool) -> AtomMap a -> (AtomMap a, AtomMap a) partitionWithKey :: (Key -> a -> Bool) -> AtomMap a -> (AtomMap a, AtomMap a) mapMaybe :: (a -> Maybe b) -> AtomMap a -> AtomMap b mapMaybeWithKey :: (Atom -> a -> Maybe b) -> AtomMap a -> AtomMap b mapEither :: (a -> Either b c) -> AtomMap a -> (AtomMap b, AtomMap c) mapEitherWithKey :: (Key -> a -> Either b c) -> AtomMap a -> (AtomMap b, AtomMap c) split :: Key -> AtomMap a -> (AtomMap a, AtomMap a) splitLookup :: Key -> AtomMap a -> (AtomMap a, Maybe a, AtomMap a) isSubmapOf :: Eq a => AtomMap a -> AtomMap a -> Bool isSubmapOfBy :: (a -> b -> Bool) -> AtomMap a -> AtomMap b -> Bool isProperSubmapOf :: Eq a => AtomMap a -> AtomMap a -> Bool isProperSubmapOfBy :: (a -> b -> Bool) -> AtomMap a -> AtomMap b -> Bool maxView :: Monad m => AtomMap a -> m (a, AtomMap a) minView :: Monad m => AtomMap a -> m (a, AtomMap a) findMin :: AtomMap a -> a findMax :: AtomMap a -> a deleteMin :: AtomMap a -> AtomMap a deleteMax :: AtomMap a -> AtomMap a deleteFindMin :: AtomMap a -> (a, AtomMap a) deleteFindMax :: AtomMap a -> (a, AtomMap a) updateMin :: (a -> a) -> AtomMap a -> AtomMap a updateMax :: (a -> a) -> AtomMap a -> AtomMap a updateMinWithKey :: (Key -> a -> a) -> AtomMap a -> AtomMap a updateMaxWithKey :: (Key -> a -> a) -> AtomMap a -> AtomMap a minViewWithKey :: Monad m => AtomMap a -> m ((Key, a), AtomMap a) maxViewWithKey :: Monad m => AtomMap a -> m ((Key, a), AtomMap a) showTree :: Show a => AtomMap a -> String showTreeWith :: Show a => Bool -> Bool -> AtomMap a -> String

Map type

newtype AtomMap a Source

Constructors MkAtomMap fromAtomMap :: IntMap a Instances Functor AtomMap Eq a => Eq (AtomMap a) Ord a => Ord (AtomMap a) Show a => Show (AtomMap a) Monoid (AtomMap a)

type Key = Atom Source

Operators

(!) :: AtomMap a -> Key -> a Source

(\\) :: AtomMap a -> AtomMap b -> AtomMap a Source

Query

size :: AtomMap a -> Int Source

member :: Atom -> AtomMap a -> Bool Source

notMember :: Key -> AtomMap a -> Bool Source

lookup :: Atom -> AtomMap a -> Maybe a Source

findWithDefault :: a -> Key -> AtomMap a -> a Source

Construction

empty :: AtomMap a Source

singleton :: Key -> a -> AtomMap a Source

Insertion

insert :: Atom -> a -> AtomMap a -> AtomMap a Source

insertWith :: (a -> a -> a) -> Atom -> a -> AtomMap a -> AtomMap a Source

insertWithKey :: (Key -> a -> a -> a) -> Key -> a -> AtomMap a -> AtomMap a Source

insertLookupWithKey :: (Key -> a -> a -> a) -> Key -> a -> AtomMap a -> (Maybe a, AtomMap a) Source

Delete/Update

delete :: Key -> AtomMap a -> AtomMap a Source

adjust :: (a -> a) -> Key -> AtomMap a -> AtomMap a Source

adjustWithKey :: (Key -> a -> a) -> Key -> AtomMap a -> AtomMap a Source

update :: (a -> Maybe a) -> Key -> AtomMap a -> AtomMap a Source

updateWithKey :: (Key -> a -> Maybe a) -> Key -> AtomMap a -> AtomMap a Source

updateLookupWithKey :: (Key -> a -> Maybe a) -> Key -> AtomMap a -> (Maybe a, AtomMap a) Source

alter :: (Maybe a -> Maybe a) -> Key -> AtomMap a -> AtomMap a Source

Combine

Union

union :: AtomMap a -> AtomMap a -> AtomMap a Source

unionWith :: (a -> a -> a) -> AtomMap a -> AtomMap a -> AtomMap a Source

unionWithKey :: (Key -> a -> a -> a) -> AtomMap a -> AtomMap a -> AtomMap a Source

unions :: [AtomMap a] -> AtomMap a Source

unionsWith :: (a -> a -> a) -> [AtomMap a] -> AtomMap a Source

Difference

difference :: AtomMap a -> AtomMap b -> AtomMap a Source

differenceWith :: (a -> b -> Maybe a) -> AtomMap a -> AtomMap b -> AtomMap a Source

differenceWithKey :: (Key -> a -> b -> Maybe a) -> AtomMap a -> AtomMap b -> AtomMap a Source

Intersection

intersection :: AtomMap a -> AtomMap b -> AtomMap a Source

intersectionWith :: (a -> b -> a) -> AtomMap a -> AtomMap b -> AtomMap a Source

intersectionWithKey :: (Key -> a -> b -> a) -> AtomMap a -> AtomMap b -> AtomMap a Source

Traversal

Map

mapWithKey :: (Atom -> a -> b) -> AtomMap a -> AtomMap b Source

mapAccum :: (a -> b -> (a, c)) -> a -> AtomMap b -> (a, AtomMap c) Source

mapAccumWithKey :: (a -> Key -> b -> (a, c)) -> a -> AtomMap b -> (a, AtomMap c) Source

Fold

fold :: (a -> b -> b) -> b -> AtomMap a -> b Source

foldWithKey :: (Key -> a -> b -> b) -> b -> AtomMap a -> b Source

Conversion

elems :: AtomMap a -> [a] Source

keys :: AtomMap a -> [Atom] Source

keysSet :: AtomMap a -> AtomSet Source

assocs :: AtomMap a -> [(Key, a)] Source

Lists

toList :: AtomMap a -> [(Atom, a)] Source

fromList :: [(Atom, a)] -> AtomMap a Source

fromListWith :: (a -> a -> a) -> [(Atom, a)] -> AtomMap a Source

fromListWithKey :: (Key -> a -> a -> a) -> [(Key, a)] -> AtomMap a Source

Ordered lists

toAscList :: AtomMap a -> [(Key, a)] Source

fromAscList :: [(Key, a)] -> AtomMap a Source

fromAscListWith :: (a -> a -> a) -> [(Key, a)] -> AtomMap a Source

fromAscListWithKey :: (Key -> a -> a -> a) -> [(Key, a)] -> AtomMap a Source

fromDistinctAscList :: [(Key, a)] -> AtomMap a Source

Filter

filter :: (a -> Bool) -> AtomMap a -> AtomMap a Source

filterWithKey :: (Key -> a -> Bool) -> AtomMap a -> AtomMap a Source

partition :: (a -> Bool) -> AtomMap a -> (AtomMap a, AtomMap a) Source

partitionWithKey :: (Key -> a -> Bool) -> AtomMap a -> (AtomMap a, AtomMap a) Source

mapMaybe :: (a -> Maybe b) -> AtomMap a -> AtomMap b Source

mapMaybeWithKey :: (Atom -> a -> Maybe b) -> AtomMap a -> AtomMap b Source

mapEither :: (a -> Either b c) -> AtomMap a -> (AtomMap b, AtomMap c) Source

mapEitherWithKey :: (Key -> a -> Either b c) -> AtomMap a -> (AtomMap b, AtomMap c) Source

split :: Key -> AtomMap a -> (AtomMap a, AtomMap a) Source

splitLookup :: Key -> AtomMap a -> (AtomMap a, Maybe a, AtomMap a) Source

Submap

isSubmapOf :: Eq a => AtomMap a -> AtomMap a -> Bool Source

isSubmapOfBy :: (a -> b -> Bool) -> AtomMap a -> AtomMap b -> Bool Source

isProperSubmapOf :: Eq a => AtomMap a -> AtomMap a -> Bool Source

isProperSubmapOfBy :: (a -> b -> Bool) -> AtomMap a -> AtomMap b -> Bool Source

Min/Max

maxView :: Monad m => AtomMap a -> m (a, AtomMap a) Source

minView :: Monad m => AtomMap a -> m (a, AtomMap a) Source

findMin :: AtomMap a -> a Source

findMax :: AtomMap a -> a Source

deleteMin :: AtomMap a -> AtomMap a Source

deleteMax :: AtomMap a -> AtomMap a Source

deleteFindMin :: AtomMap a -> (a, AtomMap a) Source

deleteFindMax :: AtomMap a -> (a, AtomMap a) Source

updateMin :: (a -> a) -> AtomMap a -> AtomMap a Source

updateMax :: (a -> a) -> AtomMap a -> AtomMap a Source

updateMinWithKey :: (Key -> a -> a) -> AtomMap a -> AtomMap a Source

updateMaxWithKey :: (Key -> a -> a) -> AtomMap a -> AtomMap a Source

minViewWithKey :: Monad m => AtomMap a -> m ((Key, a), AtomMap a) Source

maxViewWithKey :: Monad m => AtomMap a -> m ((Key, a), AtomMap a) Source

Debugging

showTree :: Show a => AtomMap a -> String Source

showTreeWith :: Show a => Bool -> Bool -> AtomMap a -> String Source

Produced by Haddock version 2.3.0