ArrayVar is an indexed array with a signal attached to warn when the array is filled. each indexed elements starts empty (value=Nothing), and when the array is full, the signal is triggered. This is useful to wait for a serie of events to happen, and trigger a computation on the collected results.

Constructors

ArrayVar (Event (Message [(i, a)])) (V (Map i (Maybe a)))

newArrayVar :: (Ord i, Typeable a, Show a, Eq a, Typeable i, Show i) => VarName -> [i] -> Exp (ArrayVar i a)Source

initialize an empty ArrayVar

newArrayVar' :: (Ord i, Typeable a, Show a, Eq a, Typeable i, Show i) => VarName -> [i] -> ([(i, a)] -> Exp ()) -> Exp (ArrayVar i a)Source

initialize an empty ArrayVar, registering a callback that will be triggered when the array is filled

newArrayVarOnce :: (Ord i, Typeable a, Show a, Eq a, Typeable i, Show i) => VarName -> [i] -> ([(i, a)] -> Exp ()) -> Exp (ArrayVar i a)Source

initialize an empty ArrayVar, registering a callback. the callback will be triggered when the array is filled, and then the ArrayVar will be deleted

putArrayVar :: (Ord i, Typeable a, Show a, Eq a, Typeable i, Show i) => ArrayVar i a -> i -> a -> Exp ()Source

store one value and the given index. If this is the last filled element, the registered callbacks are triggered.

getArrayVarMessage :: (Ord i, Typeable a, Show a, Eq a, Typeable i, Show i) => ArrayVar i a -> Exp (Event (Message [(i, a)]))Source

get the messsage triggered when the array is filled

getArrayVarData :: (Ord i, Typeable a, Show a, Eq a, Typeable i, Show i) => ArrayVar i a -> Exp [(i, Maybe a)]Source

get the association array

getArrayVarData' :: (Ord i, Typeable a, Show a, Eq a, Typeable i, Show i) => ArrayVar i a -> Exp [(i, a)]Source

get the association array with only the filled values

delArrayVar :: (Ord i, Typeable a, Show a, Eq a, Typeable i, Show i) => ArrayVar i a -> Exp ()Source

Events

onEvent :: (Typeable e, Show e, Eq e) => Event e -> ((EventNumber, EventData e) -> Exp ()) -> Exp EventNumber Source

register a callback on an event

onEvent_ :: forall e. (Typeable e, Show e, Eq e) => Event e -> (EventData e -> Exp ()) -> Exp ()Source

register a callback on an event, disregard the event number

onEventOnce :: (Typeable e, Show e, Eq e) => Event e -> (EventData e -> Exp ()) -> Exp EventNumber Source

set an handler for an event that will be triggered only once

onEventOnce_ :: (Typeable e, Show e, Eq e) => Event e -> (EventData e -> Exp ()) -> Exp ()Source

set an handler for an event that will be triggered only once

delEvent :: EventNumber -> Exp Bool Source

delEvent_ :: EventNumber -> Exp ()Source

delAllEvents :: (Typeable e, Show e, Eq e) => Event e -> Exp ()Source

sendMessage :: (Typeable a, Show a, Eq a) => Event (Message a) -> a -> Exp ()Source

broadcast a message that can be catched by another rule

sendMessage_ :: Event (Message ()) -> Exp ()Source

onMessage :: (Typeable m, Show m) => Event (Message m) -> (EventData (Message m) -> Exp ()) -> Exp ()Source

subscribe on a message

onMessageOnce :: (Typeable m, Show m) => Event (Message m) -> (EventData (Message m) -> Exp ()) -> Exp ()Source

schedule :: Schedule Freq -> (UTCTime -> Exp ()) -> Exp ()Source

on the provided schedule, the supplied function will be called

executeAndScheduleNext :: (EventData Time -> Exp ()) -> Schedule Freq -> EventData Time -> Exp ()Source

schedule_ :: Schedule Freq -> Exp () -> Exp ()Source

