Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- 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 :: (Ord k, MonadSAT m) => 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 :: forall {f} {a}. (Ord a, MonadSAT f) => (Boolean -> Boolean -> f Boolean) -> Set a -> Set a -> f (Set a)