Satchmo.Set.Data

Documentation

data Set a

Instances

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

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

allocate an unknown subset of these elements

unknownSingleton :: (Ord k, MonadSAT m) => [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 :: (Ord k, MonadSAT m) => (Boolean -> Boolean -> m Boolean) -> Set k -> Set k -> m Boolean

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