Add module headers

dpor/Test/DPOR.hs

@@ -1,6 +1,14 @@
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 
--- | Systematic testing of concurrent computations through dynamic
+-- |
+-- Module      : Test.DPOR
+-- Copyright   : (c) 2016 Michael Walker
+-- License     : MIT
+-- Maintainer  : Michael Walker <mike@barrucadu.co.uk>
+-- Stability   : experimental
+-- Portability : GeneralizedNewtypeDeriving
+--
+-- Systematic testing of concurrent computations through dynamic
 -- partial-order reduction and schedule bounding.
 module Test.DPOR
   ( -- * Bounded dynamic partial-order reduction

dpor/Test/DPOR/Internal.hs

@@ -1,4 +1,14 @@
--- | Internal types and functions for dynamic partial-order reduction.
+-- |
+-- Module      : Test.DPOR.Internal
+-- Copyright   : (c) 2016 Michael Walker
+-- License     : MIT
+-- Maintainer  : Michael Walker <mike@barrucadu.co.uk>
+-- Stability   : experimental
+-- Portability : portable
+--
+-- Internal types and functions for dynamic partial-order
+-- reduction. This module is NOT considered to form part of the public
+-- interface of this library.
 module Test.DPOR.Internal where
 
 import Control.DeepSeq (NFData(..), force)

dpor/Test/DPOR/Schedule.hs

@@ -1,4 +1,12 @@
--- | Scheduling for concurrent computations.
+-- |
+-- Module      : Test.DPOR.Schedule
+-- Copyright   : (c) 2016 Michael Walker
+-- License     : MIT
+-- Maintainer  : Michael Walker <mike@barrucadu.co.uk>
+-- Stability   : experimental
+-- Portability : portable
+--
+-- Scheduling for concurrent computations.
 module Test.DPOR.Schedule
   ( -- * Scheduling
     Scheduler