schedule' :: [UTCTime] -> (UTCTime -> Exp ()) -> Exp ()Source

executeAndScheduleNext' :: (EventData Time -> Exp ()) -> [UTCTime] -> EventData Time -> Exp ()Source

schedule'_ :: [UTCTime] -> Exp () -> Exp ()Source

Rule management

activateRule :: RuleNumber -> Exp Bool Source

activate a rule: change its state to Active and execute it

activateRule_ :: RuleNumber -> Exp ()Source

rejectRule :: RuleNumber -> Exp Bool Source

reject a rule: change its state to Suppressed and suppresses all its environment (events, variables, inputs) the rule can be activated again later

rejectRule_ :: RuleNumber -> Exp ()Source

getRules :: Exp [Rule]Source

getActiveRules :: Exp [Rule]Source

getRule :: RuleNumber -> Exp (Maybe Rule)Source

getRulesByNumbers :: [RuleNumber] -> Exp [Rule]Source

getRuleFuncs :: Exp [RuleFunc]Source

addRule :: Rule -> Exp Bool Source

add a rule to the game, it will have to be activated

addRule_ :: Rule -> Exp ()Source

addRuleParams_ :: RuleName -> RuleFunc -> RuleCode -> RuleNumber -> String -> Exp ()Source

suppressRule :: RuleNumber -> Exp Bool Source

suppressRule_ :: RuleNumber -> Exp ()Source

suppressAllRules :: Exp Bool Source

modifyRule :: RuleNumber -> Rule -> Exp Bool Source

Inputs

inputChoice :: (Eq c, Show c) => PlayerNumber -> String -> [c] -> c -> Event (InputChoice c)Source

inputChoiceHead :: (Eq c, Show c) => PlayerNumber -> String -> [c] -> Event (InputChoice c)Source

inputChoiceEnum :: forall c. (Enum c, Bounded c, Typeable c, Eq c, Show c) => PlayerNumber -> String -> c -> Event (InputChoice c)Source

inputString :: PlayerNumber -> String -> Event InputString Source

onInputChoice :: (Typeable a, Eq a, Show a) => String -> [a] -> (EventNumber -> a -> Exp ()) -> PlayerNumber -> Exp EventNumber Source

triggers a choice input to the user. The result will be sent to the callback

onInputChoice_ :: (Typeable a, Eq a, Show a) => String -> [a] -> (a -> Exp ()) -> PlayerNumber -> Exp ()Source

the same, disregard the event number

onInputChoiceOnce :: (Typeable a, Eq a, Show a) => String -> [a] -> (a -> Exp ()) -> PlayerNumber -> Exp EventNumber Source

the same, suppress the event after first trigger

onInputChoiceOnce_ :: (Typeable a, Eq a, Show a) => String -> [a] -> (a -> Exp ()) -> PlayerNumber -> Exp ()Source

the same, disregard the event number

onInputChoiceEnum :: forall a. (Enum a, Bounded a, Typeable a, Eq a, Show a) => String -> a -> (EventNumber -> a -> Exp ()) -> PlayerNumber -> Exp EventNumber Source

triggers a choice input to the user, using an enumerate as input

onInputChoiceEnum_ :: forall a. (Enum a, Bounded a, Typeable a, Eq a, Show a) => String -> a -> (a -> Exp ()) -> PlayerNumber -> Exp ()Source

the same, disregard the event number

onInputChoiceEnumOnce_ :: forall a. (Enum a, Bounded a, Typeable a, Eq a, Show a) => String -> a -> (a -> Exp ()) -> PlayerNumber -> Exp ()Source

the same, suppress the event after first trigger

onInputString :: String -> (EventNumber -> String -> Exp ()) -> PlayerNumber -> Exp EventNumber Source

triggers a string input to the user. The result will be sent to the callback

onInputString_ :: String -> (String -> Exp ()) -> PlayerNumber -> Exp ()Source

asks the player pn to answer a question, and feed the callback with this data.

