Copyright | © Edward Kmett 2010-2014, Johan Kiviniemi 2013 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
This class describes data types that can be marshaled to or from a SAT solver.
decode :: (Alternative f, MonadPlus f) => Solution -> a -> f (Decoded a) Source
Return a value based on the solution if one can be determined.
Codec () | |
Codec Literal | |
Codec Bit | |
Codec Bits | |
Codec Bit8 | |
Codec Bit7 | |
Codec Bit6 | |
Codec Bit5 | |
Codec Bit4 | |
Codec Bit3 | |
Codec Bit2 | |
Codec Bit1 | |
Codec BitChar | |
Codec a => Codec [a] | |
Codec a => Codec (Maybe a) | |
Codec a => Codec (IntMap a) | |
Codec a => Codec (Tree a) | |
Codec a => Codec (Seq a) | |
(Codec a, Codec b) => Codec (Either a b) | |
(Codec a, Codec b) => Codec (a, b) | |
(Ix i, Codec e) => Codec (Array i e) | |
Codec a => Codec (Map k a) | |
Codec a => Codec (HashMap k a) | |
(Codec a, Codec b, Codec c) => Codec (a, b, c) | |
(Codec a, Codec b, Codec c, Codec d) => Codec (a, b, c, d) | |
(Codec a, Codec b, Codec c, Codec d, Codec e) => Codec (a, b, c, d, e) | |
(Codec a, Codec b, Codec c, Codec d, Codec e, Codec f) => Codec (a, b, c, d, e, f) | |
(Codec a, Codec b, Codec c, Codec d, Codec e, Codec f, Codec g) => Codec (a, b, c, d, e, f, g) | |
(Codec a, Codec b, Codec c, Codec d, Codec e, Codec f, Codec g, Codec h) => Codec (a, b, c, d, e, f, g, h) |