ghc-7.4.2: The GHC API

Safe HaskellNone

BlockId

Documentation

class IsSet set whereSource

Associated Types

type ElemOf set :: *Source

Methods

setNull :: set -> BoolSource

setSize :: set -> IntSource

setMember :: ElemOf set -> set -> BoolSource

setEmpty :: setSource

setSingleton :: ElemOf set -> setSource

setInsert :: ElemOf set -> set -> setSource

setDelete :: ElemOf set -> set -> setSource

setUnion :: set -> set -> setSource

setDifference :: set -> set -> setSource

setIntersection :: set -> set -> setSource

setIsSubsetOf :: set -> set -> BoolSource

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

setElems :: set -> [ElemOf set]Source

setFromList :: [ElemOf set] -> setSource

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

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

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

class IsMap map whereSource

Associated Types

type KeyOf map :: *Source

Methods

mapNull :: map a -> BoolSource

mapSize :: map a -> IntSource

mapMember :: KeyOf map -> map a -> BoolSource

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

mapFindWithDefault :: a -> KeyOf map -> map a -> aSource

mapEmpty :: map aSource

mapSingleton :: KeyOf map -> a -> map aSource

mapInsert :: KeyOf map -> a -> map a -> map aSource

mapDelete :: KeyOf map -> map a -> map aSource

mapUnion :: map a -> map a -> map aSource

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

mapDifference :: map a -> map a -> map aSource

mapIntersection :: map a -> map a -> map aSource

mapIsSubmapOf :: Eq a => map a -> map a -> BoolSource

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

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

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

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

mapElems :: map a -> [a]Source

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

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

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

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

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

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