Haverer.Round

data Round playerId

makeRound

playTurn

playTurn'

data BadAction playerId

data Result playerId

data Event playerId

currentPlayer

currentTurn

getActivePlayers

getBurnCard

getPlayer

getPlayerMap

getPlayers

getWinners

nextPlayer

remainingCards

data Victory playerId

survivors

victory

prop_allCardsPresent

prop_burnCardsSame

prop_multipleActivePlayers

prop_ringIsActivePlayers