satchmo-2.9.9.4: SAT encoding monad
Safe HaskellSafe-Inferred
LanguageHaskell2010

Satchmo.Set.Op

Documentation

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 #