satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Set.Data

Synopsis

Documentation

data Set a Source

Instances

(Functor m, Decode m Boolean Bool, Ord a) => Decode m (Set a) (Set a) 

unknown :: (MonadSAT m, Ord a) => [a] -> m (Set a) Source

allocate an unknown subset of these elements

unknownSingleton :: (MonadSAT m, Ord k) => [k] -> m (Set k) Source

constant :: (MonadSAT m, Ord a) => [a] -> m (Set a) Source

member :: (MonadSAT m, Ord k) => k -> Set k -> m Boolean Source

keys :: Set k -> [k] Source

keysSet :: Set k -> Set k Source

keys :: Set k -> [k] Source

assocs :: Set k -> [(k, Boolean)] Source

elems :: Set k -> [Boolean] Source

all2 :: (MonadSAT m, Ord k) => (Boolean -> Boolean -> m Boolean) -> Set k -> Set k -> m Boolean Source

common2 :: (MonadSAT f, Ord a) => (Boolean -> Boolean -> f Boolean) -> Set a -> Set a -> f (Set a) Source