Data.DFA.DOT

graphviz DOT format operations.

Support here is rudimentary. It is probably better to build it on top of one of the existing libraries on Hackage.

Documentation

writeToFile :: DFA -> FilePath -> (Label -> String) -> IO ()

Write DFA to a file with the given FilePath in graphviz DOT format, using the given labelling function.