Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class IsSet set where Source #
setNull :: set -> Bool Source #
setSize :: set -> Int Source #
setMember :: ElemOf set -> set -> Bool Source #
setSingleton :: ElemOf set -> set Source #
setInsert :: ElemOf set -> set -> set Source #
setDelete :: ElemOf set -> set -> set Source #
setUnion :: set -> set -> set Source #
setDifference :: set -> set -> set Source #
setIntersection :: set -> set -> set Source #
setIsSubsetOf :: set -> set -> Bool Source #
setFoldl :: (b -> ElemOf set -> b) -> b -> set -> b Source #
setFoldr :: (ElemOf set -> b -> b) -> b -> set -> b Source #
setElems :: set -> [ElemOf set] Source #
setFromList :: [ElemOf set] -> set Source #
Instances
setInsertList :: IsSet set => [ElemOf set] -> set -> set Source #
setDeleteList :: IsSet set => [ElemOf set] -> set -> set Source #
class IsMap map where Source #
mapNull :: map a -> Bool Source #
mapSize :: map a -> Int Source #
mapMember :: KeyOf map -> map a -> Bool Source #
mapLookup :: KeyOf map -> map a -> Maybe a Source #
mapFindWithDefault :: a -> KeyOf map -> map a -> a Source #
mapSingleton :: KeyOf map -> a -> map a Source #
mapInsert :: KeyOf map -> a -> map a -> map a Source #
mapInsertWith :: (a -> a -> a) -> KeyOf map -> a -> map a -> map a Source #
mapDelete :: KeyOf map -> map a -> map a Source #
mapAlter :: (Maybe a -> Maybe a) -> KeyOf map -> map a -> map a Source #
mapUnion :: map a -> map a -> map a Source #
mapUnionWithKey :: (KeyOf map -> a -> a -> a) -> map a -> map a -> map a Source #
mapDifference :: map a -> map a -> map a Source #
mapIntersection :: map a -> map a -> map a Source #
mapIsSubmapOf :: Eq a => map a -> map a -> Bool Source #
mapMap :: (a -> b) -> map a -> map b Source #
mapMapWithKey :: (KeyOf map -> a -> b) -> map a -> map b Source #
mapFoldl :: (b -> a -> b) -> b -> map a -> b Source #
mapFoldr :: (a -> b -> b) -> b -> map a -> b Source #
mapFoldlWithKey :: (b -> KeyOf map -> a -> b) -> b -> map a -> b Source #
mapFilter :: (a -> Bool) -> map a -> map a Source #
mapElems :: map a -> [a] Source #
mapKeys :: map a -> [KeyOf map] Source #
mapToList :: map a -> [(KeyOf map, a)] Source #
mapFromList :: [(KeyOf map, a)] -> map a Source #
mapFromListWith :: (a -> a -> a) -> [(KeyOf map, a)] -> map a Source #
Instances
mapInsertList :: IsMap map => [(KeyOf map, a)] -> map a -> map a Source #
mapDeleteList :: IsMap map => [KeyOf map] -> map a -> map a Source #
Instances
Instances
Eq UniqueSet # | |
Ord UniqueSet # | |
Defined in Hoopl.Collections | |
Show UniqueSet # | |
IsSet UniqueSet # | |
Defined in Hoopl.Collections setNull :: UniqueSet -> Bool Source # setSize :: UniqueSet -> Int Source # setMember :: ElemOf UniqueSet -> UniqueSet -> Bool Source # setEmpty :: UniqueSet Source # setSingleton :: ElemOf UniqueSet -> UniqueSet Source # setInsert :: ElemOf UniqueSet -> UniqueSet -> UniqueSet Source # setDelete :: ElemOf UniqueSet -> UniqueSet -> UniqueSet Source # setUnion :: UniqueSet -> UniqueSet -> UniqueSet Source # setDifference :: UniqueSet -> UniqueSet -> UniqueSet Source # setIntersection :: UniqueSet -> UniqueSet -> UniqueSet Source # setIsSubsetOf :: UniqueSet -> UniqueSet -> Bool Source # setFoldl :: (b -> ElemOf UniqueSet -> b) -> b -> UniqueSet -> b Source # setFoldr :: (ElemOf UniqueSet -> b -> b) -> b -> UniqueSet -> b Source # | |
type ElemOf UniqueSet # | |
Defined in Hoopl.Collections |