Idris2Doc : Graphics.DOT

Graphics.DOT

(source)
Reexports
import public Graphics.DOT.AST
import public Graphics.DOT.Utils
import public Graphics.DOT.Parser
import public Graphics.DOT.Interfaces
Definitions
data DOTError : Type
  The types of errors that can occur when processing a DOT/.gv file, combined
  with the respective error message.

  Totality: total
  Visibility: public export
  Constructors:
  
FError : String -> DOTError
  An error occurred when trying to read the file.
  
ParseError : String -> DOTError
  Something's wrong with the structure of the DOT in the file.

  Hint: 
Show DOTError
readDOTFile : HasIO io => String -> io (Either DOTError Graph)
  Given a file name, open it and lex and parse the DOT in it, returning the
  `Graph` node which is the root of the AST.
  
  @ fname the file name to read

  Visibility: export