Ersatz.Bits

Bit1 .. Bit8 represent fixed length bit vectors. The most significant bit comes first. Bit1 and Bit2 have modular arithmetic (the result has the same width as the arguments, overflow is ignored).

Bits is an arbitrary length natural number type. The least significant bit comes first. Bits has full arithmetic (the result has large enough width so that there is no overflow).

Fixed length bit vectors

newtype Bit1

A container of 1 Bit that encodes from and decodes to Word8.

Constructors

Bit1 Bit

Instances

Generic Bit1

Defined in Ersatz.Bits

Associated Types

type Rep Bit1 :: Type -> Type

Methods

from :: Bit1 -> Rep Bit1 x

to :: Rep Bit1 x -> Bit1

Num Bit1

This instance provides modular arithmetic (overflow is ignored).

Defined in Ersatz.Bits

Methods

(+) :: Bit1 -> Bit1 -> Bit1

(-) :: Bit1 -> Bit1 -> Bit1

(*) :: Bit1 -> Bit1 -> Bit1

negate :: Bit1 -> Bit1

abs :: Bit1 -> Bit1

signum :: Bit1 -> Bit1

fromInteger :: Integer -> Bit1

Show Bit1

Defined in Ersatz.Bits

Methods

showsPrec :: Int -> Bit1 -> ShowS

show :: Bit1 -> String

showList :: [Bit1] -> ShowS

Boolean Bit1

Defined in Ersatz.Bits

Methods

bool :: Bool -> Bit1

true :: Bit1

false :: Bit1

(&&) :: Bit1 -> Bit1 -> Bit1

(||) :: Bit1 -> Bit1 -> Bit1

(==>) :: Bit1 -> Bit1 -> Bit1

not :: Bit1 -> Bit1

and :: Foldable t => t Bit1 -> Bit1

or :: Foldable t => t Bit1 -> Bit1

nand :: Foldable t => t Bit1 -> Bit1

nor :: Foldable t => t Bit1 -> Bit1

all :: Foldable t => (a -> Bit1) -> t a -> Bit1

any :: Foldable t => (a -> Bit1) -> t a -> Bit1

xor :: Bit1 -> Bit1 -> Bit1

choose :: Bit1 -> Bit1 -> Bit1 -> Bit1

HasBits Bit1

Defined in Ersatz.Bits

Methods

bits :: Bit1 -> Bits

Codec Bit1

Defined in Ersatz.Bits

Associated Types

type Decoded Bit1

Methods

decode :: Solution -> Bit1 -> Maybe (Decoded Bit1)

encode :: Decoded Bit1 -> Bit1

Equatable Bit1

Defined in Ersatz.Bits

Methods

(===) :: Bit1 -> Bit1 -> Bit

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

Orderable Bit1

Defined in Ersatz.Bits

Methods

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

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

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

(>?) :: Bit1 -> Bit1 -> Bit

Variable Bit1

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit1

type Rep Bit1

Defined in Ersatz.Bits

