From 79f7d262ed0246ea6556478c611c0db59bb47191 Mon Sep 17 00:00:00 2001
From: Yann Herklotz Grave <git@yannherklotzgrave.com>
Date: Mon, 25 Feb 2019 16:27:35 +0000
Subject: Reformat using brittany

---
 src/VeriFuzz/Internal/AST.hs     | 4 +++-
 src/VeriFuzz/Internal/Circuit.hs | 8 +++++++-
 2 files changed, 10 insertions(+), 2 deletions(-)

(limited to 'src/VeriFuzz/Internal')

diff --git a/src/VeriFuzz/Internal/AST.hs b/src/VeriFuzz/Internal/AST.hs
index 7866f61..0130287 100644
--- a/src/VeriFuzz/Internal/AST.hs
+++ b/src/VeriFuzz/Internal/AST.hs
@@ -45,7 +45,9 @@ testBench = ModDecl
     [ regDecl "a"
     , regDecl "b"
     , wireDecl "c"
-    , ModInst "and" "and_gate" [ModConn $ Id "c", ModConn $ Id "a", ModConn $ Id "b"]
+    , ModInst "and"
+              "and_gate"
+              [ModConn $ Id "c", ModConn $ Id "a", ModConn $ Id "b"]
     , Initial $ SeqBlock
         [ BlockAssign . Assign (RegId "a") Nothing $ Number 1 1
         , BlockAssign . Assign (RegId "b") Nothing $ Number 1 1
diff --git a/src/VeriFuzz/Internal/Circuit.hs b/src/VeriFuzz/Internal/Circuit.hs
index 0634f01..d752c83 100644
--- a/src/VeriFuzz/Internal/Circuit.hs
+++ b/src/VeriFuzz/Internal/Circuit.hs
@@ -22,7 +22,13 @@ fromNode node = T.pack $ "w" <> show node
 filterGr :: (Graph gr) => gr n e -> (Node -> Bool) -> [Node]
 filterGr graph f = filter f $ G.nodes graph
 
-only :: (Graph gr) => gr n e -> (gr n e -> Node -> Int) -> (gr n e -> Node -> Int) -> Node -> Bool
+only
+    :: (Graph gr)
+    => gr n e
+    -> (gr n e -> Node -> Int)
+    -> (gr n e -> Node -> Int)
+    -> Node
+    -> Bool
 only graph fun1 fun2 n = fun1 graph n == 0 && fun2 graph n /= 0
 
 inputs :: (Graph gr) => gr n e -> [Node]
-- 
cgit