every-bit-counts-0.1: A functional pearl on encoding and decoding using question-and-answer strategies
BasicGames
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