HaLeX-1.2.2: HaLeX enables modelling, manipulation and animation of regular languages

Safe HaskellNone
LanguageHaskell98

Language.HaLex.Examples.Robot

Documentation

ex :: Dfa [Char] [Char] Source #

moves :: [[Char]] Source #

moves2 :: [[Char]] Source #

moves3 :: [[Char]] Source #

moves4 :: [[Char]] Source #

g :: IO () Source #

robotM :: Dfa Maybe [Char] [Char] Source #

acc :: Maybe Bool Source #

robotM2 :: Dfa IO [Char] [Char] Source #

acc2 :: IO Bool Source #

exShow :: IO () Source #