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 HaskellNone

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