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

Ersatz.BitChar

Description

Synopsis

Documentation

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

newtype BitChar #

Encoding of the full range of Char values.

Constructors

Instances

Show BitChar #
Instance details Defined in Ersatz.BitChar Methods showsPrec :: Int -> BitChar -> ShowS # show :: BitChar -> String # showList :: [BitChar] -> ShowS #
Codec BitChar #
Instance details Defined in Ersatz.BitChar Associated Types type Decoded BitChar :: * # Methods decode :: MonadPlus f => Solution -> BitChar -> f (Decoded BitChar) # encode :: Decoded BitChar -> BitChar #
Variable BitChar #
Instance details Defined in Ersatz.BitChar Methods literally :: (HasSAT s, MonadState s m) => m Literal -> m BitChar #
Equatable BitChar #
Instance details Defined in Ersatz.BitChar Methods (===) :: BitChar -> BitChar -> Bit # (/==) :: BitChar -> BitChar -> Bit #
Orderable BitChar #
Instance details Defined in Ersatz.BitChar Methods (<?) :: BitChar -> BitChar -> Bit # (<=?) :: BitChar -> BitChar -> Bit # (>=?) :: BitChar -> BitChar -> Bit # (>?) :: BitChar -> BitChar -> Bit #
type Decoded BitChar #
Instance details Defined in Ersatz.BitChar type Decoded BitChar = Char