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

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

Ersatz.Encoding

Description

 

Documentation

class Encoding a whereSource

Associated Types

type Encoded a :: *Source

Methods

encode :: Encoded a -> aSource

A counterpart to decode. Can encode e.g. a Bool as a Bit, a Word8 as a Bit8, or a [Word8] as a [Bit8].

Instances

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