aboutsummaryrefslogtreecommitdiffstats
path: root/app
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2018-12-15 20:18:08 +0000
committerYann Herklotz <ymherklotz@gmail.com>2018-12-15 20:18:08 +0000
commite74aa25c176df5dd1291b8ae3ff883ef67cb3f04 (patch)
tree00e56a391fbba89242a3cabb51b40c7dbfc31873 /app
parent86bc5c8596085d308df5d2c6ae5522bfb0ba50e0 (diff)
downloadverismith-e74aa25c176df5dd1291b8ae3ff883ef67cb3f04.tar.gz
verismith-e74aa25c176df5dd1291b8ae3ff883ef67cb3f04.zip
Add qualified imports
Diffstat (limited to 'app')
-rw-r--r--app/Main.hs25
1 files changed, 12 insertions, 13 deletions
diff --git a/app/Main.hs b/app/Main.hs
index c551ea5..bb2697a 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -1,22 +1,21 @@
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 qualified Data.Graph.Inductive as G
+import qualified Data.GraphViz as Gviz
+import qualified Data.GraphViz.Attributes.Complete as Gviz
+import qualified Data.Text.IO as T
+import qualified Data.Text.Lazy as T
import qualified Test.QuickCheck as QC
-
import Test.VeriFuzz
-instance Labellable Gate where
- toLabelValue gate = StrLabel . pack $ show gate
+instance Gviz.Labellable Gate where
+ toLabelValue gate = Gviz.StrLabel . T.pack $ show gate
main :: IO ()
--main = sample (arbitrary :: Gen (Circuit Input))
main = do
- gr <- genRandomDAG 100 :: IO (Gr Gate ())
--- _ <- runGraphviz (graphToDot quickParams $ emap (const "") gr) Png "output.png"
- T.putStrLn $ generate gr
- g <- QC.generate (QC.arbitrary :: QC.Gen SourceText)
- render $ genSourceText g
+ gr <- genRandomDAG 100 :: IO (G.Gr Gate ())
+-- _ <- runGraphviz (graphToDot quickParams $ emap (const "") gr) Png "output.png",
+-- T.putStrLn $ generate gr
+ --g <- QC.generate (QC.arbitrary :: QC.Gen SourceText)
+ render . genSourceText . generateAST $ Circuit gr