Test.Robot.Internal
The Robot monad
data
Robot
a
runRobot
runRobotWith
connect
mkRobot
mkRobot'
Synthesizing events
switch
motion