Satchmo.Set.Op
null :: (Ord a, MonadSAT m) => Set a -> m Boolean Source #
equals :: (Ord a, MonadSAT m) => Set a -> Set a -> m Boolean Source #
isSubsetOf :: (Ord a, MonadSAT m) => Set a -> Set a -> m Boolean Source #
isSupersetOf :: (Ord a, MonadSAT m) => Set a -> Set a -> m Boolean Source #
isSingleton :: (Ord a, MonadSAT m) => Set a -> m Boolean Source #
isDisjoint :: (Ord a, MonadSAT m) => Set a -> Set a -> m Boolean Source #
union :: (Ord a, MonadSAT m) => Set a -> Set a -> m (Set a) Source #
intersection :: (Ord a, MonadSAT m) => Set a -> Set a -> m (Set a) Source #
difference :: (Ord a, MonadSAT m) => Set a -> Set a -> m (Set a) Source #