aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Circuit.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz/Circuit.hs')
-rw-r--r--src/VeriFuzz/Circuit.hs7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/VeriFuzz/Circuit.hs b/src/VeriFuzz/Circuit.hs
index 7958f6a..7091fb3 100644
--- a/src/VeriFuzz/Circuit.hs
+++ b/src/VeriFuzz/Circuit.hs
@@ -10,7 +10,12 @@ Portability : POSIX
Definition of the circuit graph.
-}
-module VeriFuzz.Circuit where
+module VeriFuzz.Circuit
+ ( -- * Circuit
+ Gate(..)
+ , Circuit(..)
+ , CNode(..)
+ ) where
import Data.Graph.Inductive (Gr, LNode)
import System.Random