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

Portabilitynon-portable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellNone

Ersatz.Decoding

Description

 

Documentation

class Decoding a whereSource

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 Lit 
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 (Tree a) 
Decoding a => Decoding (Seq a) 
Decoding a => Decoding (IntMap 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)