ersatz-0.2.6.1: A monad for expressing SAT or QSAT problems using observable sharing.

Copyright© Edward Kmett 2010-2014, Johan Kiviniemi 2013
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell2010

Ersatz.Decoding

Description

 

Documentation

class Decoding a where Source

Associated Types

type Decoded a :: * Source

Methods

decode :: Solution -> a -> Maybe (Decoded a) Source

Return a value based on the solution if one can be determined.

Instances

Decoding () 
Decoding Literal 
Decoding Bit 
Decoding Bit8 
Decoding Bit7 
Decoding Bit6 
Decoding Bit5 
Decoding Bit4 
Decoding Bit3 
Decoding Bit2 
Decoding Bit1 
Decoding a => Decoding [a] 
Decoding a => Decoding (Maybe a) 
Decoding a => Decoding (IntMap a) 
Decoding a => Decoding (Tree a) 
Decoding a => Decoding (Seq a) 
(Decoding a, Decoding b) => Decoding (Either a b) 
(Decoding a, Decoding b) => Decoding (a, b) 
(Ix i, Decoding e) => Decoding (Array i e) 
Decoding a => Decoding (Map k a) 
Decoding a => Decoding (HashMap k a) 
(Decoding a, Decoding b, Decoding c) => Decoding (a, b, c) 
(Decoding a, Decoding b, Decoding c, Decoding d) => Decoding (a, b, c, d) 
(Decoding a, Decoding b, Decoding c, Decoding d, Decoding e) => Decoding (a, b, c, d, e) 
(Decoding a, Decoding b, Decoding c, Decoding d, Decoding e, Decoding f) => Decoding (a, b, c, d, e, f) 
(Decoding a, Decoding b, Decoding c, Decoding d, Decoding e, Decoding f, Decoding g) => Decoding (a, b, c, d, e, f, g) 
(Decoding a, Decoding b, Decoding c, Decoding d, Decoding e, Decoding f, Decoding g, Decoding h) => Decoding (a, b, c, d, e, f, g, h)