|
| Language.HaLex.FaAsDiGraph | | Portability | portable | | Stability | provisional | | Maintainer | jas@di.uminho.pt |
|
|
|
| Description |
| Finite Automata as Directed Graphs in GraphViz.
Code Included in the Lecture Notes on
Language Processing (with a functional flavour).
|
|
| Synopsis |
|
| ndfa2graphviz :: (Show st, Eq sy, Show sy, Ord st) => Ndfa st sy -> [Char] -> [Char] | | | ndfa2graphviz2file :: (Show st, Eq sy, Show sy, Ord st) => Ndfa st sy -> [Char] -> IO () | | | dfa2graphviz :: (Show st, Eq sy, Show sy, Ord st) => Dfa st sy -> [Char] -> [Char] | | | dfa2graphviz2file :: (Show st, Eq sy, Show sy, Ord st) => Dfa st sy -> [Char] -> IO () | | | tographviz :: (Eq sy, Show sy, Ord st, Show st) => Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> [Char] | | | tographvizIO :: (Eq sy, Show sy, Ord st, Show st) => Ndfa st sy -> [Char] -> [Char] -> [Char] -> (st -> [Char]) -> IO () | | | dfa2DiGraphWithNoSyncSt :: (Show st, Eq sy, Show sy, Ord st) => Dfa st sy -> [Char] -> [Char] | | | dfaDiGraphWithNoSyncStIO :: (Show st, Eq sy, Show sy, Ord st) => Dfa st sy -> [Char] -> FilePath -> IO () | | | genOneArrow :: Show a => [Char] -> a -> [Char] -> [Char] |
|
|
| Documentation |
|
|
|
|
|
|
|
|
|
|
| :: (Eq sy, Show sy, Ord st, Show st) | | | => Ndfa st sy | Graph's name
| | -> [Char] | Node's shape
| | -> [Char] | Orientation
| | -> [Char] | Show function to print the state ids
| | -> st -> [Char] | | | -> [Char] | | Print a Ndfa in GraphViz
Print a Ndfa in GraphViz in a file
Print a Dfa in GraphViz
Print a Dfa in GraphViz in a file
Print a Ndfa in GraphViz
|
|
|
|
|
|
|
|
|
|
|
| Produced by Haddock version 2.6.0 |
