Rename types to circuit

1 files changed, 15 insertions, 1 deletions

diff --git a/src/Test/VeriFuzz/Types.hs b/src/Test/VeriFuzz/Circuit.hs
index 78fde7d..d934a3d 100644
--- a/src/Test/VeriFuzz/Types.hs
+++ b/src/Test/VeriFuzz/Circuit.hs
@@ -1,14 +1,28 @@
-module Test.VeriFuzz.Types where
+{-|
+Module      : Test.VeriFuzz.Circuit
+Description : Definition of the circuit graph.
+Copyright   : (c) Yann Herklotz Grave 2018
+License     : GPL-3
+Maintainer  : ymherklotz@gmail.com
+Stability   : experimental
+Portability : POSIX
+
+Definition of the circuit graph.
+-}
+
+module Test.VeriFuzz.Circuit where
 
 import           Data.Graph.Inductive
 import           System.Random
 import           Test.QuickCheck
 
+-- | The types for all the gates.
 data Gate = And
           | Or
           | Xor
           deriving (Show, Eq, Enum, Bounded, Ord)
 
+-- | Newtype for the Circuit which implements a Graph from fgl.
 newtype Circuit = Circuit { getCircuit :: Gr Gate () }
 
 instance Random Gate where