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

SetGames

Documentation

natMultisetGame :: Game Nat -> Game [Nat]Source

natSetGame :: Game Nat -> Game [Nat]Source

compareByGame :: Game a -> a -> a -> OrderingSource

sortByGame :: Game a -> [a] -> [a]Source

removeEQ :: Game a -> a -> Maybe (Game a)Source

removeLE :: Game a -> a -> Maybe (Game a)Source

removeLT :: Game a -> a -> Game aSource

setGame :: Game a -> Game [a]Source

multisetGame :: Game a -> Game [a]Source