diff options
Diffstat (limited to 'src/VeriFuzz/ASTGen.hs')
-rw-r--r-- | src/VeriFuzz/ASTGen.hs | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/VeriFuzz/ASTGen.hs b/src/VeriFuzz/ASTGen.hs index 41f905d..5730f50 100644 --- a/src/VeriFuzz/ASTGen.hs +++ b/src/VeriFuzz/ASTGen.hs @@ -1,5 +1,5 @@ {-| -Module : VeriFuzz.Circuit.ASTGen +Module : VeriFuzz.ASTGen Description : Generates the AST from the graph directly. Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,17 +10,17 @@ Portability : POSIX Generates the AST from the graph directly. -} -module VeriFuzz.Circuit.ASTGen where +module VeriFuzz.ASTGen where -import Control.Lens ((^..)) -import Data.Foldable (fold) -import Data.Graph.Inductive (LNode, Node) -import qualified Data.Graph.Inductive as G -import Data.Maybe (catMaybes) +import Control.Lens ((^..)) +import Data.Foldable (fold) +import Data.Graph.Inductive (LNode, Node) +import qualified Data.Graph.Inductive as G +import Data.Maybe (catMaybes) +import VeriFuzz.AST import VeriFuzz.Circuit -import VeriFuzz.Internal.Gen -import VeriFuzz.Verilog.AST -import VeriFuzz.Verilog.Helpers +import VeriFuzz.Helpers +import VeriFuzz.Internal.Circuit -- | Converts a 'CNode' to an 'Identifier'. frNode :: Node -> Identifier |