From 3f1190cd7fc873449a1fd430386aa4b773d010ac Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 10 Jan 2019 15:48:13 +0000 Subject: Rename module names so that I can move them --- src/Test/VeriFuzz/Graph/CodeGen.hs | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'src/Test/VeriFuzz/Graph/CodeGen.hs') diff --git a/src/Test/VeriFuzz/Graph/CodeGen.hs b/src/Test/VeriFuzz/Graph/CodeGen.hs index b890a04..0d23044 100644 --- a/src/Test/VeriFuzz/Graph/CodeGen.hs +++ b/src/Test/VeriFuzz/Graph/CodeGen.hs @@ -1,5 +1,5 @@ {-| -Module : Test.VeriFuzz.Graph.Random +Module : VeriFuzz.Graph.Random Description : Code generation directly from DAG. Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,19 +10,19 @@ Portability : POSIX Define the code generation directly from the random DAG. -} -module Test.VeriFuzz.Graph.CodeGen +module VeriFuzz.Graph.CodeGen ( generate ) where -import Data.Foldable (fold) -import Data.Graph.Inductive (Graph, LNode, Node, indeg, - labNodes, nodes, outdeg, pre) -import Data.Maybe (fromMaybe) -import Data.Text (Text) -import qualified Data.Text as T -import Test.VeriFuzz.Circuit -import Test.VeriFuzz.Internal.Gen -import Test.VeriFuzz.Internal.Shared +import Data.Foldable (fold) +import Data.Graph.Inductive (Graph, LNode, Node, indeg, labNodes, + nodes, outdeg, pre) +import Data.Maybe (fromMaybe) +import Data.Text (Text) +import qualified Data.Text as T +import VeriFuzz.Circuit +import VeriFuzz.Internal.Gen +import VeriFuzz.Internal.Shared toOperator :: Gate -> Text toOperator And = " & " -- cgit