Hoopl.Collections

ghc-8.4.4: The GHC API

Safe Haskell | Safe
Language | Haskell2010

Hoopl.Collections

# Documentation

class IsSet set where #

Minimal complete definition

setNull, setSize, setMember, setEmpty, setSingleton, setInsert, setDelete, setUnion, setDifference, setIntersection, setIsSubsetOf, setFold, setElems, setFromList

Associated Types

type ElemOf set #

Methods

setNull :: set -> Bool #

setSize :: set -> Int #

setMember :: ElemOf set -> set -> Bool #

setEmpty :: set #

setSingleton :: ElemOf set -> set #

setInsert :: ElemOf set -> set -> set #

setDelete :: ElemOf set -> set -> set #

setUnion :: set -> set -> set #

setDifference :: set -> set -> set #

setIntersection :: set -> set -> set #

setIsSubsetOf :: set -> set -> Bool #

setFold :: (ElemOf set -> b -> b) -> b -> set -> b #

setElems :: set -> [ElemOf set] #

setFromList :: [ElemOf set] -> set #

Instances

IsSet UniqueSet # |
Instance details Defined in Hoopl.Unique Associated Types type ElemOf UniqueSet :: * # Methods setNull :: UniqueSet -> Bool # setSize :: UniqueSet -> Int # setMember :: ElemOf UniqueSet -> UniqueSet -> Bool # setEmpty :: UniqueSet # setSingleton :: ElemOf UniqueSet -> UniqueSet # setInsert :: ElemOf UniqueSet -> UniqueSet -> UniqueSet # setDelete :: ElemOf UniqueSet -> UniqueSet -> UniqueSet # setUnion :: UniqueSet -> UniqueSet -> UniqueSet # setDifference :: UniqueSet -> UniqueSet -> UniqueSet # setIntersection :: UniqueSet -> UniqueSet -> UniqueSet # setIsSubsetOf :: UniqueSet -> UniqueSet -> Bool # setFold :: (ElemOf UniqueSet -> b -> b) -> b -> UniqueSet -> b # setElems :: UniqueSet -> [ElemOf UniqueSet] # setFromList :: [ElemOf UniqueSet] -> UniqueSet #
IsSet LabelSet # |
Instance details Defined in Hoopl.Label Associated Types type ElemOf LabelSet :: * # Methods setNull :: LabelSet -> Bool # setSize :: LabelSet -> Int # setMember :: ElemOf LabelSet -> LabelSet -> Bool # setEmpty :: LabelSet # setSingleton :: ElemOf LabelSet -> LabelSet # setInsert :: ElemOf LabelSet -> LabelSet -> LabelSet # setDelete :: ElemOf LabelSet -> LabelSet -> LabelSet # setUnion :: LabelSet -> LabelSet -> LabelSet # setDifference :: LabelSet -> LabelSet -> LabelSet # setIntersection :: LabelSet -> LabelSet -> LabelSet # setIsSubsetOf :: LabelSet -> LabelSet -> Bool # setFold :: (ElemOf LabelSet -> b -> b) -> b -> LabelSet -> b # setElems :: LabelSet -> [ElemOf LabelSet] # setFromList :: [ElemOf LabelSet] -> LabelSet #

setInsertList :: IsSet set => [ElemOf set] -> set -> set #

setDeleteList :: IsSet set => [ElemOf set] -> set -> set #

setUnions :: IsSet set => [set] -> set #

class IsMap map where #

Minimal complete definition

mapNull, mapSize, mapMember, mapLookup, mapFindWithDefault, mapEmpty, mapSingleton, mapInsert, mapInsertWith, mapDelete, mapUnion, mapUnionWithKey, mapDifference, mapIntersection, mapIsSubmapOf, mapMap, mapMapWithKey, mapFold, mapFoldWithKey, mapFilter, mapElems, mapKeys, mapToList, mapFromList, mapFromListWith

Associated Types

type KeyOf map #

Methods

mapNull :: map a -> Bool #

mapSize :: map a -> Int #

mapMember :: KeyOf map -> map a -> Bool #

mapLookup :: KeyOf map -> map a -> Maybe a #

mapFindWithDefault :: a -> KeyOf map -> map a -> a #

mapEmpty :: map a #

mapSingleton :: KeyOf map -> a -> map a #

mapInsert :: KeyOf map -> a -> map a -> map a #

mapInsertWith :: (a -> a -> a) -> KeyOf map -> a -> map a -> map a #

mapDelete :: KeyOf map -> map a -> map a #

mapUnion :: map a -> map a -> map a #

mapUnionWithKey :: (KeyOf map -> a -> a -> a) -> map a -> map a -> map a #

mapDifference :: map a -> map a -> map a #

mapIntersection :: map a -> map a -> map a #

mapIsSubmapOf :: Eq a => map a -> map a -> Bool #

mapMap :: (a -> b) -> map a -> map b #

mapMapWithKey :: (KeyOf map -> a -> b) -> map a -> map b #

mapFold :: (a -> b -> b) -> b -> map a -> b #

