- loadFsmEdges :: FilePath -> IO (FSM String)
- saveFsmEdges :: FSM String -> FilePath -> IO ()
- parseFsmEdges :: String -> ReadFsmMonad (FSM String)
- printFsmEdges :: FSM String -> String
I/O
Parsing
parseFsmEdges :: String -> ReadFsmMonad (FSM String)Source
Parse an FsmEdges-formatted FSM held in a string. Includes normalisation and well-formedness checks.
Pretty-printing
printFsmEdges :: FSM String -> StringSource
Pretty-print a string FSM in FsmMatrix format.