ghc-8.4.3: The GHC API

Safe HaskellSafe
LanguageHaskell2010

Hoopl.Unique

Documentation

data UniqueMap v Source #

Instances
Functor UniqueMap Source # 
Instance details

Defined in Hoopl.Unique

Methods

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

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

Foldable UniqueMap Source # 
Instance details

Defined in Hoopl.Unique

Methods

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

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

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

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

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

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

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

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

toList :: UniqueMap a -> [a] #

null :: UniqueMap a -> Bool #

length :: UniqueMap a -> Int #

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

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

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

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

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

Traversable UniqueMap Source # 
Instance details

Defined in Hoopl.Unique

Methods

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

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

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

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

IsMap UniqueMap Source # 
Instance details

Defined in Hoopl.Unique

Associated Types

type KeyOf UniqueMap :: * 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 #

Eq v => Eq (UniqueMap v) Source # 
Instance details

Defined in Hoopl.Unique

Methods

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

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

Ord v => Ord (UniqueMap v) Source # 
Instance details

Defined in Hoopl.Unique

Show v => Show (UniqueMap v) Source # 
Instance details

Defined in Hoopl.Unique

type KeyOf UniqueMap Source # 
Instance details

Defined in Hoopl.Unique

data UniqueSet Source #

Instances
Eq UniqueSet Source # 
Instance details

Defined in Hoopl.Unique

Ord UniqueSet Source # 
Instance details

Defined in Hoopl.Unique

Show UniqueSet Source # 
Instance details

Defined in Hoopl.Unique

IsSet UniqueSet Source # 
Instance details

Defined in Hoopl.Unique

Associated Types

type ElemOf UniqueSet :: * Source #

type ElemOf UniqueSet Source # 
Instance details

Defined in Hoopl.Unique