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

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

Ersatz.Bits

Description

 

Synopsis

Documentation

newtype Bit1 Source

A container of 1 Bit that encodes from and decodes to Word8

Constructors

Bit1 Bit 

Instances

data Bit2 Source

A container of 2 Bits that encodes from and decodes to Word8

Constructors

Bit2 !Bit !Bit 

Instances

data Bit3 Source

A container of 3 Bits that encodes from and decodes to Word8

Constructors

Bit3 !Bit !Bit !Bit 

Instances

data Bit4 Source

A container of 4 Bits that encodes from and decodes to Word8

Constructors

Bit4 !Bit !Bit !Bit !Bit 

Instances

data Bit5 Source

A container of 5 Bits that encodes from and decodes to Word8

Constructors

Bit5 !Bit !Bit !Bit !Bit !Bit 

Instances

data Bit6 Source

A container of 6 Bits that encodes from and decodes to Word8

Constructors

Bit6 !Bit !Bit !Bit !Bit !Bit !Bit 

Instances

data Bit7 Source

A container of 7 Bits that encodes from and decodes to Word8

Constructors

Bit7 !Bit !Bit !Bit !Bit !Bit !Bit !Bit 

Instances

data Bit8 Source

A container of 8 Bits that encodes from and decodes to Word8

Constructors

Bit8 !Bit !Bit !Bit !Bit !Bit !Bit !Bit !Bit 

Instances