Safe Haskell	None
Language	Haskell2010

Hoopl.Label

Documentation

data Label Source #

Instances

Eq Label Source #
Instance details Defined in Hoopl.Label Methods (==) :: Label -> Label -> Bool # (/=) :: Label -> Label -> Bool #
Ord Label Source #
Instance details Defined in Hoopl.Label 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 #
Show Label Source #
Instance details Defined in Hoopl.Label Methods showsPrec :: Int -> Label -> ShowS # show :: Label -> String # showList :: [Label] -> ShowS #
Uniquable Label Source #
Instance details Defined in Hoopl.Label Methods getUnique :: Label -> Unique #
Outputable Label Source #
Instance details Defined in Hoopl.Label Methods ppr :: Label -> SDoc # pprPrec :: Rational -> Label -> SDoc #

data LabelMap v Source #

Instances

Functor LabelMap Source #
Instance details Defined in Hoopl.Label Methods fmap :: (a -> b) -> LabelMap a -> LabelMap b # (<$) :: a -> LabelMap b -> LabelMap a #
Foldable LabelMap Source #
Instance details Defined in Hoopl.Label 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 #
Traversable LabelMap Source #
Instance details Defined in Hoopl.Label 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) #
TrieMap LabelMap Source #
Instance details Defined in Hoopl.Label 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 #
IsMap LabelMap Source #
Instance details Defined in Hoopl.Label 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 #
Eq v => Eq (LabelMap v) Source #
Instance details Defined in Hoopl.Label Methods (==) :: LabelMap v -> LabelMap v -> Bool # (/=) :: LabelMap v -> LabelMap v -> Bool #
Ord v => Ord (LabelMap v) Source #
Instance details Defined in Hoopl.Label 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 #
Show v => Show (LabelMap v) Source #
Instance details Defined in Hoopl.Label Methods showsPrec :: Int -> LabelMap v -> ShowS # show :: LabelMap v -> String # showList :: [LabelMap v] -> ShowS #
Outputable a => Outputable (LabelMap a) Source #
Instance details Defined in Hoopl.Label Methods ppr :: LabelMap a -> SDoc # pprPrec :: Rational -> LabelMap a -> SDoc #
type Key LabelMap Source #
Instance details Defined in Hoopl.Label type Key LabelMap = Label
type KeyOf LabelMap Source #
Instance details Defined in Hoopl.Label type KeyOf LabelMap = Label

data LabelSet Source #

Instances

Eq LabelSet Source #
Instance details Defined in Hoopl.Label Methods (==) :: LabelSet -> LabelSet -> Bool # (/=) :: LabelSet -> LabelSet -> Bool #
Ord LabelSet Source #
Instance details Defined in Hoopl.Label 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 #
Show LabelSet Source #
Instance details Defined in Hoopl.Label Methods showsPrec :: Int -> LabelSet -> ShowS # show :: LabelSet -> String # showList :: [LabelSet] -> ShowS #
Semigroup LabelSet Source #
Instance details Defined in Hoopl.Label Methods (<>) :: LabelSet -> LabelSet -> LabelSet # sconcat :: NonEmpty LabelSet -> LabelSet # stimes :: Integral b => b -> LabelSet -> LabelSet #
Monoid LabelSet Source #
Instance details Defined in Hoopl.Label Methods mempty :: LabelSet # mappend :: LabelSet -> LabelSet -> LabelSet # mconcat :: [LabelSet] -> LabelSet #
Outputable LabelSet Source #
Instance details Defined in Hoopl.Label Methods ppr :: LabelSet -> SDoc # pprPrec :: Rational -> LabelSet -> SDoc #
IsSet LabelSet Source #
Instance details Defined in Hoopl.Label 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 #
type ElemOf LabelSet Source #
Instance details Defined in Hoopl.Label type ElemOf LabelSet = Label

type FactBase f = LabelMap f Source #

lookupFact :: Label -> FactBase f -> Maybe f Source #

mkHooplLabel :: Int -> Label Source #