Ersatz.BitChar

Documentation

type BitString = [BitChar]

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

newtype BitChar

Encoding of the full range of Char values.

Constructors

BitChar Bits

Instances

Show BitChar

Methods

showsPrec :: Int -> BitChar -> ShowS

show :: BitChar -> String

showList :: [BitChar] -> ShowS

Variable BitChar

Methods

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

Codec BitChar

Associated Types

type Decoded BitChar :: *

Methods

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

encode :: Decoded BitChar -> BitChar

Equatable BitChar

Methods

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

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

Orderable BitChar

Methods

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

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

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

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

type Decoded BitChar

type Decoded BitChar = Char