satchmo-2.9.0: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Map.Data

Synopsis

Documentation

data Map a b Source

Instances

(Functor m, Decode m b c, Ord a) => Decode m (Map a b) (Map a c) 

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