TurnLoop.Types

Documentation

type Many rep a = rep -> a

data Step state terminal

Constructors

Step

Fields

• sState :: state
• sTerminal :: Maybe terminal

Instances

(Eq terminal, Eq state) => Eq (Step state terminal)

Methods

(==) :: Step state terminal -> Step state terminal -> Bool

(/=) :: Step state terminal -> Step state terminal -> Bool

(Show terminal, Show state) => Show (Step state terminal)

Methods

showsPrec :: Int -> Step state terminal -> ShowS

show :: Step state terminal -> String

showList :: [Step state terminal] -> ShowS

data Result sessionId rep userId state extra

Constructors

Result

Fields

• rStarter :: Starter sessionId rep userId
• rState :: state
• rExtra :: extra

data Starter sessionId rep userId

Constructors

Starter

Fields

• sSessionId :: sessionId
• sUserIds :: Many rep userId

data Registry userId user m

Constructors

Registry

Fields

• rInsertUser :: user -> m userId
• rGetUserById :: userId -> m (Maybe user)

data Lobby sessionId rep userId m

Constructors

Lobby

Fields

• lTransferUser :: userId -> m (Maybe (Starter sessionId rep userId))
• lDequeueUser :: sessionId -> m (Maybe userId)
• lAnnounceSession :: Starter sessionId rep userId -> m ()

data SessionEntry rep input state terminal m

Constructors

SessionEntry

Fields

• seThread :: Thread m
• seGames :: Many rep (Session input state terminal)

data Session input state terminal

Constructors

Session

Fields

• sInput :: Chan input
• sStep :: Chan (Step state terminal)

data SessionRecord userId rep input state terminal m

Constructors

SessionRecord

Fields

• srThread :: Thread m
• srLabeled :: Many rep (LabeledSession userId input state terminal)

data LabeledSession userId input state terminal

Constructors

LabeledSession

Fields

• lsUserId :: userId
• lsSession :: Session input state terminal

data Sessions sessionId userId rep input state terminal m

Constructors

Sessions

Fields

• sInsertSession :: (sessionId, SessionRecord userId rep input state terminal m) -> m ()
• sFindSession :: sessionId -> m (Maybe (SessionRecord userId rep input state terminal m))
• sRemoveSession :: sessionId -> m ()

data Results sessionId rep userId state extra m

Constructors

Results

Fields

• rSaveResult :: Result sessionId rep userId state extra -> m ()
• rFindResult :: sessionId -> m (Maybe (Result sessionId rep userId state extra))

data Thread m

Constructors

Thread

Fields

• tThreadId :: ThreadId
• tKill :: m ()

data Components sessionId rep userId user input state extra terminal m

Constructors

Components

Fields

• cLobby :: Lobby sessionId rep userId m
• cSessions :: Sessions sessionId userId rep input state terminal m
• cRegistry :: Registry userId user m
• cResults :: Results sessionId rep userId state extra m