|
|
|
|
|
Documentation |
|
|
Constructors | Dfa [sy] [st] st [st] (st -> sy -> m st) | |
|
|
|
dfawalk :: Monad m => (st -> sy -> m st) -> st -> [sy] -> m st | Source |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(<->) :: Eq a => [a] -> [a] -> [a] | Source |
|
|
|
|
|
|
deadstates' :: (Monad m, Eq st) => [st] -> [sy] -> (st -> sy -> m st) -> m [st] | Source |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.6.0 |