| 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 # 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 # | |
| type ElemOf LabelSet # | |
Defined in Hoopl.Label | |
lookupFact :: Label -> FactBase f -> Maybe f #
mkHooplLabel :: Int -> Label #