doctest wip

README.md

@@ -8,3 +8,19 @@ preserves the monoidal structure.
 
 This library encodes monoidal functors and related structures in
 Haskell.
+
+## Testing
+
+Using Doctest to find all Haskell sources:
+
+```sh
+cabal exec -- cabal test
+```
+
+or individual files:
+
+```sh
+cabal exec -- doctest -isrc -XLambdaCase -XUndecidableInstances -XFunctionalDependencies src/Control/Category/Cartesian.hs
+```
+
+TODO: Find out how to enable extensions automatically.

monoidal-functors.cabal

@@ -86,7 +86,7 @@ library
   hs-source-dirs: src
 
   default-language: Haskell2010
-  
+
 --------------------------------------------------------------------------------
 
 executable co-log
@@ -99,3 +99,11 @@ executable co-log
                    , distributive
                    , monoidal-functors
                    , mtl
+
+test-suite monoidal-functors-test
+  import:            common-extensions
+  type:              exitcode-stdio-1.0
+  main-is:           Main.hs
+  hs-source-dirs:    src, test
+  build-depends:     doctest
+

test/Main.hs

@@ -0,0 +1,39 @@
+module Main where
+
+import Prelude
+import Test.DocTest ( doctest )
+import System.Process
+
+main :: IO ()
+main = do
+  let cmd = shell "find src -name '*.hs'"
+  hsString <- readCreateProcess cmd ""
+  let sources = lines hsString
+  print sources
+  doctest
+    $ "-isrc"
+    : "-XConstraintKinds"
+    : "-XDeriveFunctor"
+    : "-XDerivingVia"
+    : "-XFunctionalDependencies"
+    : "-XFlexibleInstances"
+    : "-XFlexibleContexts"
+    : "-XGeneralizedNewtypeDeriving"
+    : "-XImportQualifiedPost"
+    : "-XInstanceSigs"
+    : "-XKindSignatures"
+    : "-XLambdaCase"
+    : "-XMultiParamTypeClasses"
+    : "-XNoImplicitPrelude"
+    : "-XQuantifiedConstraints"
+    : "-XRankNTypes"
+    : "-XScopedTypeVariables"
+    : "-XStandaloneDeriving"
+    : "-XTupleSections"
+    : "-XTypeApplications"
+    : "-XTypeOperators"
+    : "-XUndecidableInstances"
+    : "-XDataKinds"
+    : sources
+
+