diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 14:28:30 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 14:28:30 +0000 |
| commit | f28188fc54d187b501b861d43592702bc7e460ec (patch) | |
| tree | c1d898d080dcfa44a5461218a047d04883076a23 /src/VeriFuzz/Circuit.hs | |
| parent | a83b3b40f683400914d0f3ae23bd9e69e6e0fd96 (diff) | |
| download | verismith-f28188fc54d187b501b861d43592702bc7e460ec.tar.gz verismith-f28188fc54d187b501b861d43592702bc7e460ec.zip | |
Add export lists
Diffstat (limited to 'src/VeriFuzz/Circuit.hs')
| -rw-r--r-- | src/VeriFuzz/Circuit.hs | 7 |
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 |