Documentation

Methods

(==) :: Label -> Label -> Bool #

(/=) :: Label -> Label -> Bool #

Methods

compare :: Label -> Label -> Ordering #

(<) :: Label -> Label -> Bool #

(<=) :: Label -> Label -> Bool #

(>) :: Label -> Label -> Bool #

(>=) :: Label -> Label -> Bool #

max :: Label -> Label -> Label #

min :: Label -> Label -> Label #

Methods

showsPrec :: Int -> Label -> ShowS #

show :: Label -> String #

showList :: [Label] -> ShowS #

Methods

getUnique :: Label -> Unique #

Methods

ppr :: Label -> SDoc #

pprPrec :: Rational -> Label -> SDoc #

Methods

fmap :: (a -> b) -> LabelMap a -> LabelMap b #

(<$) :: a -> LabelMap b -> LabelMap a #

Methods

fold :: Monoid m => LabelMap m -> m #

foldMap :: Monoid m => (a -> m) -> LabelMap a -> m #

foldr :: (a -> b -> b) -> b -> LabelMap a -> b #

foldr' :: (a -> b -> b) -> b -> LabelMap a -> b #

foldl :: (b -> a -> b) -> b -> LabelMap a -> b #

foldl' :: (b -> a -> b) -> b -> LabelMap a -> b #

foldr1 :: (a -> a -> a) -> LabelMap a -> a #

foldl1 :: (a -> a -> a) -> LabelMap a -> a #

toList :: LabelMap a -> [a] #

null :: LabelMap a -> Bool #

length :: LabelMap a -> Int #

elem :: Eq a => a -> LabelMap a -> Bool #

maximum :: Ord a => LabelMap a -> a #

minimum :: Ord a => LabelMap a -> a #

sum :: Num a => LabelMap a -> a #

product :: Num a => LabelMap a -> a #

Methods

traverse :: Applicative f => (a -> f b) -> LabelMap a -> f (LabelMap b) #

sequenceA :: Applicative f => LabelMap (f a) -> f (LabelMap a) #

mapM :: Monad m => (a -> m b) -> LabelMap a -> m (LabelMap b) #

sequence :: Monad m => LabelMap (m a) -> m (LabelMap a) #

Associated Types

type Key LabelMap :: Type #

Methods

emptyTM :: LabelMap a #

lookupTM :: Key LabelMap -> LabelMap b -> Maybe b #

alterTM :: Key LabelMap -> XT b -> LabelMap b -> LabelMap b #

mapTM :: (a -> b) -> LabelMap a -> LabelMap b #

foldTM :: (a -> b -> b) -> LabelMap a -> b -> b #

Associated Types

type KeyOf LabelMap :: Type 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 #

mapAlter :: (Maybe a -> Maybe a) -> KeyOf LabelMap -> LabelMap a -> LabelMap a Source #

mapAdjust :: (a -> a) -> 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 #

mapFoldl :: (b -> a -> b) -> b -> LabelMap a -> b Source #

mapFoldr :: (a -> b -> b) -> b -> LabelMap a -> b Source #

mapFoldlWithKey :: (b -> KeyOf LabelMap -> a -> b) -> b -> LabelMap a -> b Source #

mapFoldMapWithKey :: Monoid m => (KeyOf LabelMap -> a -> m) -> LabelMap a -> m Source #

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

mapFilterWithKey :: (KeyOf LabelMap -> 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 #

Methods

(==) :: LabelMap v -> LabelMap v -> Bool #

(/=) :: LabelMap v -> LabelMap v -> Bool #

Methods

compare :: LabelMap v -> LabelMap v -> Ordering #

(<) :: LabelMap v -> LabelMap v -> Bool #

(<=) :: LabelMap v -> LabelMap v -> Bool #

(>) :: LabelMap v -> LabelMap v -> Bool #

(>=) :: LabelMap v -> LabelMap v -> Bool #

max :: LabelMap v -> LabelMap v -> LabelMap v #

min :: LabelMap v -> LabelMap v -> LabelMap v #

Methods

showsPrec :: Int -> LabelMap v -> ShowS #

show :: LabelMap v -> String #

showList :: [LabelMap v] -> ShowS #

Methods

ppr :: LabelMap a -> SDoc #

pprPrec :: Rational -> LabelMap a -> SDoc #

Methods

(==) :: LabelSet -> LabelSet -> Bool #

(/=) :: LabelSet -> LabelSet -> Bool #

Methods

compare :: LabelSet -> LabelSet -> Ordering #

(<) :: LabelSet -> LabelSet -> Bool #

(<=) :: LabelSet -> LabelSet -> Bool #

(>) :: LabelSet -> LabelSet -> Bool #

(>=) :: LabelSet -> LabelSet -> Bool #

max :: LabelSet -> LabelSet -> LabelSet #

min :: LabelSet -> LabelSet -> LabelSet #

Methods

showsPrec :: Int -> LabelSet -> ShowS #

show :: LabelSet -> String #

showList :: [LabelSet] -> ShowS #

Methods

(<>) :: LabelSet -> LabelSet -> LabelSet #

sconcat :: NonEmpty LabelSet -> LabelSet #

stimes :: Integral b => b -> LabelSet -> LabelSet #

Methods

mempty :: LabelSet #

mappend :: LabelSet -> LabelSet -> LabelSet #

mconcat :: [LabelSet] -> LabelSet #

Methods

ppr :: LabelSet -> SDoc #

pprPrec :: Rational -> LabelSet -> SDoc #

Associated Types

type ElemOf LabelSet :: Type Source #

Methods

setNull :: LabelSet -> Bool Source #

setSize :: LabelSet -> Int Source #

setMember :: ElemOf LabelSet -> LabelSet -> Bool Source #

setEmpty :: LabelSet Source #

setSingleton :: ElemOf LabelSet -> LabelSet Source #

setInsert :: ElemOf LabelSet -> LabelSet -> LabelSet Source #

setDelete :: ElemOf LabelSet -> LabelSet -> LabelSet Source #

setUnion :: LabelSet -> LabelSet -> LabelSet Source #

setDifference :: LabelSet -> LabelSet -> LabelSet Source #

setIntersection :: LabelSet -> LabelSet -> LabelSet Source #

setIsSubsetOf :: LabelSet -> LabelSet -> Bool Source #

setFilter :: (ElemOf LabelSet -> Bool) -> LabelSet -> LabelSet Source #

setFoldl :: (b -> ElemOf LabelSet -> b) -> b -> LabelSet -> b Source #

setFoldr :: (ElemOf LabelSet -> b -> b) -> b -> LabelSet -> b Source #

setElems :: LabelSet -> [ElemOf LabelSet] Source #

setFromList :: [ElemOf LabelSet] -> LabelSet Source #