Restructure and add tests

1 files changed, 19 insertions, 0 deletions

diff --git a/app/Main.hs b/app/Main.hs
new file mode 100644
index 0000000..d41d46b
--- /dev/null
+++ b/app/Main.hs
@@ -0,0 +1,19 @@
+module Main where
+
+import           Data.Graph.Inductive
+import           Data.GraphViz
+import           Data.GraphViz.Attributes.Complete
+import           Data.Text.IO                      as T
+import           Data.Text.Lazy
+
+import           Test.VeriFuzz
+
+instance Labellable Gate where
+  toLabelValue gate = StrLabel . pack $ show gate
+
+main :: IO ()
+--main = sample (arbitrary :: Gen (Circuit Input))
+main = do
+  gr <- randomDAG 100 :: IO (Gr Gate ())
+--  _ <- runGraphviz (graphToDot quickParams $ emap (const "") gr) Png "output.png"
+  T.putStrLn $ generate gr