ghc-8.0.0.20160204: The GHC API

Safe HaskellNone
LanguageHaskell2010

BlockId

Contents

Documentation

class IsSet set where Source

Associated Types

type ElemOf set :: TYPE Lifted Source

Instances

IsSet LabelSet 
IsSet UniqueSet 

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

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

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

class IsMap map where Source

Associated Types

type KeyOf map :: TYPE Lifted Source

Instances

IsMap LabelMap 

Associated Types

type KeyOf (LabelMap :: TYPE Lifted -> TYPE Lifted) :: TYPE Lifted Source

Methods

mapNull :: LabelMap a -> Bool Source

mapSize :: LabelMap a -> Int Source

mapMember :: KeyOf LabelMap -> LabelMap a -> Bool Source

mapLookup :: KeyOf LabelMap -> LabelMap a -> Maybe a Source

mapFindWithDefault :: a -> KeyOf LabelMap -> LabelMap a -> a Source

mapEmpty :: LabelMap a Source

mapSingleton :: KeyOf LabelMap -> a -> LabelMap a Source

mapInsert :: KeyOf LabelMap -> a -> LabelMap a -> LabelMap a Source

mapInsertWith :: (a -> a -> a) -> KeyOf LabelMap -> a -> LabelMap a -> LabelMap a Source

mapDelete :: KeyOf LabelMap -> LabelMap a -> LabelMap a Source

mapUnion :: LabelMap a -> LabelMap a -> LabelMap a Source

mapUnionWithKey :: (KeyOf LabelMap -> a -> a -> a) -> LabelMap a -> LabelMap a -> LabelMap a Source

mapDifference :: LabelMap a -> LabelMap a -> LabelMap a Source

mapIntersection :: LabelMap a -> LabelMap a -> LabelMap a Source

mapIsSubmapOf :: Eq a => LabelMap a -> LabelMap a -> Bool Source

mapMap :: (a -> b) -> LabelMap a -> LabelMap b Source

mapMapWithKey :: (KeyOf LabelMap -> a -> b) -> LabelMap a -> LabelMap b Source

mapFold :: (a -> b -> b) -> b -> LabelMap a -> b Source

mapFoldWithKey :: (KeyOf LabelMap -> a -> b -> b) -> b -> LabelMap a -> b Source

mapFilter :: (a -> Bool) -> LabelMap a -> LabelMap a Source

mapElems :: LabelMap a -> [a] Source

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

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

mapFromList :: [(KeyOf LabelMap, a)] -> LabelMap a Source

mapFromListWith :: (a -> a -> a) -> [(KeyOf LabelMap, a)] -> LabelMap a Source

IsMap UniqueMap 

Associated Types

type KeyOf (UniqueMap :: TYPE Lifted -> TYPE Lifted) :: TYPE Lifted Source

Methods

mapNull :: UniqueMap a -> Bool Source

mapSize :: UniqueMap a -> Int Source

mapMember :: KeyOf UniqueMap -> UniqueMap a -> Bool Source

mapLookup :: KeyOf UniqueMap -> UniqueMap a -> Maybe a Source

mapFindWithDefault :: a -> KeyOf UniqueMap -> UniqueMap a -> a Source

mapEmpty :: UniqueMap a Source

mapSingleton :: KeyOf UniqueMap -> a -> UniqueMap a Source

mapInsert :: KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a Source

mapInsertWith :: (a -> a -> a) -> KeyOf UniqueMap -> a -> UniqueMap a -> UniqueMap a Source

mapDelete :: KeyOf UniqueMap -> UniqueMap a -> UniqueMap a Source

mapUnion :: UniqueMap a -> UniqueMap a -> UniqueMap a Source

mapUnionWithKey :: (KeyOf UniqueMap -> a -> a -> a) -> UniqueMap a -> UniqueMap a -> UniqueMap a Source

mapDifference :: UniqueMap a -> UniqueMap a -> UniqueMap a Source

mapIntersection :: UniqueMap a -> UniqueMap a -> UniqueMap a Source

mapIsSubmapOf :: Eq a => UniqueMap a -> UniqueMap a -> Bool Source

mapMap :: (a -> b) -> UniqueMap a -> UniqueMap b Source

mapMapWithKey :: (KeyOf UniqueMap -> a -> b) -> UniqueMap a -> UniqueMap b Source

mapFold :: (a -> b -> b) -> b -> UniqueMap a -> b Source

mapFoldWithKey :: (KeyOf UniqueMap -> a -> b -> b) -> b -> UniqueMap a -> b Source

mapFilter :: (a -> Bool) -> UniqueMap a -> UniqueMap a Source

mapElems :: UniqueMap a -> [a] Source

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

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

mapFromList :: [(KeyOf UniqueMap, a)] -> UniqueMap a Source

mapFromListWith :: (a -> a -> a) -> [(KeyOf UniqueMap, a)] -> UniqueMap a Source

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

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

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

Orphan instances