[ v0.1.2 ] Add DOTAble interface

This allows for types to specify that they can be converted into a `DOT` AST.
CodingCellist · Apr 5, 2022 · 935525e · 935525e
1 parent 3bf4840
commit 935525e
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/dot-parse.ipkg b/dot-parse.ipkg
@@ -1,5 +1,5 @@
 package dot-parse
-version = 0.1.1
+version = 0.1.2
 authors = "Thomas E. Hansen (CodingCellist)"
 -- maintainers =
 license = "BSD-3-Clause"

diff --git a/sirdi.json b/sirdi.json
@@ -1,5 +1,5 @@
 [ { "name": "dot-parse"
-  , "version": "0.1.1"
+  , "version": "0.1.2"
   , "license": "BSD-3-Clause"
   , "authors": "Thomas E. Hansen (CodingCellist)"
   , "modules": [ "Graphics.DOT.Lexer"

diff --git a/src/Graphics/DOT/AST.idr b/src/Graphics/DOT/AST.idr
@@ -77,6 +77,11 @@ data DOT : Type where
   CenterCPt : DOT
   UnderCPt : DOT
 
+||| The type `a` can be converted to a DOT/graphviz AST.
+public export
+interface DOTAble a where
+  ||| Convert `a` to its `DOT` representation.
+  toDOT : a -> DOT
 
 export
 covering