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

Copyright© Eric Mertens 2010-2014
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ersatz.BitChar

Description

 

Synopsis

Documentation

type BitString = [BitChar] Source

List of BitChar intended to be used as the representation for String.

newtype BitChar Source

Encoding of the full range of Char values.

Constructors

BitChar Bits 

Instances