mapFoldWithKey :: (KeyOf map -> a -> b -> b) -> b -> map a -> b #

mapFilter :: (a -> Bool) -> map a -> map a #

mapElems :: map a -> [a] #

mapKeys :: map a -> [KeyOf map] #

mapToList :: map a -> [(KeyOf map, a)] #

mapFromList :: [(KeyOf map, a)] -> map a #

mapFromListWith :: (a -> a -> a) -> [(KeyOf map, a)] -> map a #

Instances

IsMap UniqueMap # |
Instance details Defined in Hoopl.Unique Associated Types type KeyOf UniqueMap :: * # Methods mapNull :: UniqueMap a -> Bool # mapSize :: UniqueMap a -> Int # mapMember :: KeyOf UniqueMap -> UniqueMap a -> Bool # mapLookup :: KeyOf UniqueMap -> UniqueMap a -> Maybe a # mapFindWithDefault :: a -> KeyOf UniqueMap -> UniqueMap a -> a # mapEmpty :: UniqueMap a # mapSingleton :: KeyOf UniqueMap -> a -> UniqueMap a # mapInsert :: KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a # mapInsertWith :: (a -> a -> a) -> KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a # mapDelete :: KeyOf UniqueMap -> UniqueMap a -> UniqueMap a # mapUnion :: UniqueMap a -> UniqueMap a -> UniqueMap a # mapUnionWithKey :: (KeyOf UniqueMap -> a -> a -> a) -> UniqueMap a -> UniqueMap a -> UniqueMap a # mapDifference :: UniqueMap a -> UniqueMap a -> UniqueMap a # mapIntersection :: UniqueMap a -> UniqueMap a -> UniqueMap a # mapIsSubmapOf :: Eq a => UniqueMap a -> UniqueMap a -> Bool # mapMap :: (a -> b) -> UniqueMap a -> UniqueMap b # mapMapWithKey :: (KeyOf UniqueMap -> a -> b) -> UniqueMap a -> UniqueMap b # mapFold :: (a -> b -> b) -> b -> UniqueMap a -> b # mapFoldWithKey :: (KeyOf UniqueMap -> a -> b -> b) -> b -> UniqueMap a -> b # mapFilter :: (a -> Bool) -> UniqueMap a -> UniqueMap a # mapElems :: UniqueMap a -> [a] # mapKeys :: UniqueMap a -> [KeyOf UniqueMap] # mapToList :: UniqueMap a -> [(KeyOf UniqueMap, a)] # mapFromList :: [(KeyOf UniqueMap, a)] -> UniqueMap a # mapFromListWith :: (a -> a -> a) -> [(KeyOf UniqueMap, a)] -> UniqueMap a #
IsMap LabelMap # |
Instance details Defined in Hoopl.Label Associated Types type KeyOf LabelMap :: * # Methods mapNull :: LabelMap a -> Bool # mapSize :: LabelMap a -> Int # mapMember :: KeyOf LabelMap -> LabelMap a -> Bool # mapLookup :: KeyOf LabelMap -> LabelMap a -> Maybe a # mapFindWithDefault :: a -> KeyOf LabelMap -> LabelMap a -> a # mapEmpty :: LabelMap a # mapSingleton :: KeyOf LabelMap -> a -> LabelMap a # mapInsert :: KeyOf LabelMap -> a -> LabelMap a -> LabelMap a # mapInsertWith :: (a -> a -> a) -> KeyOf LabelMap -> a -> LabelMap a -> LabelMap a # mapDelete :: KeyOf LabelMap -> LabelMap a -> LabelMap a # mapUnion :: LabelMap a -> LabelMap a -> LabelMap a # mapUnionWithKey :: (KeyOf LabelMap -> a -> a -> a) -> LabelMap a -> LabelMap a -> LabelMap a # mapDifference :: LabelMap a -> LabelMap a -> LabelMap a # mapIntersection :: LabelMap a -> LabelMap a -> LabelMap a # mapIsSubmapOf :: Eq a => LabelMap a -> LabelMap a -> Bool # mapMap :: (a -> b) -> LabelMap a -> LabelMap b # mapMapWithKey :: (KeyOf LabelMap -> a -> b) -> LabelMap a -> LabelMap b # mapFold :: (a -> b -> b) -> b -> LabelMap a -> b # mapFoldWithKey :: (KeyOf LabelMap -> a -> b -> b) -> b -> LabelMap a -> b # mapFilter :: (a -> Bool) -> LabelMap a -> LabelMap a # mapElems :: LabelMap a -> [a] # mapKeys :: LabelMap a -> [KeyOf LabelMap] # mapToList :: LabelMap a -> [(KeyOf LabelMap, a)] # mapFromList :: [(KeyOf LabelMap, a)] -> LabelMap a # mapFromListWith :: (a -> a -> a) -> [(KeyOf LabelMap, a)] -> LabelMap a #

mapInsertList :: IsMap map => [(KeyOf map, a)] -> map a -> map a #

mapDeleteList :: IsMap map => [KeyOf map] -> map a -> map a #

mapUnions :: IsMap map => [map a] -> map a #