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

Copyright© Edward Kmett 2010-2014, Johan Kiviniemi 2013
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell2010

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

full_adder :: Bit -> Bit -> Bit -> (Bit, Bit) Source

half_adder :: Bit -> Bit -> (Bit, Bit) Source