Game.Werewolf.Player

Players are quite simple in themselves. They have a name, role and state. Any complex behaviour is handled in Game.Werewolf.Command and Game.Werewolf.Engine.

Player

data Player

A player has a name, role and state. Any stateful information needed for a player's role is held on the Game itself.

N.B., player equality is defined on just the name.

Instances

Eq Player

Read Player

Show Player

name :: Lens' Player Text

role :: Lens' Player Role

state :: Lens' Player State

data State

Surprise surprise, players may be Dead or Alive.

Constructors

Alive

Dead

Instances

Eq State

Read State

Show State

_Alive :: Prism' State ()

_Dead :: Prism' State ()

newPlayer :: Text -> Role -> Player

Creates a new Alive player.

Traversals

crookedSenator :: Traversal' Player ()

The traversal of Players with a crookedSenatorRole.

crookedSenator = role . only crookedSenatorRole

druid :: Traversal' Player ()

The traversal of Players with a druidRole.

druid = role . only druidRole

fallenAngel :: Traversal' Player ()

The traversal of Players with an fallenAngelRole.

fallenAngel = role . only fallenAngelRole

hunter :: Traversal' Player ()

The traversal of Players with a hunterRole.

hunter = role . only hunterRole

jester :: Traversal' Player ()

The traversal of Players with a jesterRole.

jester = role . only jesterRole

orphan :: Traversal' Player ()

The traversal of Players with a orphanRole.

orphan = role . only orphanRole

protector :: Traversal' Player ()

The traversal of Players with a protectorRole.

protector = role . only protectorRole

scapegoat :: Traversal' Player ()

The traversal of Players with a scapegoatRole.

scapegoat = role . only scapegoatRole

seer :: Traversal' Player ()

The traversal of Players with a seerRole.

seer = role . only seerRole

simpleVillager :: Traversal' Player ()

The traversal of Players with a simpleVillagerRole.

simpleVillager = role . only simpleVillagerRole

simpleWerewolf :: Traversal' Player ()

The traversal of Players with a simpleWerewolfRole.

simpleWerewolf = role . only simpleWerewolfRole

trueVillager :: Traversal' Player ()

The traversal of Players with a trueVillagerRole.

trueVillager = role . only trueVillagerRole

villageDrunk :: Traversal' Player ()

The traversal of Players with a villageDrunkRole.

villageDrunk = role . only villageDrunkRole

witch :: Traversal' Player ()

The traversal of Players with a witchRole.

witch = role . only witchRole

villager :: Traversal' Player ()

The traversal of Players aligned with the Villagers.

villager = role . allegiance . _Villagers

werewolf :: Traversal' Player ()

The traversal of Players aligned with the Werewolves.

werewolf = role . allegiance . _Werewolves

These are provided just as a bit of sugar to avoid continually writing traverse ..

names :: Traversable t => Traversal' (t Player) Text

This Traversal provides the traversal of Player names.

names = traverse . name

roles :: Traversable t => Traversal' (t Player) Role

This Traversal provides the traversal of Player roles.

roles = traverse . role

states :: Traversable t => Traversal' (t Player) State

This Traversal provides the traversal of Player states.

states = traverse . state

N.B., these are not legal traversals for the same reason filtered isn't!

crookedSenators :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of crookedSenator Players.

crookedSenators = traverse . filtered (is crookedSenator)

druids :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of druid Players.

druids = traverse . filtered (is druid)

fallenAngels :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of fallenAngel Players.

fallenAngels = traverse . filtered (is fallenAngel)

hunters :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of hunter Players.

hunters = traverse . filtered (is hunter)

jesters :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of jester Players.

jesters = traverse . filtered (is jester)

orphans :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of orphan Players.

orphans = traverse . filtered (is orphan)

protectors :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of protector Players.

protectors = traverse . filtered (is protector)

scapegoats :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of scapegoat Players.

scapegoats = traverse . filtered (is scapegoat)

seers :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of seer Players.

seers = traverse . filtered (is seer)

simpleVillagers :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of simpleVillager Players.

simpleVillagers = traverse . filtered (is simpleVillager)

simpleWerewolves :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of simpleWerewolf Players.

simpleWerewolves = traverse . filtered (is simpleWerewolf)

trueVillagers :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of trueVillager Players.

trueVillagers = traverse . filtered (is trueVillager)

villageDrunks :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of villageDrunk Players.

villageDrunks = traverse . filtered (is villageDrunk)

witches :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of witch Players.

witches = traverse . filtered (is witch)

villagers :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of villager Players.

villagers = traverse . filtered (is villager)

werewolves :: Traversable t => Traversal' (t Player) Player

This Traversal provides the traversal of werewolf Players.

werewolves = traverse . filtered (is werewolf)

alive :: Traversal' Player Player

This Traversal provides the traversal of Alive Players.

alive = filtered (has $ state . _Alive)

dead :: Traversal' Player Player

This Traversal provides the traversal of Dead Players.

dead = filtered (has $ state . _Dead)

Utility functions

is :: Getting Any s a -> s -> Bool

The counter-part to isn't, but more general as it takes a Getting instead.

isn't :: Getting All s a -> s -> Bool

A re-write of isn't to be more general by taking a Getting instead.

filteredBy :: Eq b => Lens' a b -> b -> Traversal' a a

A companion to filtered that, rather than using a predicate, filters on the given lens for matches.