Documentation

unionLists :: (Outputable a, Eq a) => [a] -> [a] -> [a]Source

minusList :: Eq a => [a] -> [a] -> [a]Source

insertList :: Eq a => a -> [a] -> [a]Source

type Assoc a b = [(a, b)]Source

assoc :: Eq a => String -> Assoc a b -> a -> bSource

assocMaybe :: Eq a => Assoc a b -> a -> Maybe bSource

assocUsing :: (a -> a -> Bool) -> String -> Assoc a b -> a -> bSource

assocDefault :: Eq a => b -> Assoc a b -> a -> bSource

assocDefaultUsing :: (a -> a -> Bool) -> b -> Assoc a b -> a -> bSource

emptyAssoc :: Assoc a bSource

unitAssoc :: a -> b -> Assoc a bSource

mapAssoc :: (b -> c) -> Assoc a b -> Assoc a cSource

plusAssoc_C :: Eq a => (b -> b -> b) -> Assoc a b -> Assoc a b -> Assoc a bSource

extendAssoc_C :: Eq a => (b -> b -> b) -> Assoc a b -> (a, b) -> Assoc a bSource

mkLookupFun :: (key -> key -> Bool) -> [(key, val)] -> key -> Maybe valSource

findInList :: (a -> Bool) -> [a] -> Maybe aSource

assocElts :: Assoc a b -> [(a, b)]Source

hasNoDups :: Eq a => [a] -> BoolSource

runs :: (a -> a -> Bool) -> [a] -> [[a]]Source

removeDups :: (a -> a -> Ordering) -> [a] -> ([a], [[a]])Source

findDupsEq :: (a -> a -> Bool) -> [a] -> [[a]]Source

equivClasses :: (a -> a -> Ordering) -> [a] -> [[a]]Source

equivClassesByUniq :: (a -> Unique) -> [a] -> [[a]]Source

removeRedundant :: (a -> a -> Bool) -> [a] -> [a]Source