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/ASTGen.hs | 24 ++++++++++++------------ src/Test/VeriFuzz/Graph/CodeGen.hs | 22 +++++++++++----------- src/Test/VeriFuzz/Graph/Random.hs | 4 ++-- src/Test/VeriFuzz/Graph/RandomAlt.hs | 4 ++-- 4 files changed, 27 insertions(+), 27 deletions(-) (limited to 'src/Test/VeriFuzz/Graph') diff --git a/src/Test/VeriFuzz/Graph/ASTGen.hs b/src/Test/VeriFuzz/Graph/ASTGen.hs index d652752..2b241e1 100644 --- a/src/Test/VeriFuzz/Graph/ASTGen.hs +++ b/src/Test/VeriFuzz/Graph/ASTGen.hs @@ -1,5 +1,5 @@ {-| -Module : Test.VeriFuzz.Graph.ASTGen +Module : VeriFuzz.Graph.ASTGen Description : Generates the AST from the graph directly. Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,18 +10,18 @@ Portability : POSIX Generates the AST from the graph directly. -} -module Test.VeriFuzz.Graph.ASTGen where +module VeriFuzz.Graph.ASTGen where -import Data.Foldable (fold) -import Data.Graph.Inductive (LNode, Node) -import qualified Data.Graph.Inductive as G -import Data.Maybe (catMaybes) -import qualified Data.Text as T -import Test.VeriFuzz.Circuit -import Test.VeriFuzz.Internal.Gen -import Test.VeriFuzz.Internal.Shared -import Test.VeriFuzz.Verilog.AST -import Test.VeriFuzz.Verilog.Helpers +import Data.Foldable (fold) +import Data.Graph.Inductive (LNode, Node) +import qualified Data.Graph.Inductive as G +import Data.Maybe (catMaybes) +import qualified Data.Text as T +import VeriFuzz.Circuit +import VeriFuzz.Internal.Gen +import VeriFuzz.Internal.Shared +import VeriFuzz.Verilog.AST +import VeriFuzz.Verilog.Helpers -- | Converts a 'CNode' to an 'Identifier'. frNode :: Node -> Identifier 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 = " & " diff --git a/src/Test/VeriFuzz/Graph/Random.hs b/src/Test/VeriFuzz/Graph/Random.hs index 9483bdf..0514f6d 100644 --- a/src/Test/VeriFuzz/Graph/Random.hs +++ b/src/Test/VeriFuzz/Graph/Random.hs @@ -1,5 +1,5 @@ {-| -Module : Test.VeriFuzz.Graph.Random +Module : VeriFuzz.Graph.Random Description : Random generation for DAG Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,7 +10,7 @@ Portability : POSIX Define the random generation for the directed acyclic graph. -} -module Test.VeriFuzz.Graph.Random where +module VeriFuzz.Graph.Random where import Data.Graph.Inductive (Context, Graph, LEdge) import qualified Data.Graph.Inductive as G diff --git a/src/Test/VeriFuzz/Graph/RandomAlt.hs b/src/Test/VeriFuzz/Graph/RandomAlt.hs index 9fe72e2..d9ee138 100644 --- a/src/Test/VeriFuzz/Graph/RandomAlt.hs +++ b/src/Test/VeriFuzz/Graph/RandomAlt.hs @@ -1,5 +1,5 @@ {-|p -Module : Test.VeriFuzz.Graph.RandomAlt +Module : VeriFuzz.Graph.RandomAlt Description : RandomAlt generation for DAG Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,7 +10,7 @@ Portability : POSIX Define the random generation for the directed acyclic graph. -} -module Test.VeriFuzz.Graph.RandomAlt where +module VeriFuzz.Graph.RandomAlt where import Data.Graph.Inductive (Graph, LEdge, mkGraph) import qualified Data.Graph.Inductive.Arbitrary as G -- cgit