ersatz-0.4.4: 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
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
Show BitChar Source # 
Instance details

Defined in Ersatz.BitChar

Methods

showsPrec :: Int -> BitChar -> ShowS #

show :: BitChar -> String #

showList :: [BitChar] -> ShowS #

Codec BitChar Source # 
Instance details

Defined in Ersatz.BitChar

Associated Types

type Decoded BitChar :: * Source #

Methods

decode :: MonadPlus f => Solution -> BitChar -> f (Decoded BitChar) Source #

encode :: Decoded BitChar -> BitChar Source #

Variable BitChar Source # 
Instance details

Defined in Ersatz.BitChar

Methods

literally :: (HasSAT s, MonadState s m) => m Literal -> m BitChar Source #

Equatable BitChar Source # 
Instance details

Defined in Ersatz.BitChar

Methods

(===) :: BitChar -> BitChar -> Bit Source #

(/==) :: BitChar -> BitChar -> Bit Source #

Orderable BitChar Source # 
Instance details

Defined in Ersatz.BitChar

Methods

(<?) :: BitChar -> BitChar -> Bit Source #

(<=?) :: BitChar -> BitChar -> Bit Source #

(>=?) :: BitChar -> BitChar -> Bit Source #

(>?) :: BitChar -> BitChar -> Bit Source #

type Decoded BitChar Source # 
Instance details

Defined in Ersatz.BitChar

type Decoded BitChar = Char