Safe Haskell	None

Language.Nomyx.Rules

Description

Basic rules building blocks. for example, you can suppress rule 1 with: do suppressRule 1

Synopsis

Documentation

type RuleNumber = Int Source

type RuleCode = String Source

data RuleEvent Source

Constructors

Proposed
Activated
Rejected
Added
Modified
Deleted

Instances

Eq RuleEvent
Show RuleEvent
Typeable RuleEvent

data RuleStatus Source

the status of a rule.

Constructors

Active
Pending
Reject

Instances

Eq RuleStatus
Show RuleStatus
Typeable RuleStatus

type MetaRule = RuleInfo -> NomexNE Bool Source

A meta rule is a rule that can juge the legality of another rule.

activateRule :: RuleNumber -> Nomex Bool Source

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

activateRule_ :: RuleNumber -> Nomex ()Source

rejectRule :: RuleNumber -> Nomex 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 -> Nomex ()Source

getRules :: NomexNE [RuleInfo]Source

getActiveRules :: NomexNE [RuleInfo]Source

getRule :: RuleNumber -> NomexNE (Maybe RuleInfo)Source

getRulesByNumbers :: [RuleNumber] -> NomexNE [RuleInfo]Source

getRuleFuncs :: NomexNE [Nomex ()]Source

addRule :: RuleInfo -> Nomex Bool Source

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

addRule_ :: RuleInfo -> Nomex ()Source

addRuleParams :: RuleName -> Rule -> RuleCode -> String -> Nomex RuleNumber Source

getFreeRuleNumber :: NomexNE RuleNumber Source

suppressRule :: RuleNumber -> Nomex Bool Source

suppressRule_ :: RuleNumber -> Nomex ()Source

suppressAllRules :: Nomex Bool Source

modifyRule :: RuleNumber -> RuleInfo -> Nomex Bool Source

autoActivate :: Nomex ()Source

This rule will activate automatically any new rule.

activateOrReject :: RuleInfo -> Bool -> Nomex ()Source

activate or reject a rule

simulate :: Nomex a -> NomexNE Bool -> NomexNE Bool Source

simulate the execution of rule sim and then run rule test over the result

metaruleVar :: MsgVar [(String, MetaRule)]Source

The meta rules are stored in a list variable

createMetaruleVar :: Nomex ()Source

create the meta rule variable

addMetarule :: MetaRule -> String -> Nomex ()Source

add a new metarule to the list

testWithMetaRules :: RuleInfo -> NomexNE Bool Source

use the list of meta rules to juge a new rule

displayMetarules :: Nomex ()Source

legal :: MetaRule Source

A rule will be always legal

illegal :: MetaRule Source

A rule will be always illegal

noPlayPlayer :: PlayerNumber -> MetaRule Source

Player p cannot propose any more rules

immutableRule :: RuleNumber -> MetaRule Source

rule number rn cannot be deleted by any incoming rule we simulate the execution of an incoming rule to make sure it doesn't delete the immutable rule

autoDelete :: Nomex ()Source

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

eraseAllRules :: PlayerNumber -> Nomex Bool Source

All rules from player p are erased:

getSelfRuleNumber :: NomexNE RuleNumber Source

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

getSelfRule :: NomexNE RuleInfo Source

showRule :: Show a => a -> Exp Effect ()Source