Copyright	© Eric Mertens 2010-2014
License	BSD3
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Ersatz.BitChar

Description

Synopsis

Documentation

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

Encoding of the full range of Char values.

Constructors

Instances details

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 :: MonadSAT 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