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.Bits

Description

 

Documentation

newtype Bit1 Source

Constructors

Bit1 Bit 

Instances

data Bit2 Source

Constructors

Bit2 Bit Bit 

Instances

data Bit3 Source

Constructors

Bit3 Bit Bit Bit 

Instances

data Bit4 Source

Constructors

Bit4 Bit Bit Bit Bit 

Instances

data Bit5 Source

Constructors

Bit5 Bit Bit Bit Bit Bit 

Instances

data Bit6 Source

Constructors

Bit6 Bit Bit Bit Bit Bit Bit 

Instances

data Bit7 Source

Constructors

Bit7 Bit Bit Bit Bit Bit Bit Bit 

Instances

data Bit8 Source

Constructors

Bit8 Bit Bit Bit Bit Bit Bit Bit Bit 

Instances