A Nomex (Nomyx Expression) allows the players to write rules. | within the rules, you can access and modify the state of the game. | It is a compositional algebra defined with a GADT.

Constructors

NewVar :: (Typeable a, Show a, Eq a) => VarName -> a -> Nomex (Maybe (V a))
ReadVar :: (Typeable a, Show a, Eq a) => V a -> Nomex (Maybe a)
WriteVar :: (Typeable a, Show a, Eq a) => V a -> a -> Nomex Bool
DelVar :: V a -> Nomex Bool
OnEvent :: (Typeable e, Show e, Eq e) => Event e -> ((EventNumber, EventData e) -> Nomex ()) -> Nomex EventNumber
DelEvent :: EventNumber -> Nomex Bool
DelAllEvents :: (Typeable e, Show e, Eq e) => Event e -> Nomex ()
SendMessage :: (Typeable a, Show a, Eq a) => Event (Message a) -> a -> Nomex ()
ProposeRule :: Rule -> Nomex Bool
ActivateRule :: RuleNumber -> Nomex Bool
RejectRule :: RuleNumber -> Nomex Bool
AddRule :: Rule -> Nomex Bool
DelRule :: RuleNumber -> Nomex Bool
ModifyRule :: RuleNumber -> Rule -> Nomex Bool
GetRules :: Nomex [Rule]
GetPlayers :: Nomex [PlayerInfo]
SetPlayerName :: PlayerNumber -> PlayerName -> Nomex Bool
DelPlayer :: PlayerNumber -> Nomex Bool
SetVictory :: [PlayerNumber] -> Nomex ()
Output :: PlayerNumber -> String -> Nomex ()
CurrentTime :: Nomex UTCTime
SelfRuleNumber :: Nomex RuleNumber
Return :: a -> Nomex a
Bind :: Nomex a -> (a -> Nomex b) -> Nomex b
ThrowError :: String -> Nomex a
CatchError :: Nomex a -> (String -> Nomex a) -> Nomex a

Instances

Monad Nomex
Functor Nomex
Typeable1 Nomex
Applicative Nomex
MonadError String Nomex
Show a => Show (Nomex a)
Boolean (Nomex BoolResp)

Variables

data V a Source

a container for a variable name and type

Constructors

V
Fields varName :: String

Instances

Typeable1 V

data Var Source

stores the variable's data

Constructors

forall a . (Typeable a, Show a, Eq a) => Var
Fields _vRuleNumber :: Int _vName :: String vData :: a

Instances

Eq Var
Show Var

type Output = (PlayerNumber, String)Source

type Id a = aSource

Events

data Player Source

events types

Constructors

Arrive
Leave

Instances

Eq Player
Show Player
Typeable Player

data RuleEvent Source

Constructors

Proposed
Activated
Rejected
Added
Modified
Deleted

Instances

Eq RuleEvent
Show RuleEvent
Typeable RuleEvent

data Time Source

Instances

Eq Time
Show Time
Typeable Time

data EvRule Source

Instances

Eq EvRule
Typeable EvRule

data Message m Source

Instances

Typeable1 Message
Eq (Message m)
Show a => Show (Message a)

data InputChoice c Source

Instances

Typeable1 InputChoice
Eq (InputChoice a)
Show a => Show (InputChoice a)

data InputString Source

Instances

Eq InputString
Show InputString
Typeable InputString

data Victory Source

Instances

Eq Victory
Show Victory
Typeable Victory

data Event a whereSource

events names

Constructors

Player :: Player -> Event Player
RuleEv :: RuleEvent -> Event RuleEvent
Time :: UTCTime -> Event Time
Message :: String -> Event (Message m)
InputChoice :: (Eq c, Show c) => PlayerNumber -> String -> [c] -> c -> Event (InputChoice c)
InputString :: PlayerNumber -> String -> Event InputString
Victory :: Event Victory

Instances

Typeable1 Event
Eq e => Eq (Event e)
Show a => Show (Event a)

data EventData a whereSource

data associated with each events

Constructors

PlayerData :: PlayerInfo -> EventData Player
Fields playerData :: PlayerInfo
RuleData :: Rule -> EventData RuleEvent
Fields ruleData :: Rule
TimeData :: UTCTime -> EventData Time
Fields timeData :: UTCTime
MessageData :: Show m => m -> EventData (Message m)
Fields messageData :: m
InputChoiceData :: Show c => c -> EventData (InputChoice c)
Fields inputChoiceData :: c
InputStringData :: String -> EventData InputString
Fields inputStringData :: String
VictoryData :: [PlayerInfo] -> EventData Victory
Fields victoryData :: [PlayerInfo]

Instances

Typeable1 EventData
Show a => Show (EventData a)

data EventStatus Source

Constructors

EvActive
EvDeleted

Instances

Eq EventStatus
Show EventStatus

data EventHandler whereSource

Constructors

EH :: (Typeable e, Show e, Eq e) => EventNumber -> RuleNumber -> Event e -> ((EventNumber, EventData e) -> Nomex ()) -> EventStatus -> EventHandler
Fields _eventNumber :: EventNumber _ruleNumber :: RuleNumber event :: Event e handler :: (EventNumber, EventData e) -> Nomex () _evStatus :: EventStatus

Instances

Eq EventHandler
Ord EventHandler
Show EventHandler

type Msg a = Event (Message a)Source

type MsgData a = EventData (Message a)Source

Rule

type RuleFunc = Nomex RuleResp Source

Type of a rule function.

data RuleResp Source

Return type of a rule function. it can be either nothing or another rule.

Constructors

Void
Meta (Rule -> Nomex BoolResp)

Instances

Show RuleResp
Typeable RuleResp

data BoolResp Source

Constructors

BoolResp Bool
MsgResp (Msg Bool)

Instances

Boolean (Nomex BoolResp)

data Rule Source

An informationnal structure about a rule

Constructors

Rule
Fields _rNumber :: RuleNumber _rName :: RuleName _rDescription :: String _rProposedBy :: PlayerNumber _rRuleCode :: Code _rRuleFunc :: RuleFunc _rStatus :: RuleStatus _rAssessedBy :: Maybe RuleNumber

Instances

Eq Rule
Ord Rule
Show Rule
Typeable Rule
Votable Rule
Bounded (Alts Rule)
Enum (Alts Rule)
Eq (Alts Rule)
Ord (Alts Rule)
Read (Alts Rule)
Show (Alts Rule)

data RuleStatus Source

the status of a rule.

Constructors

Active
Pending
Reject

Instances

Eq RuleStatus
Show RuleStatus
Typeable RuleStatus

data SubmitRule Source

Constructors

SubmitRule RuleName RuleDesc RuleCode

Instances

Eq SubmitRule
Data SubmitRule
Ord SubmitRule
Read SubmitRule
Show SubmitRule
Typeable SubmitRule

Player

data PlayerInfo Source

informations on players

Constructors

PlayerInfo
Fields _playerNumber :: PlayerNumber _playerName :: String

Instances

Eq PlayerInfo
Ord PlayerInfo
Show PlayerInfo
Typeable PlayerInfo

Game

data Game Source

The state of the game:

Constructors

Game
Fields _gameName :: GameName _gameDesc :: GameDesc _rules :: [Rule] _players :: [PlayerInfo] _variables :: [Var] _events :: [EventHandler] _outputs :: [Output] _victory :: [PlayerNumber] _currentTime :: UTCTime