every-bit-counts-0.1: A functional pearl on encoding and decoding using question-and-answer strategies

PGames

Documentation

data Void Source

data GamesOver whereSource

Constructors

NilGames :: GamesOver Void
ConsGames :: Int -> Game t -> GamesOver s -> GamesOver (Either t s)

data Game whereSource

Constructors

Single :: ISO t () -> Game t
Split :: ISO t s -> GamesOver s -> Game t

totalWeight :: GamesOver s -> Int Source

split3 :: ISO t (Either t1 (Either t2 (Either t3 Void))) -> Int -> Game t1 -> Int -> Game t2 -> Int -> Game t3 -> Game tSource

flat2 :: ISO t (Either t1 t2) -> ISO t (Either t1 (Either t2 Void))Source

flat3 :: ISO t (Either t1 (Either t2 t3)) -> ISO t (Either t1 (Either t2 (Either t3 Void)))Source

split2 :: ISO t (Either t1 t2) -> Int -> Game t1 -> Int -> Game t2 -> Game tSource

split :: ISO t (Either t1 t2) -> Game t1 -> Game t2 -> Game tSource

(+>) :: Game t -> ISO s t -> Game sSource

type Bit = Int Source

type MInterval = (Int, Int, Int)Source

type Interval = (Int, Int)Source

type EInterval = (Int, Interval)Source

w2 :: Int Source

w3 :: Int Source

w4 :: Int Source

w1 :: Int Source

e :: Int Source

unit :: Interval Source

narrow :: Interval -> MInterval -> Interval Source

nextBits :: EInterval -> Maybe ([Bit], EInterval)Source

enarrow :: EInterval -> MInterval -> EInterval Source

expand :: EInterval -> EInterval Source

bits :: Int -> Bit -> [Bit]Source

stream :: EInterval -> [MInterval] -> [Bit]Source

arithEncAux :: EInterval -> Game t -> t -> [Bit]Source

encodeSyms :: Game t -> t -> [MInterval]Source

enc :: Game t -> t -> [Bit]Source

decode :: EInterval -> [Bit] -> Game t -> tSource

ominus :: (Int, [Bit]) -> [Bit] -> (Int, [Bit])Source

fscale :: (Int, (Int, [Bit])) -> Int Source

destream :: EInterval -> (Int, [Bit]) -> Game t -> tSource

testGame :: Game t -> t -> tSource