Network.Anticiv.Modules.Mafia.Core

Documentation

data MafiaState

Constructors

MafiaState

Fields

mafiaInitiator :: UserA

mafiaPlayers :: AVL (UserA, PlayerState)

voteScore :: AVL ((Subject, PlayerId), Int)

votedAlready :: [(Subject, PlayerId)]

mafiaDone :: Bool

triadDone :: Bool

partyDay :: Int

actionsDone :: AVL Card

safeTonight :: [PlayerId]

lostHandlers :: [HandlerA]

isNight :: Bool

coupledPlayers :: Maybe (PlayerId, PlayerId)

type MafiaStateA = Atom MafiaState

data PlayerState

Constructors

PlayerState

Fields

playerAlive :: Bool

playerCards :: [Card]

playerRoles :: [Role]

playerSaved :: Bool

NopeNotYet

Instances

Eq PlayerState

data FinishReason

Constructors

Deathmatch

JustinWon

Instances

Eq FinishReason

Ord FinishReason

Show FinishReason

data Subject

Constructors

Execution

MafiaKill

TriadKill

Instances

Eq Subject

Ord Subject

Show Subject

newtype PlayerId

Phantom type. Just to make sure. If a function gets a PlayerId passed, we're already sure it is contained in mafiaPlayers and don't need to handle the Nothing case any more, as it is already handled in toPID.

Constructors

UnsafePlayerId

Fields

fromPID :: UserA

Instances

Eq PlayerId

Ord PlayerId

Indexable PlayerId PlayerId PlayerId

toPID :: MafiaStateA -> UserA -> Anticiv (Maybe PlayerId)

withPID :: MafiaStateA -> UserA -> (PlayerId -> Anticiv ()) -> Anticiv ()

withAlivePID :: MafiaStateA -> UserA -> (PlayerId -> Anticiv ()) -> Anticiv ()

withInitiator :: MafiaStateA -> UserA -> (PlayerId -> Anticiv ()) -> Anticiv ()

forAllPlayers_ :: MafiaStateA -> (PlayerId -> Anticiv ()) -> Anticiv ()

forAllPlayers :: MafiaStateA -> (PlayerId -> Anticiv a) -> Anticiv [a]

forAllMafiosi :: MafiaStateA -> (PlayerId -> Anticiv a) -> Anticiv [a]

forAllMafiosi_ :: MafiaStateA -> (PlayerId -> Anticiv ()) -> Anticiv ()

forAllTriadists :: MafiaStateA -> (PlayerId -> Anticiv a) -> Anticiv [a]

forAllTriadists_ :: MafiaStateA -> (PlayerId -> Anticiv ()) -> Anticiv ()

forAllPred :: MafiaStateA -> (Role -> Bool) -> (PlayerId -> Anticiv a) -> Anticiv [a]

forAllPred_ :: MafiaStateA -> (Role -> Bool) -> (PlayerId -> Anticiv ()) -> Anticiv ()

(%|) :: (MafiaStateA, PlayerId) -> (Role -> Bool) -> Anticiv Bool

Tries to match a predicate on any of the player's roles

(%&) :: (MafiaStateA, PlayerId) -> (Role -> a) -> Anticiv a

Runs a function on the most important of the player's roles

(%|&) :: (MafiaStateA, PlayerId) -> (Role -> a) -> Anticiv a

Like %&, but makes sure the observation reveals an oblique result

(%&&) :: (MafiaStateA, PlayerId) -> (Role -> Role -> a) -> PlayerId -> Anticiv a

Like %&, but takes another player

seekRole :: Faction f => MafiaStateA -> f -> Anticiv [PlayerId]

seekUnusedRole :: Faction f => MafiaStateA -> f -> Anticiv [PlayerId]

seekCard :: Faction f => MafiaStateA -> PlayerId -> f -> Anticiv [Card]

seekUnusedCard :: Faction f => MafiaStateA -> PlayerId -> f -> Anticiv [Card]

isMafioso :: MafiaStateA -> PlayerId -> Anticiv Bool

isTriadist :: MafiaStateA -> PlayerId -> Anticiv Bool

pget :: MafiaStateA -> PlayerId -> Anticiv PlayerState

pgets :: MafiaStateA -> PlayerId -> (PlayerState -> a) -> Anticiv a

pput :: MafiaStateA -> PlayerId -> PlayerState -> Anticiv ()

pmodify :: MafiaStateA -> PlayerId -> (PlayerState -> PlayerState) -> Anticiv ()

joinParty :: MafiaStateA -> UserA -> Anticiv PlayerId

(#>) :: a -> Atom a -> Anticiv ()

(#<) :: (a -> b) -> Atom a -> Anticiv b

(<>#) :: Atom a -> (a -> a) -> Anticiv ()

(<>&) :: (MafiaStateA, PlayerId) -> (PlayerState -> PlayerState) -> Anticiv ()

(&>) :: PlayerState -> (MafiaStateA, PlayerId) -> Anticiv ()

(&<) :: (PlayerState -> a) -> (MafiaStateA, PlayerId) -> Anticiv a

selectRoles :: Int -> Anticiv [RoleCard]

chooseN :: Int -> [RoleProposal] -> Anticiv [RoleCard]

shuffle :: [a] -> Anticiv [a]

That's Fisher-Yates, if I remember correctly

assignRoles :: MafiaStateA -> Anticiv ()

hasVoted :: MafiaStateA -> PlayerId -> Subject -> Anticiv Bool

playerVote :: MafiaStateA -> PlayerId -> PlayerId -> Subject -> Speaker -> Anticiv Bool

partyFinished :: MafiaStateA -> Anticiv Bool

actionDone :: Faction f => MafiaStateA -> PlayerId -> f -> Anticiv ()