Language.Nomyx.Rule

Basic rules examples.

Documentation

autoActivate :: RuleFunc

This rule will activate automatically any new rule.

legal :: RuleFunc

This rule will forbid any new rule to delete the rule in parameter immutableRule :: RuleNumber -> RuleFunc immutableRule rn = return $ Meta f where f r = do protectedRule <- getRule rn case protectedRule of Just pr -> case _rRuleFunc r of RuleRule paramRule -> paramRule pr _ -> return $ BoolResp True Nothing -> return $ BoolResp True

A rule will be always legal

illegal :: RuleFunc

A rule will be always illegal

maybeMetaRule :: Rule -> Nomex (Maybe (Rule -> Nomex BoolResp))

active metarules are automatically used to evaluate a given rule checkWithMetarules :: Rule -> Nomex (Event (Message ForAgainst) checkWithMetarules rule = do rs <- getActiveRules (metas :: [Rule -> Nomex BoolResp]) <- mapMaybeM maybeMetaRule rs let (evals :: [Nomex BoolResp]) = map (meta -> meta rule) metas foldr (&&*) true evals

activateOrReject :: Rule -> Bool -> Nomex ()

activate or reject a rule

forEachPlayer :: (PlayerNumber -> Nomex ()) -> (PlayerNumber -> Nomex ()) -> (PlayerNumber -> Nomex ()) -> Nomex ()

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

forEachPlayer_ :: (PlayerNumber -> Nomex ()) -> Nomex ()

perform the same action for each players, including new players

createValueForEachPlayer :: Int -> MsgVar [(Int, Int)] -> Nomex ()

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

createValueForEachPlayer_ :: MsgVar [(Int, Int)] -> Nomex ()

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

getValueOfPlayer :: PlayerNumber -> MsgVar [(Int, Int)] -> Nomex (Maybe Int)

modifyValueOfPlayer :: PlayerNumber -> MsgVar [(Int, Int)] -> (Int -> Int) -> Nomex ()

modifyAllValues :: MsgVar [(Int, Int)] -> (Int -> Int) -> Nomex ()

noPlayPlayer :: PlayerNumber -> RuleFunc

Player p cannot propose anymore rules

autoDelete :: Nomex ()

a rule can autodelete itself (generaly after having performed some actions)

eraseAllRules :: PlayerNumber -> Nomex Bool

All rules from player p are erased:

showPlayer :: Nomex (PlayerNumber -> String)