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

BasicGames

Documentation

unitGame :: Game ()Source

boolGame :: Game BoolSource

constGame :: t -> Game tSource

geNatGame :: Nat -> Game NatSource

unaryNatGame :: Game NatSource

rangeGame :: Nat -> Nat -> Game NatSource

binNatGame :: Game NatSource

flipGame :: Game a -> Game aSource

sumGame :: Game t -> Game s -> Game (Either t s)Source

prodGame :: Game t -> Game s -> Game (t, s)Source

ilGame :: Game t -> Game s -> Game (t, s)Source

depGame :: Game t -> (t -> Game s) -> Game (t, s)Source

listGame :: Game t -> Game [t]Source

vecGame :: Game t -> Nat -> Game [t]Source

listGame' :: Game t -> Game [t]Source