License | BSD-3-Clause |
---|---|
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- newtype RobotName = RobotName Text
- type IndexedTRobot = (Int, TRobot)
- type RobotMap = Map RobotName IndexedTRobot
- buildRobotMap :: [TRobot] -> RobotMap
- getThing :: Show k => Text -> (k -> m -> Maybe a) -> k -> ParserE m a
- getEntity :: Text -> ParserE EntityMap Entity
- getRobot :: RobotName -> ParserE RobotMap IndexedTRobot
Documentation
Instances
type IndexedTRobot = (Int, TRobot) Source #
A robot template paired with its definition's index within the Scenario file
type RobotMap = Map RobotName IndexedTRobot Source #
A map from names to robots, used to look up robots in scenario descriptions.
getThing :: Show k => Text -> (k -> m -> Maybe a) -> k -> ParserE m a Source #
Look up a thing by name, throwing a parse error if it is not found.