satchmo-2.8.1: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Map.Data

Documentation

data Map a b Source

Instances

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