Satchmo.Set.Data

Documentation

data Set a

Instances

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

Defined in Satchmo.Set.Data

Methods

decode :: Set a -> m (Set0 a)

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

allocate an unknown subset of these elements

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)