type Rep Bit1 = D1 ('MetaData "Bit1" "Ersatz.Bits" "ersatz-0.5-HbtBmay0YQU73VKfWvh0ty" 'True) (C1 ('MetaCons "Bit1" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bit)))

type Decoded Bit1

Defined in Ersatz.Bits

type Decoded Bit1 = Word8

data Bit2

A container of 2 Bits that encodes from and decodes to Word8. MSB is first.

Constructors

Bit2 !Bit !Bit

Instances

Generic Bit2

Defined in Ersatz.Bits

Associated Types

type Rep Bit2 :: Type -> Type

Methods

from :: Bit2 -> Rep Bit2 x

to :: Rep Bit2 x -> Bit2

Num Bit2

This instance provides modular arithmetic (overflow is ignored).

Defined in Ersatz.Bits

Methods

(+) :: Bit2 -> Bit2 -> Bit2

(-) :: Bit2 -> Bit2 -> Bit2

(*) :: Bit2 -> Bit2 -> Bit2

negate :: Bit2 -> Bit2

abs :: Bit2 -> Bit2

signum :: Bit2 -> Bit2

fromInteger :: Integer -> Bit2

Show Bit2

Defined in Ersatz.Bits

Methods

showsPrec :: Int -> Bit2 -> ShowS

show :: Bit2 -> String

showList :: [Bit2] -> ShowS

Boolean Bit2

Defined in Ersatz.Bits

Methods

bool :: Bool -> Bit2

true :: Bit2

false :: Bit2

(&&) :: Bit2 -> Bit2 -> Bit2

(||) :: Bit2 -> Bit2 -> Bit2

(==>) :: Bit2 -> Bit2 -> Bit2

not :: Bit2 -> Bit2

and :: Foldable t => t Bit2 -> Bit2

or :: Foldable t => t Bit2 -> Bit2

nand :: Foldable t => t Bit2 -> Bit2

nor :: Foldable t => t Bit2 -> Bit2

all :: Foldable t => (a -> Bit2) -> t a -> Bit2

any :: Foldable t => (a -> Bit2) -> t a -> Bit2

xor :: Bit2 -> Bit2 -> Bit2

choose :: Bit2 -> Bit2 -> Bit2 -> Bit2

HasBits Bit2

Defined in Ersatz.Bits

Methods

bits :: Bit2 -> Bits

Codec Bit2

Defined in Ersatz.Bits

Associated Types

type Decoded Bit2

Methods

decode :: Solution -> Bit2 -> Maybe (Decoded Bit2)

encode :: Decoded Bit2 -> Bit2

Equatable Bit2

Defined in Ersatz.Bits

Methods

(===) :: Bit2 -> Bit2 -> Bit

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

Orderable Bit2

Defined in Ersatz.Bits

Methods

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

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

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

(>?) :: Bit2 -> Bit2 -> Bit

Variable Bit2

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit2

type Rep Bit2

Defined in Ersatz.Bits

type Rep Bit2 = D1 ('MetaData "Bit2" "Ersatz.Bits" "ersatz-0.5-HbtBmay0YQU73VKfWvh0ty" 'False) (C1 ('MetaCons "Bit2" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)))

type Decoded Bit2

Defined in Ersatz.Bits

type Decoded Bit2 = Word8

data Bit3

A container of 3 Bits that encodes from and decodes to Word8. MSB is first.

Constructors

Bit3 !Bit !Bit !Bit

Instances

Generic Bit3

Defined in Ersatz.Bits

Associated Types

type Rep Bit3 :: Type -> Type

Methods

from :: Bit3 -> Rep Bit3 x

to :: Rep Bit3 x -> Bit3

Show Bit3

Defined in Ersatz.Bits

Methods

showsPrec :: Int -> Bit3 -> ShowS

show :: Bit3 -> String

showList :: [Bit3] -> ShowS

Boolean Bit3

Defined in Ersatz.Bits

Methods

bool :: Bool -> Bit3

true :: Bit3

false :: Bit3

(&&) :: Bit3 -> Bit3 -> Bit3

(||) :: Bit3 -> Bit3 -> Bit3

(==>) :: Bit3 -> Bit3 -> Bit3

not :: Bit3 -> Bit3

and :: Foldable t => t Bit3 -> Bit3

or :: Foldable t => t Bit3 -> Bit3

nand :: Foldable t => t Bit3 -> Bit3

nor :: Foldable t => t Bit3 -> Bit3

all :: Foldable t => (a -> Bit3) -> t a -> Bit3

any :: Foldable t => (a -> Bit3) -> t a -> Bit3

xor :: Bit3 -> Bit3 -> Bit3

choose :: Bit3 -> Bit3 -> Bit3 -> Bit3

HasBits Bit3

Defined in Ersatz.Bits

Methods

bits :: Bit3 -> Bits

Codec Bit3

Defined in Ersatz.Bits

Associated Types

type Decoded Bit3

Methods

decode :: Solution -> Bit3 -> Maybe (Decoded Bit3)

encode :: Decoded Bit3 -> Bit3

Equatable Bit3

Defined in Ersatz.Bits

Methods

(===) :: Bit3 -> Bit3 -> Bit

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

Orderable Bit3

Defined in Ersatz.Bits

Methods

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

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

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

(>?) :: Bit3 -> Bit3 -> Bit

Variable Bit3

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit3

type Rep Bit3

Defined in Ersatz.Bits

type Rep Bit3 = D1 ('MetaData "Bit3" "Ersatz.Bits" "ersatz-0.5-HbtBmay0YQU73VKfWvh0ty" 'False) (C1 ('MetaCons "Bit3" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit))))

type Decoded Bit3

Defined in Ersatz.Bits

type Decoded Bit3 = Word8

data Bit4

A container of 4 Bits that encodes from and decodes to Word8. MSB is first.

Constructors

Bit4 !Bit !Bit !Bit !Bit

Instances

Generic Bit4

Defined in Ersatz.Bits

Associated Types

type Rep Bit4 :: Type -> Type

Methods

from :: Bit4 -> Rep Bit4 x

to :: Rep Bit4 x -> Bit4

Show Bit4

Defined in Ersatz.Bits

Methods

showsPrec :: Int -> Bit4 -> ShowS

show :: Bit4 -> String

showList :: [Bit4] -> ShowS

Boolean Bit4

Defined in Ersatz.Bits

Methods

bool :: Bool -> Bit4

true :: Bit4

false :: Bit4

(&&) :: Bit4 -> Bit4 -> Bit4

(||) :: Bit4 -> Bit4 -> Bit4

(==>) :: Bit4 -> Bit4 -> Bit4

not :: Bit4 -> Bit4

and :: Foldable t => t Bit4 -> Bit4

or :: Foldable t => t Bit4 -> Bit4

nand :: Foldable t => t Bit4 -> Bit4

nor :: Foldable t => t Bit4 -> Bit4

all :: Foldable t => (a -> Bit4) -> t a -> Bit4

any :: Foldable t => (a -> Bit4) -> t a -> Bit4

xor :: Bit4 -> Bit4 -> Bit4

choose :: Bit4 -> Bit4 -> Bit4 -> Bit4

HasBits Bit4

Defined in Ersatz.Bits

Methods

bits :: Bit4 -> Bits

Codec Bit4

Defined in Ersatz.Bits

Associated Types

type Decoded Bit4

Methods

decode :: Solution -> Bit4 -> Maybe (Decoded Bit4)

encode :: Decoded Bit4 -> Bit4

Equatable Bit4

Defined in Ersatz.Bits

Methods

(===) :: Bit4 -> Bit4 -> Bit

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

Orderable Bit4

Defined in Ersatz.Bits

Methods

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

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

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

(>?) :: Bit4 -> Bit4 -> Bit

Variable Bit4

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit4

type Rep Bit4

Defined in Ersatz.Bits

type Rep Bit4 = D1 ('MetaData "Bit4" "Ersatz.Bits" "ersatz-0.5-HbtBmay0YQU73VKfWvh0ty" 'False) (C1 ('MetaCons "Bit4" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit))))

type Decoded Bit4

Defined in Ersatz.Bits

type Decoded Bit4 = Word8

data Bit5

A container of 5 Bits that encodes from and decodes to Word8. MSB is first.

Constructors

Bit5 !Bit !Bit !Bit !Bit !Bit

Instances

Generic Bit5

Defined in Ersatz.Bits

Associated Types

type Rep Bit5 :: Type -> Type

Methods

from :: Bit5 -> Rep Bit5 x

to :: Rep Bit5 x -> Bit5

Show Bit5

Defined in Ersatz.Bits

Methods

showsPrec :: Int -> Bit5 -> ShowS

show :: Bit5 -> String

showList :: [Bit5] -> ShowS

Boolean Bit5

Defined in Ersatz.Bits

Methods

bool :: Bool -> Bit5

true :: Bit5

false :: Bit5

(&&) :: Bit5 -> Bit5 -> Bit5

(||) :: Bit5 -> Bit5 -> Bit5

(==>) :: Bit5 -> Bit5 -> Bit5

not :: Bit5 -> Bit5

and :: Foldable t => t Bit5 -> Bit5

or :: Foldable t => t Bit5 -> Bit5

nand :: Foldable t => t Bit5 -> Bit5

nor :: Foldable t => t Bit5 -> Bit5

all :: Foldable t => (a -> Bit5) -> t a -> Bit5

any :: Foldable t => (a -> Bit5) -> t a -> Bit5

xor :: Bit5 -> Bit5 -> Bit5

choose :: Bit5 -> Bit5 -> Bit5 -> Bit5

HasBits Bit5

Defined in Ersatz.Bits

Methods

bits :: Bit5 -> Bits

Codec Bit5

Defined in Ersatz.Bits

Associated Types

type Decoded Bit5

Methods

decode :: Solution -> Bit5 -> Maybe (Decoded Bit5)

encode :: Decoded Bit5 -> Bit5

Equatable Bit5

Defined in Ersatz.Bits

Methods

(===) :: Bit5 -> Bit5 -> Bit

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

Orderable Bit5

Defined in Ersatz.Bits

Methods

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

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

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

(>?) :: Bit5 -> Bit5 -> Bit

Variable Bit5

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit5

type Rep Bit5

Defined in Ersatz.Bits

type Rep Bit5 = D1 ('MetaData "Bit5" "Ersatz.Bits" "ersatz-0.5-HbtBmay0YQU73VKfWvh0ty" 'False) (C1 ('MetaCons "Bit5" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)))))

type Decoded Bit5

Defined in Ersatz.Bits

type Decoded Bit5 = Word8

data Bit6

A container of 6 Bits that encodes from and decodes to Word8. MSB is first.

Constructors

Bit6 !Bit !Bit !Bit !Bit !Bit !Bit

Instances

Generic Bit6

Defined in Ersatz.Bits

Associated Types

type Rep Bit6 :: Type -> Type

Methods

from :: Bit6 -> Rep Bit6 x

to :: Rep Bit6 x -> Bit6

Show Bit6

Defined in Ersatz.Bits

Methods

showsPrec :: Int -> Bit6 -> ShowS

show :: Bit6 -> String

showList :: [Bit6] -> ShowS

Boolean Bit6

Defined in Ersatz.Bits

Methods

bool :: Bool -> Bit6

true :: Bit6

false :: Bit6

(&&) :: Bit6 -> Bit6 -> Bit6

(||) :: Bit6 -> Bit6 -> Bit6

(==>) :: Bit6 -> Bit6 -> Bit6

not :: Bit6 -> Bit6

and :: Foldable t => t Bit6 -> Bit6

or :: Foldable t => t Bit6 -> Bit6

nand :: Foldable t => t Bit6 -> Bit6

nor :: Foldable t => t Bit6 -> Bit6

all :: Foldable t => (a -> Bit6) -> t a -> Bit6

any :: Foldable t => (a -> Bit6) -> t a -> Bit6

xor :: Bit6 -> Bit6 -> Bit6

choose :: Bit6 -> Bit6 -> Bit6 -> Bit6

HasBits Bit6

Defined in Ersatz.Bits

Methods

bits :: Bit6 -> Bits

Codec Bit6

Defined in Ersatz.Bits

Associated Types

type Decoded Bit6

Methods

decode :: Solution -> Bit6 -> Maybe (Decoded Bit6)

encode :: Decoded Bit6 -> Bit6

Equatable Bit6

Defined in Ersatz.Bits

Methods

(===) :: Bit6 -> Bit6 -> Bit

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

Orderable Bit6

Defined in Ersatz.Bits

Methods

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

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

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

(>?) :: Bit6 -> Bit6 -> Bit

Variable Bit6

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit6

type Rep Bit6

Defined in Ersatz.Bits

type Rep Bit6 = D1 ('MetaData "Bit6" "Ersatz.Bits" "ersatz-0.5-HbtBmay0YQU73VKfWvh0ty" 'False) (C1 ('MetaCons "Bit6" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)))))

type Decoded Bit6

Defined in Ersatz.Bits

type Decoded Bit6 = Word8

data Bit7

A container of 7 Bits that encodes from and decodes to Word8. MSB is first.

Constructors

Bit7 !Bit !Bit !Bit !Bit !Bit !Bit !Bit

Instances

Generic Bit7

Defined in Ersatz.Bits

Associated Types

type Rep Bit7 :: Type -> Type

Methods

from :: Bit7 -> Rep Bit7 x

to :: Rep Bit7 x -> Bit7

Show Bit7

Defined in Ersatz.Bits

Methods

showsPrec :: Int -> Bit7 -> ShowS

show :: Bit7 -> String

showList :: [Bit7] -> ShowS

Boolean Bit7

Defined in Ersatz.Bits

Methods

bool :: Bool -> Bit7

true :: Bit7

false :: Bit7

(&&) :: Bit7 -> Bit7 -> Bit7

(||) :: Bit7 -> Bit7 -> Bit7

(==>) :: Bit7 -> Bit7 -> Bit7

not :: Bit7 -> Bit7

and :: Foldable t => t Bit7 -> Bit7

or :: Foldable t => t Bit7 -> Bit7

nand :: Foldable t => t Bit7 -> Bit7

nor :: Foldable t => t Bit7 -> Bit7

all :: Foldable t => (a -> Bit7) -> t a -> Bit7

any :: Foldable t => (a -> Bit7) -> t a -> Bit7

xor :: Bit7 -> Bit7 -> Bit7

choose :: Bit7 -> Bit7 -> Bit7 -> Bit7

HasBits Bit7

Defined in Ersatz.Bits

Methods

bits :: Bit7 -> Bits

Codec Bit7

Defined in Ersatz.Bits

Associated Types

type Decoded Bit7

Methods

decode :: Solution -> Bit7 -> Maybe (Decoded Bit7)

encode :: Decoded Bit7 -> Bit7

Equatable Bit7

Defined in Ersatz.Bits

Methods

(===) :: Bit7 -> Bit7 -> Bit

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

Orderable Bit7

Defined in Ersatz.Bits

Methods

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

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

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

(>?) :: Bit7 -> Bit7 -> Bit

Variable Bit7

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit7

type Rep Bit7

Defined in Ersatz.Bits

type Rep Bit7 = D1 ('MetaData "Bit7" "Ersatz.Bits" "ersatz-0.5-HbtBmay0YQU73VKfWvh0ty" 'False) (C1 ('MetaCons "Bit7" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit))) :*: ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)))))

type Decoded Bit7

Defined in Ersatz.Bits

type Decoded Bit7 = Word8

data Bit8

A container of 8 Bits that encodes from and decodes to Word8. MSB is first.

Constructors

Bit8 !Bit !Bit !Bit !Bit !Bit !Bit !Bit !Bit

Instances

Generic Bit8

Defined in Ersatz.Bits

Associated Types

type Rep Bit8 :: Type -> Type

Methods

from :: Bit8 -> Rep Bit8 x

to :: Rep Bit8 x -> Bit8

Show Bit8

Defined in Ersatz.Bits

Methods

showsPrec :: Int -> Bit8 -> ShowS

show :: Bit8 -> String

showList :: [Bit8] -> ShowS

Boolean Bit8

Defined in Ersatz.Bits

Methods

bool :: Bool -> Bit8

true :: Bit8

false :: Bit8

(&&) :: Bit8 -> Bit8 -> Bit8

(||) :: Bit8 -> Bit8 -> Bit8

(==>) :: Bit8 -> Bit8 -> Bit8

not :: Bit8 -> Bit8

and :: Foldable t => t Bit8 -> Bit8

or :: Foldable t => t Bit8 -> Bit8

nand :: Foldable t => t Bit8 -> Bit8

nor :: Foldable t => t Bit8 -> Bit8

all :: Foldable t => (a -> Bit8) -> t a -> Bit8

any :: Foldable t => (a -> Bit8) -> t a -> Bit8

xor :: Bit8 -> Bit8 -> Bit8

choose :: Bit8 -> Bit8 -> Bit8 -> Bit8

HasBits Bit8

Defined in Ersatz.Bits

Methods

bits :: Bit8 -> Bits

Codec Bit8

Defined in Ersatz.Bits

Associated Types

type Decoded Bit8

Methods

decode :: Solution -> Bit8 -> Maybe (Decoded Bit8)

encode :: Decoded Bit8 -> Bit8

Equatable Bit8

Defined in Ersatz.Bits

Methods

(===) :: Bit8 -> Bit8 -> Bit

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

Orderable Bit8

Defined in Ersatz.Bits

Methods

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

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

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

(>?) :: Bit8 -> Bit8 -> Bit

Variable Bit8

Defined in Ersatz.Bits

Methods

literally :: MonadSAT s m => m Literal -> m Bit8

type Rep Bit8

Defined in Ersatz.Bits

type Rep Bit8 = D1 ('MetaData "Bit8" "Ersatz.Bits" "ersatz-0.5-HbtBmay0YQU73VKfWvh0ty" 'False) (C1 ('MetaCons "Bit8" 'PrefixI 'False) (((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit))) :*: ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bit)))))

type Decoded Bit8

Defined in Ersatz.Bits

type Decoded Bit8 = Word8

Variable length bit vectors

newtype Bits

A container of Bits that is suitable for comparisons and arithmetic. Bits are stored with least significant bit first to enable phantom false values to be truncated.

Constructors

Bits [Bit]

Instances

Num Bits

This instance provides full arithmetic. The result has large enough width so that there is no overflow.

Subtraction is modified: a - b denotes max 0 (a - b).

Width of a + b is 1 + max (width a) (width b), width of a * b is (width a) + (width b), width of a - b is max (width a) (width b).

fromInteger will raise error for negative arguments.

Defined in Ersatz.Bits

Methods

(+) :: Bits -> Bits -> Bits

(-) :: Bits -> Bits -> Bits

(*) :: Bits -> Bits -> Bits

negate :: Bits -> Bits

abs :: Bits -> Bits

signum :: Bits -> Bits

fromInteger :: Integer -> Bits

Show Bits

Defined in Ersatz.Bits

Methods

showsPrec :: Int -> Bits -> ShowS

show :: Bits -> String

showList :: [Bits] -> ShowS

HasBits Bits

Defined in Ersatz.Bits

Methods

bits :: Bits -> Bits

Codec Bits

Defined in Ersatz.Bits

Associated Types

type Decoded Bits

Methods

decode :: Solution -> Bits -> Maybe (Decoded Bits)

encode :: Decoded Bits -> Bits

Equatable Bits

Defined in Ersatz.Bits

Methods

(===) :: Bits -> Bits -> Bit

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

Orderable Bits

Defined in Ersatz.Bits

Methods

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

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

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

(>?) :: Bits -> Bits -> Bit

type Decoded Bits

Defined in Ersatz.Bits

type Decoded Bits = Integer

class HasBits a where

HasBits provides the bits method for embedding fixed with numeric encoding types into the arbitrary width Bits type.

Methods

bits :: a -> Bits

Instances

HasBits Bit

Defined in Ersatz.Bits

Methods

bits :: Bit -> Bits

HasBits Bit1

Defined in Ersatz.Bits

Methods

bits :: Bit1 -> Bits

HasBits Bit2

Defined in Ersatz.Bits

Methods

bits :: Bit2 -> Bits

HasBits Bit3

Defined in Ersatz.Bits

Methods

bits :: Bit3 -> Bits

HasBits Bit4

Defined in Ersatz.Bits

Methods

bits :: Bit4 -> Bits

HasBits Bit5

Defined in Ersatz.Bits

Methods

bits :: Bit5 -> Bits

HasBits Bit6

Defined in Ersatz.Bits

Methods

bits :: Bit6 -> Bits

HasBits Bit7

Defined in Ersatz.Bits

Methods

bits :: Bit7 -> Bits

HasBits Bit8

Defined in Ersatz.Bits

Methods

bits :: Bit8 -> Bits

HasBits Bits

Defined in Ersatz.Bits

Methods

bits :: Bits -> Bits

isEven :: HasBits b => b -> Bit

Predicate for even-valued Bitss.

isOdd :: HasBits b => b -> Bit

Predicate for odd-valued Bitss.

sumBit :: Foldable t => t Bit -> Bits

Optimization of sumBits enabled when summing individual Bits.

sumBits :: (Foldable t, HasBits a) => t a -> Bits

Compute the sum of a source of Bits values.

Adders

fullAdder

Arguments

:: Bit

-> Bit

-> Bit

-> (Bit, Bit)

(sum, carry)

Compute the sum and carry bit from adding three bits.

halfAdder

Arguments

:: Bit

-> Bit

-> (Bit, Bit)

(sum, carry)

Compute the sum and carry bit from adding two bits.