Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Instances
Eq LabelSet # | |
Ord LabelSet # | |
Defined in Hoopl.Label | |
Show LabelSet # | |
IsSet LabelSet # | |
Defined in Hoopl.Label setNull :: LabelSet -> Bool Source # setSize :: LabelSet -> Int Source # setMember :: ElemOf LabelSet -> LabelSet -> Bool 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 # setFoldl :: (b -> ElemOf LabelSet -> b) -> b -> LabelSet -> b Source # setFoldr :: (ElemOf LabelSet -> b -> b) -> b -> LabelSet -> b Source # | |
Outputable LabelSet # | |
type ElemOf LabelSet # | |
Defined in Hoopl.Label |
mkHooplLabel :: Int -> Label Source #