Safe Haskell | None |
---|---|

Language | Haskell98 |

- data Set a
- unknown :: (MonadSAT m, Ord a) => [a] -> m (Set a)
- unknownSingleton :: (MonadSAT m, Ord k) => [k] -> m (Set k)
- constant :: (MonadSAT m, Ord a) => [a] -> m (Set a)
- member :: (MonadSAT m, Ord k) => k -> Set k -> m Boolean
- keys :: Set k -> [k]
- keysSet :: Set k -> Set k
- keys :: Set k -> [k]
- assocs :: Set k -> [(k, Boolean)]
- elems :: Set k -> [Boolean]
- all2 :: (MonadSAT m, Ord k) => (Boolean -> Boolean -> m Boolean) -> Set k -> Set k -> m Boolean
- common2 :: (MonadSAT f, Ord a) => (Boolean -> Boolean -> f Boolean) -> Set a -> Set a -> f (Set a)