HaLeX-1.2.6: HaLeX enables modelling, manipulation and visualization of regular languages
Language.HaLex.Examples.Real
sinal'' :: RegExp Char Source #
d :: RegExp Char Source #
re_int :: RegExp Char Source #
intdfa :: Dfa Int Char Source #
d' :: RegExp Char Source #
re_real :: RegExp Char Source #
re_real' :: RegExp Char Source #
cre_real :: [Char] Source #
realdfa' :: Dfa Int Char Source #
realdfa'' :: Dfa Int Char Source #
realdfa''' :: Dfa Int Char Source #
realdfa'''' :: Dfa Int Char Source #
genGraph :: (Eq sy, Show st, Show sy, Ord st) => Ndfa st sy -> [Char] -> [Char] -> (st -> [Char]) -> IO () Source #
realdfa :: Dfa Char Char Source #
delta_realdfa :: Char -> Char -> Char Source #
isreal :: String -> Bool Source #
realndfa :: Ndfa Char Char Source #
deltaNdfa :: Char -> Maybe Char -> [Char] Source #
isrealNdfa :: [Char] -> Bool Source #