diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:18:08 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:18:08 +0000 |
commit | e74aa25c176df5dd1291b8ae3ff883ef67cb3f04 (patch) | |
tree | 00e56a391fbba89242a3cabb51b40c7dbfc31873 /app/Main.hs | |
parent | 86bc5c8596085d308df5d2c6ae5522bfb0ba50e0 (diff) | |
download | verismith-e74aa25c176df5dd1291b8ae3ff883ef67cb3f04.tar.gz verismith-e74aa25c176df5dd1291b8ae3ff883ef67cb3f04.zip |
Add qualified imports
Diffstat (limited to 'app/Main.hs')
-rw-r--r-- | app/Main.hs | 25 |
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 |