satchmo-1.1.1: SAT encoding monad

Satchmo.Code

Documentation

class Decode c a | c -> a whereSource

Methods

decode :: c -> Decoder aSource

Instances

Decode Boolean Bool 
Decode Number Integer 
Decode c a => Decode [c] [a] 
(Decode c a, Decode d b) => Decode (c, d) (a, b) 
(Ix i, Decode c a) => Decode (Array i c) (Array i a) 

type Decoder a = Reader (Map Literal Bool) aSource