Safe Haskell	Safe
Language	Haskell2010

Hoopl.Unique

Documentation

type Unique = Int Source #

data UniqueMap v Source #

Instances

Functor UniqueMap #
Instance details Defined in Hoopl.Unique Methods fmap :: (a -> b) -> UniqueMap a -> UniqueMap b Source # (<$) :: a -> UniqueMap b -> UniqueMap a Source #
Foldable UniqueMap #
Instance details Defined in Hoopl.Unique Methods fold :: Monoid m => UniqueMap m -> m Source # foldMap :: Monoid m => (a -> m) -> UniqueMap a -> m Source # foldr :: (a -> b -> b) -> b -> UniqueMap a -> b Source # foldr' :: (a -> b -> b) -> b -> UniqueMap a -> b Source # foldl :: (b -> a -> b) -> b -> UniqueMap a -> b Source # foldl' :: (b -> a -> b) -> b -> UniqueMap a -> b Source # foldr1 :: (a -> a -> a) -> UniqueMap a -> a Source # foldl1 :: (a -> a -> a) -> UniqueMap a -> a Source # toList :: UniqueMap a -> [a] Source # null :: UniqueMap a -> Bool Source # length :: UniqueMap a -> Int Source # elem :: Eq a => a -> UniqueMap a -> Bool Source # maximum :: Ord a => UniqueMap a -> a Source # minimum :: Ord a => UniqueMap a -> a Source # sum :: Num a => UniqueMap a -> a Source # product :: Num a => UniqueMap a -> a Source #
Traversable UniqueMap #
Instance details Defined in Hoopl.Unique Methods traverse :: Applicative f => (a -> f b) -> UniqueMap a -> f (UniqueMap b) Source # sequenceA :: Applicative f => UniqueMap (f a) -> f (UniqueMap a) Source # mapM :: Monad m => (a -> m b) -> UniqueMap a -> m (UniqueMap b) Source # sequence :: Monad m => UniqueMap (m a) -> m (UniqueMap a) Source #
IsMap UniqueMap #
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) #
Instance details Defined in Hoopl.Unique Methods (==) :: UniqueMap v -> UniqueMap v -> Bool # (/=) :: UniqueMap v -> UniqueMap v -> Bool #
Ord v => Ord (UniqueMap v) #
Instance details Defined in Hoopl.Unique Methods compare :: UniqueMap v -> UniqueMap v -> Ordering # (<) :: UniqueMap v -> UniqueMap v -> Bool # (<=) :: UniqueMap v -> UniqueMap v -> Bool # (>) :: UniqueMap v -> UniqueMap v -> Bool # (>=) :: UniqueMap v -> UniqueMap v -> Bool # max :: UniqueMap v -> UniqueMap v -> UniqueMap v # min :: UniqueMap v -> UniqueMap v -> UniqueMap v #
Show v => Show (UniqueMap v) #
Instance details Defined in Hoopl.Unique Methods showsPrec :: Int -> UniqueMap v -> ShowS Source # show :: UniqueMap v -> String Source # showList :: [UniqueMap v] -> ShowS Source #
type KeyOf UniqueMap #
Instance details Defined in Hoopl.Unique type KeyOf UniqueMap = Unique

data UniqueSet Source #

Instances

Eq UniqueSet #
Instance details Defined in Hoopl.Unique Methods (==) :: UniqueSet -> UniqueSet -> Bool # (/=) :: UniqueSet -> UniqueSet -> Bool #
Ord UniqueSet #
Instance details Defined in Hoopl.Unique Methods compare :: UniqueSet -> UniqueSet -> Ordering # (<) :: UniqueSet -> UniqueSet -> Bool # (<=) :: UniqueSet -> UniqueSet -> Bool # (>) :: UniqueSet -> UniqueSet -> Bool # (>=) :: UniqueSet -> UniqueSet -> Bool # max :: UniqueSet -> UniqueSet -> UniqueSet # min :: UniqueSet -> UniqueSet -> UniqueSet #
Show UniqueSet #
Instance details Defined in Hoopl.Unique Methods showsPrec :: Int -> UniqueSet -> ShowS Source # show :: UniqueSet -> String Source # showList :: [UniqueSet] -> ShowS Source #
IsSet UniqueSet #
Instance details Defined in Hoopl.Unique Associated Types type ElemOf UniqueSet :: * Source # Methods setNull :: UniqueSet -> Bool Source # setSize :: UniqueSet -> Int Source # setMember :: ElemOf UniqueSet -> UniqueSet -> Bool Source # setEmpty :: UniqueSet Source # setSingleton :: ElemOf UniqueSet -> UniqueSet Source # setInsert :: ElemOf UniqueSet -> UniqueSet -> UniqueSet Source # setDelete :: ElemOf UniqueSet -> UniqueSet -> UniqueSet Source # setUnion :: UniqueSet -> UniqueSet -> UniqueSet Source # setDifference :: UniqueSet -> UniqueSet -> UniqueSet Source # setIntersection :: UniqueSet -> UniqueSet -> UniqueSet Source # setIsSubsetOf :: UniqueSet -> UniqueSet -> Bool Source # setFold :: (ElemOf UniqueSet -> b -> b) -> b -> UniqueSet -> b Source # setElems :: UniqueSet -> [ElemOf UniqueSet] Source # setFromList :: [ElemOf UniqueSet] -> UniqueSet Source #
type ElemOf UniqueSet #
Instance details Defined in Hoopl.Unique type ElemOf UniqueSet = Unique

intToUnique :: Int -> Unique Source #