satchmo-1.8.0: SAT encoding monad

Satchmo.Code

Documentation

class Decode c a whereSource

Methods

decode :: c -> Decoder aSource

Instances

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