satchmo-2.9.0: SAT encoding monad
Satchmo.Map.Data
Synopsis
data Map a b Source
Instances
unknown :: (MonadSAT m, Ord a) => [a] -> m b -> m (Map a b) Source
allocate an unknown map with this domain
constant :: (MonadSAT m, Ord a) => [(a, c)] -> (c -> m b) -> m (Map a b) Source
(!) :: Ord k => Map k a -> k -> a Source