Safe Haskell | None |
---|---|
Language | Haskell2010 |
Hoopl.Label
Documentation
Instances
Instances
Eq LabelSet # | |
Ord LabelSet # | |
Defined in Hoopl.Label | |
Show LabelSet # | |
IsSet LabelSet # | |
Defined in Hoopl.Label Methods setMember :: ElemOf LabelSet -> LabelSet -> Bool # 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 # setFold :: (ElemOf LabelSet -> b -> b) -> b -> LabelSet -> b # setElems :: LabelSet -> [ElemOf LabelSet] # setFromList :: [ElemOf LabelSet] -> LabelSet # | |
Outputable LabelSet # | |
type ElemOf LabelSet # | |
Defined in Hoopl.Label |
lookupFact :: Label -> FactBase f -> Maybe f #
uniqueToLbl :: Unique -> Label #