Idris2Doc : Graphics.DOT.Parser

Graphics.DOT.Parser

(source)
Definitions
parse : List (WithBounds DOTToken) -> Either (List1 (ParsingError DOTToken)) (ParsingWarnings, (Graph, List (WithBounds DOTToken)))
  Totality: total
  Visibility: export