Expose internal modules

dejafu/Test/DejaFu/Deterministic.hs

@@ -64,15 +64,9 @@ module Test.DejaFu.Deterministic
   , CVarId
   , CRefId
   , MaskingState(..)
-  , ActionType(..)
   , toTrace
   , showTrace
   , showFail
-  , isSynchronised
-  , crefOf
-  , cvarOf
-  , simplify
-  , simplify'
 
   -- * Scheduling
   , module Test.DejaFu.Deterministic.Schedule

dejafu/Test/DejaFu/Deterministic/IO.hs

@@ -68,15 +68,9 @@ module Test.DejaFu.Deterministic.IO
   , CVarId
   , CRefId
   , MaskingState(..)
-  , ActionType(..)
   , toTrace
   , showTrace
   , showFail
-  , isSynchronised
-  , crefOf
-  , cvarOf
-  , simplify
-  , simplify'
 
   -- * Scheduling
   , module Test.DejaFu.Deterministic.Schedule

dejafu/Test/DejaFu/Deterministic/Internal.hs

@@ -23,7 +23,7 @@ module Test.DejaFu.Deterministic.Internal
  , CVarId
  , CRefId
 
- -- * Memory models
+ -- * Memory Models
  , MemType(..)
 
  -- * Scheduling & Traces
@@ -32,11 +32,13 @@ module Test.DejaFu.Deterministic.Internal
  , Decision(..)
  , ThreadAction(..)
  , Lookahead(..)
- , ActionType(..)
  , Trace'
  , toTrace
  , showTrace
  , showFail
+
+ -- * Synchronised and Unsynchronised Actions
+ , ActionType(..)
  , isSynchronised
  , crefOf
  , cvarOf

dejafu/Test/DejaFu/SCT/Internal.hs

@@ -10,7 +10,8 @@ import Data.Maybe (mapMaybe, isJust, fromJust)
 import Data.Ord (comparing)
 import Data.Sequence (Seq, ViewL(..))
 import Data.Set (Set)
-import Test.DejaFu.Deterministic
+import Test.DejaFu.Deterministic.Internal
+import Test.DejaFu.Deterministic.Schedule
 
 import qualified Data.IntMap.Strict as I
 import qualified Data.Sequence as Sq

dejafu/dejafu.cabal

@@ -93,16 +93,16 @@ library
                      , Test.DejaFu.SCT
                      , Test.DejaFu.STM
 
-  other-modules:       Test.DejaFu.Deterministic.Internal
+                     , Test.DejaFu.Deterministic.Internal
                      , Test.DejaFu.Deterministic.Internal.Common
                      , Test.DejaFu.Deterministic.Internal.Memory
                      , Test.DejaFu.Deterministic.Internal.Threading
                      , Test.DejaFu.Internal
                      , Test.DejaFu.SCT.Internal
                      , Test.DejaFu.STM.Internal
-
                      , Data.List.Extra
 
+  -- other-modules:       
   -- other-extensions:    
   build-depends:       base >=4.5 && <5
                      , containers