satchmo-2.6.0: SAT encoding monad
Satchmo.Code
class Monad m => Decode m c a where Source
Methods
decode :: c -> m a Source
Instances