Data.ArithEncode.Basic

Basic Definitions

Constructors

data Encoding ty

mkEncoding

mkInfEncoding

Using Encodings

data IllegalArgument

encode

decode

size

inDomain

Building Encodings

Basic Encodings

identity

singleton

integral

interval

fromHashableList

fromOrdList

Constructions

Wrapping

wrap

Optional

optional

mandatory

Exclusion

nonzero

exclude

Unions

either

union

Products and Powers

pair

triple

quad

quint

sextet

septet

octet

nonet

dectet

power

Sets

set

hashSet

Sequences

seq

boundedSeq

Recursive

recursive

recursive2

recursive3

recursive4

recursive5

recursive6

recursive7

recursive8

recursive9

recursive10