 | moltap | Contents | Index |
| Moltap.Base.Agents |
|
| Contents |
| type Agent = String | ||||
| ||||
| listAgents :: [Agent] -> Agents | ||||
| allAgents :: Agents | ||||
| isNoAgents :: Agents -> Bool | ||||
| isAllAgents :: Agents -> Bool | ||||
| showAgents :: String -> Agents -> ShowS | ||||
| unionAgents :: Agents -> Agents -> Agents | ||||
| intersectAgents :: Agents -> Agents -> (Agents, Agents) | ||||
| splitMatchingAgents :: Agents -> [(Agents, b)] -> [(Agents, [b])] | ||||
| forMatchingAgents :: MonadPlus m => Agents -> [(Agents, c)] -> (Agents -> [c] -> m b) -> m b | ||||
data AxiomSet = AxiomSet {
| ||||
| axTD :: AxiomSet -> Bool | ||||
| systemK :: AxiomSet | ||||
| systemS4 :: AxiomSet | ||||
| systemS5 :: AxiomSet | ||||
| data Axioms | ||||
| axioms :: AxiomSet -> Axioms | ||||
| hasAxiom :: (AxiomSet -> Bool) -> Agents -> Axioms -> Bool |
| A set of agents | ||||
| Constructors | ||||
| ||||
 Instances | ||||
Give the intersection and difference of two sets of agents
intersectAgents a b = (agents in both a and b, agents only in a)
Collect b values for matching agent sets, split the agent set a if necessary.
For example:
splitMatchingAgents {w,x,y,z} [({w,x,y},A), ({y,z,v},B), ({u},C)]
== [({w,x},[A]), ({y},[A,B]), ({z},[])]
| :: MonadPlus m | |
| => Agents | |
| -> [(Agents, c)] | Actions to match |
| -> (Agents -> [c] -> m b) | Action to perform for each subset |
| -> m b | |
| Collect c values for matching agent sets. Perform an action for each resuling subset. | |
| Additional axioms that can hold | ||||||
| Constructors | ||||||
| ||||||
| Instances | ||||||
| Instances |