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

FilterGames

Documentation

voidGame :: Game tSource

filterGame :: (t -> Bool) -> Game t -> Game tSource

filterGameOpt :: (t -> Bool) -> Game t -> Maybe (Game t)Source

filterFinGame :: (t -> Bool) -> Game t -> Maybe (Game t)Source

pre_filterGame_inf :: Eq t => Game t -> (t -> Bool) -> Game tSource

filterInfGame :: forall t. Eq t => (t -> Bool) -> Game t -> Game tSource

unfoldUntil :: Game t -> (t, Game t)Source

unfoldOne :: forall t. Game t -> Game tSource

find :: forall t. Game t -> Either (t, Game t) (Game t)Source

shufflePartition :: forall t. Game t -> Game tSource