Hoopl.Label

Documentation

data Label

Instances

Eq Label

Defined in Hoopl.Label

Methods

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

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

Ord Label

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

Defined in Hoopl.Label

Methods

showsPrec :: Int -> Label -> ShowS

show :: Label -> String

showList :: [Label] -> ShowS

Outputable Label

Defined in Hoopl.Label

Methods

ppr :: Label -> SDoc

pprPrec :: Rational -> Label -> SDoc

Uniquable Label

Defined in Hoopl.Label

Methods

getUnique :: Label -> Unique

data LabelMap v

Instances

Functor LabelMap

Defined in Hoopl.Label

Methods

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

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

Foldable LabelMap

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

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)

IsMap LabelMap

Defined in Hoopl.Label

Associated Types

type KeyOf LabelMap :: Type

Methods

mapNull :: LabelMap a -> Bool

mapSize :: LabelMap a -> Int

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

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

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

mapEmpty :: LabelMap a

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

mapElems :: LabelMap a -> [a]

mapKeys :: LabelMap a -> [KeyOf LabelMap]

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

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

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

TrieMap LabelMap

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

Eq v => Eq (LabelMap v)

Defined in Hoopl.Label

Methods

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

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

Ord v => Ord (LabelMap v)

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)

Defined in Hoopl.Label

Methods

showsPrec :: Int -> LabelMap v -> ShowS

show :: LabelMap v -> String

showList :: [LabelMap v] -> ShowS

Outputable a => Outputable (LabelMap a)

Defined in Hoopl.Label

Methods

ppr :: LabelMap a -> SDoc

pprPrec :: Rational -> LabelMap a -> SDoc

type KeyOf LabelMap

Defined in Hoopl.Label

type KeyOf LabelMap = Label

type Key LabelMap

Defined in Hoopl.Label

type Key LabelMap = Label

data LabelSet

Instances

Eq LabelSet

Defined in Hoopl.Label

Methods

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

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

Ord LabelSet

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

Defined in Hoopl.Label

Methods

showsPrec :: Int -> LabelSet -> ShowS

show :: LabelSet -> String

showList :: [LabelSet] -> ShowS

IsSet LabelSet

Defined in Hoopl.Label

Associated Types

type ElemOf LabelSet :: Type

Methods

setNull :: LabelSet -> Bool

setSize :: LabelSet -> Int

setMember :: ElemOf LabelSet -> LabelSet -> Bool

setEmpty :: LabelSet

setSingleton :: ElemOf LabelSet -> LabelSet

setInsert :: ElemOf LabelSet -> LabelSet -> LabelSet

setDelete :: ElemOf LabelSet -> LabelSet -> LabelSet

setUnion :: LabelSet -> LabelSet -> LabelSet

setDifference :: LabelSet -> LabelSet -> LabelSet

setIntersection :: LabelSet -> LabelSet -> LabelSet

setIsSubsetOf :: LabelSet -> LabelSet -> Bool

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

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

setElems :: LabelSet -> [ElemOf LabelSet]

setFromList :: [ElemOf LabelSet] -> LabelSet

Outputable LabelSet

Defined in Hoopl.Label

Methods

ppr :: LabelSet -> SDoc

pprPrec :: Rational -> LabelSet -> SDoc

type ElemOf LabelSet

Defined in Hoopl.Label

type ElemOf LabelSet = Label

type FactBase f = LabelMap f

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

mkHooplLabel :: Int -> Label