Further preparation for the EntangleMonad

entangle.cabal

@@ -7,7 +7,7 @@ license-file: COPYRIGHT
 data-dir: ""
 
 executable entangle
-    build-depends: base -any, quipper >=0.7 && <0.8, containers >= 0.5&& <0.6, matrix >=0.3 && <0.4, mtl >=2.1 && <2.2
+    build-depends: base >= 4.0 && <5.0, quipper >=0.7 && <0.8, containers >= 0.5&& <0.6, matrix >=0.3 && <0.4, mtl >=2.1 && <2.2
     main-is: Main.hs
     buildable: True
     hs-source-dirs: src

src/EntangleMonad.hs

@@ -54,13 +54,13 @@ getGates (Measure q) = [q]
 -- |'Transitions' represent the list of transitions from a state to other states,
 -- together with the respective matrices.
 data Transitions v = Transitions {
-    trFromState :: StateName,
-    trDestinations :: [(StateName, Matrix v)]
+    trFromState :: StateName,                  -- ^ state from which the transitions start
+    trDestinations :: [(StateName, Matrix v)]  -- ^ destinations and matrices
 }
 
 data StateName = StateName {
-    snId :: Int,
-    snBs :: [Bool]
+    snId :: Integer,         -- ^ state id
+    snBs :: [Bool]           -- ^ boolean values in the state
     } deriving (Ord, Eq)
 
 instance Show StateName where