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

StringTable.AtomSet

Contents Set type Operators Query Construction Combine Filter Min/Max Map Fold Conversion List Ordered list Debugging

Synopsis

newtype AtomSet = MkAtomSet { fromAtomSet :: IntSet } (\\) :: AtomSet -> AtomSet -> AtomSet null :: AtomSet -> Bool size :: AtomSet -> Atom member :: Atom -> AtomSet -> Bool notMember :: Atom -> AtomSet -> Bool isSubsetOf :: AtomSet -> AtomSet -> Bool isProperSubsetOf :: AtomSet -> AtomSet -> Bool empty :: AtomSet singleton :: Atom -> AtomSet insert :: Atom -> AtomSet -> AtomSet delete :: Atom -> AtomSet -> AtomSet union :: AtomSet -> AtomSet -> AtomSet unions :: [AtomSet] -> AtomSet difference :: AtomSet -> AtomSet -> AtomSet intersection :: AtomSet -> AtomSet -> AtomSet filter :: (Atom -> Bool) -> AtomSet -> AtomSet partition :: (Atom -> Bool) -> AtomSet -> (AtomSet, AtomSet) split :: Atom -> AtomSet -> (AtomSet, AtomSet) splitMember :: Atom -> AtomSet -> (AtomSet, Bool, AtomSet) findMin :: AtomSet -> Atom findMax :: AtomSet -> Atom deleteMin :: AtomSet -> AtomSet deleteMax :: AtomSet -> AtomSet deleteFindMin :: AtomSet -> (Atom, AtomSet) deleteFindMax :: AtomSet -> (Atom, AtomSet) maxView :: Monad m => AtomSet -> m (Atom, AtomSet) minView :: Monad m => AtomSet -> m (Atom, AtomSet) map :: (Atom -> Atom) -> AtomSet -> AtomSet fold :: (Atom -> b -> b) -> b -> AtomSet -> b elems :: AtomSet -> [Atom] toList :: AtomSet -> [Atom] fromList :: [Atom] -> AtomSet toAscList :: AtomSet -> [Atom] fromAscList :: [Atom] -> AtomSet fromDistinctAscList :: [Atom] -> AtomSet showTree :: AtomSet -> String showTreeWith :: Bool -> Bool -> AtomSet -> String

Set type

newtype AtomSet Source

Constructors MkAtomSet fromAtomSet :: IntSet Instances Eq AtomSet Ord AtomSet

Operators

(\\) :: AtomSet -> AtomSet -> AtomSet Source

Query

null :: AtomSet -> Bool Source

size :: AtomSet -> Atom Source

member :: Atom -> AtomSet -> Bool Source

notMember :: Atom -> AtomSet -> Bool Source

isSubsetOf :: AtomSet -> AtomSet -> Bool Source

isProperSubsetOf :: AtomSet -> AtomSet -> Bool Source

Construction

empty :: AtomSet Source

singleton :: Atom -> AtomSet Source

insert :: Atom -> AtomSet -> AtomSet Source

delete :: Atom -> AtomSet -> AtomSet Source

Combine

union :: AtomSet -> AtomSet -> AtomSet Source

unions :: [AtomSet] -> AtomSet Source

difference :: AtomSet -> AtomSet -> AtomSet Source

intersection :: AtomSet -> AtomSet -> AtomSet Source

Filter

filter :: (Atom -> Bool) -> AtomSet -> AtomSet Source

partition :: (Atom -> Bool) -> AtomSet -> (AtomSet, AtomSet) Source

split :: Atom -> AtomSet -> (AtomSet, AtomSet) Source

splitMember :: Atom -> AtomSet -> (AtomSet, Bool, AtomSet) Source

Min/Max

findMin :: AtomSet -> Atom Source

findMax :: AtomSet -> Atom Source

deleteMin :: AtomSet -> AtomSet Source

deleteMax :: AtomSet -> AtomSet Source

deleteFindMin :: AtomSet -> (Atom, AtomSet) Source

deleteFindMax :: AtomSet -> (Atom, AtomSet) Source

maxView :: Monad m => AtomSet -> m (Atom, AtomSet) Source

minView :: Monad m => AtomSet -> m (Atom, AtomSet) Source

Map

map :: (Atom -> Atom) -> AtomSet -> AtomSet Source

Fold

fold :: (Atom -> b -> b) -> b -> AtomSet -> b Source

Conversion

List

elems :: AtomSet -> [Atom] Source

toList :: AtomSet -> [Atom] Source

fromList :: [Atom] -> AtomSet Source

Ordered list

toAscList :: AtomSet -> [Atom] Source

fromAscList :: [Atom] -> AtomSet Source

fromDistinctAscList :: [Atom] -> AtomSet Source

Debugging

showTree :: AtomSet -> String Source

showTreeWith :: Bool -> Bool -> AtomSet -> String Source

Produced by Haddock version 2.3.0