-
-currentValueP = (symbol "If the current value is") *> writeValueP <* (symbol ":")
-
-stateWhenP = (,) <$> currentValueP <*> stateTransitionP
-
-stateDefP = (symbol "In state") *> (some letterChar) <* (symbol ":")
-
-stateRulesP = rulify <$> stateDefP <*> (stateWhenP `sepBy` space)
- where rulify s ts = M.fromList $ map (\(v, t) -> ((s, v), t)) ts
-
-manyStateRulesP = M.unions <$> (stateRulesP `sepBy` space)