From 82be0282495fc698ee997989eb33ffcff3cb6233 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 26 Jul 2019 12:09:47 +0200 Subject: Move the imports to VeriFuzz.hs --- src/VeriFuzz.hs | 12 +++++++++++- src/VeriFuzz/Verilog.hs | 6 ------ 2 files changed, 11 insertions(+), 7 deletions(-) diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index b3b1ec6..4f52108 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -12,12 +12,21 @@ Portability : POSIX module VeriFuzz ( defaultMain + -- * Types , Opts(..) + , SourceInfo(..) + -- * Run functions , runEquivalence , runSimulation , runReduce , draw - , SourceInfo(..) + -- * Verilog generation functions + , procedural + , proceduralIO + , proceduralSrc + , proceduralSrcIO + , randomMod + -- * Extra modules , module VeriFuzz.Verilog , module VeriFuzz.Config , module VeriFuzz.Circuit @@ -52,6 +61,7 @@ import System.Random (randomIO) import VeriFuzz.Circuit import VeriFuzz.Config import VeriFuzz.Fuzz +import VeriFuzz.Generate import VeriFuzz.Reduce import VeriFuzz.Report import VeriFuzz.Result diff --git a/src/VeriFuzz/Verilog.hs b/src/VeriFuzz/Verilog.hs index 9df6bfd..4b5029c 100644 --- a/src/VeriFuzz/Verilog.hs +++ b/src/VeriFuzz/Verilog.hs @@ -16,11 +16,6 @@ module VeriFuzz.Verilog ( SourceInfo(..) , Verilog(..) , parseVerilog - , procedural - , proceduralIO - , proceduralSrc - , proceduralSrcIO - , randomMod , GenVerilog(..) , genSource -- * Primitives @@ -105,7 +100,6 @@ module VeriFuzz.Verilog ) where -import VeriFuzz.Generate import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen import VeriFuzz.Verilog.Parser -- cgit