Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
showDfaDelta :: (Monad m, Show st, Show sy) => [st] -> [sy] -> (st -> sy -> m st) -> m ([Char] -> [Char]) Source #
showElemsListPerLine :: [String] -> String Source #
showFinalStates' :: Show a => [a] -> [[Char]] Source #
showArrows :: (Monad m, Eq st, Show st, Show sy) => Dfa m st sy -> [st] -> Bool -> m [[Char]] Source #
buildLine :: (Monad m, Eq st, Show st, Show sy) => st -> (st -> sy -> m st) -> [st] -> Bool -> sy -> m [Char] Source #
deadstates' :: (Monad m, Eq st) => [st] -> [sy] -> (st -> sy -> m st) -> m [st] Source #