onInputStringOnce_ :: String -> (String -> Exp ()) -> PlayerNumber -> Exp ()Source

asks the player pn to answer a question, and feed the callback with this data.

Victory, players, output, time and self-number

setVictory :: [PlayerNumber] -> Exp ()Source

set victory to a list of players

giveVictory :: PlayerNumber -> Exp ()Source

give victory to one player

getPlayers :: Exp [PlayerInfo]Source

getPlayersNumber :: Exp Int Source

Get the total number of players

getAllPlayerNumbers :: Exp [PlayerNumber]Source

output :: String -> PlayerNumber -> Exp ()Source

outputs a message to one player

outputAll :: String -> Exp ()Source

getCurrentTime :: Exp UTCTime Source

getSelfRuleNumber :: Exp RuleNumber Source

allows a rule to retrieve its self number (for auto-deleting for example)

getSelfRule :: Exp Rule Source

getSelfProposedByPlayer :: Exp PlayerNumber Source

Rule samples

autoActivate :: RuleFunc Source

This rule will activate automatically any new rule.

immutableRule :: RuleNumber -> RuleFunc Source

This rule will forbid any new rule to delete the rule in parameter

legal :: RuleFunc Source

A rule will be always legal

illegal :: RuleFunc Source

A rule will be always illegal

simpleApplicationRule :: RuleFunc Source

This rule establishes a list of criteria rules that will be used to test any incoming rule the rules applyed shall give the answer immediatly

applyRule :: Rule -> Rule -> Exp Bool Source

checkWithMetarules :: Rule -> Exp RuleResponse Source

active metarules are automatically used to evaluate a given rule

maybeMetaRule :: Rule -> Maybe (OneParamRule Rule)Source

onRuleProposed :: (Rule -> Exp RuleResponse) -> RuleFunc Source

any new rule will be activate if all active meta rules returns True

data ForAgainst Source

Constructors

For
Against

Instances

Bounded ForAgainst
Enum ForAgainst
Eq ForAgainst
Read ForAgainst
Show ForAgainst
Typeable ForAgainst

voteWith :: ([(PlayerNumber, ForAgainst)] -> Bool) -> Rule -> Exp RuleResponse Source

rule that performs a vote for a rule on all players. The provided function is used to count the votes.

unanimity :: [(PlayerNumber, ForAgainst)] -> Bool Source

assess the vote results according to a unanimity

majority :: [(PlayerNumber, ForAgainst)] -> Bool Source

assess the vote results according to an absolute majority (half participants plus one)

activateOrReject :: Rule -> Bool -> Exp ()Source

voteWithTimeLimit :: ([(PlayerNumber, ForAgainst)] -> Bool) -> UTCTime -> RuleFunc Source

rule that performs a vote for a rule on all players. The provided function is used to count the votes, it will be called when every players has voted or when the time limit is reached

forEachPlayer :: (PlayerNumber -> Exp ()) -> (PlayerNumber -> Exp ()) -> (PlayerNumber -> Exp ()) -> Exp ()Source

perform an action for each current players, new players and leaving players

forEachPlayer_ :: (PlayerNumber -> Exp ()) -> Exp ()Source

perform the same action for each players, including new players

forEachPlayer' :: (PlayerNumber -> Exp a) -> ((PlayerNumber, a) -> Exp ()) -> Exp ()Source

createValueForEachPlayer :: Int -> V [(Int, Int)] -> Exp ()Source

create a value initialized for each players manages players joining and leaving

createValueForEachPlayer_ :: V [(Int, Int)] -> Exp ()Source

create a value initialized for each players initialized to zero manages players joining and leaving

modifyValueOfPlayer :: PlayerNumber -> V [(Int, Int)] -> (Int -> Int) -> Exp ()Source

modifyAllValues :: V [(Int, Int)] -> (Int -> Int) -> Exp ()Source

noPlayPlayer :: PlayerNumber -> RuleFunc Source