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

angel :: Traversal' Player ()

The traversal of Players with an angelRole.

angel = role . only angelRole

devotedServant :: Traversal' Player ()

The traversal of Players with a devotedServantRole.

devotedServant = role . only devotedServantRole

druid :: Traversal' Player ()

The traversal of Players with a druidRole.

druid = role . only druidRole

jester :: Traversal' Player ()

The traversal of Players with a jesterRole.

jester = role . only jesterRole

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

villagerVillager :: Traversal' Player ()

The traversal of Players with a villagerVillagerRole.

villagerVillager = role . only villagerVillagerRole

wildChild :: Traversal' Player ()

The traversal of Players with a wildChildRole.

wildChild = role . only wildChildRole

witch :: Traversal' Player ()

The traversal of Players with a witchRole.

witch = role . only witchRole

wolfHound :: Traversal' Player ()

The traversal of Players with a wolfHoundRole.

wolfHound = role . only wolfHoundRole

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!

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

This Traversal provides the traversal of angel Players.

angels = traverse . filtered (is angel)

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

This Traversal provides the traversal of devotedServant Players.

devotedServants = traverse . filtered (is devotedServant)

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

This Traversal provides the traversal of druid Players.

druids = traverse . filtered (is druid)

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

This Traversal provides the traversal of jester Players.

jesters = traverse . filtered (is jester)

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)

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

This Traversal provides the traversal of villagerVillager Players.

villagerVillagers = traverse . filtered (is villagerVillager)

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

This Traversal provides the traversal of wildChild Players.

wildChildren = traverse . filtered (is wildChild)

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

This Traversal provides the traversal of witch Players.

witches = traverse . filtered (is witch)

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

This Traversal provides the traversal of wolfHound Players.

wolfHounds = traverse . filtered (is wolfHound)

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.