Main.hs

import qualified Control.Monad as Monad
import qualified Flow
import qualified System.Exit as Exit
import qualified Test.HUnit as Test

main :: IO ()
main = do
  counts <-
    Test.runTestTT $
      Test.TestList
        [ True Test.~?= True,
          (3 Flow.|> succ Flow.|> recip Flow.|> negate) Test.~?= (-0.25 :: Double),
          (negate Flow.<| recip Flow.<| succ Flow.<| 3) Test.~?= (-0.25 :: Double),
          fmap (Flow.apply 2) [succ, recip, negate] Test.~?= [3, 0.5, -2 :: Double],
          fmap (2 Flow.|>) [succ, recip, negate] Test.~?= [3, 0.5, -2 :: Double],
          fmap (2 Flow.|>) [succ, recip, negate] Test.~?= [3, 0.5, -2 :: Double],
          fmap (Flow.<| 2) [succ, recip, negate] Test.~?= [3, 0.5, -2 :: Double],
          fmap (Flow.apply 3 . Flow.compose succ) [recip, negate]
            Test.~?= [0.25, -4 :: Double],
          (succ Flow..> recip Flow..> negate) 3 Test.~?= (-0.25 :: Double),
          (negate Flow.<. recip Flow.<. succ) 3 Test.~?= (-0.25 :: Double),
          fmap ((\f -> f 3) . (succ Flow..>)) [recip, negate]
            Test.~?= [0.25, -4 :: Double],
          fmap ((\f -> f 3) . (succ Flow..>)) [recip, negate]
            Test.~?= [0.25, -4 :: Double],
          fmap ((\f -> f 3) . (Flow.<. succ)) [recip, negate]
            Test.~?= [0.25, -4 :: Double],
          (3 Flow.!> succ Flow.!> recip Flow.!> negate) Test.~?= (-0.25 :: Double),
          (undefined Flow.|> const True) Test.~?= True,
          (negate Flow.<! recip Flow.<! succ Flow.<! 3) Test.~?= (-0.25 :: Double),
          (const True Flow.<| undefined) Test.~?= True,
          fmap (Flow.apply' 2) [succ, recip, negate]
            Test.~?= [3, 0.5, -2 :: Double],
          Flow.apply undefined (const True) Test.~?= True,
          fmap (2 Flow.!>) [succ, recip, negate] Test.~?= [3, 0.5, -2 :: Double],
          fmap (2 Flow.!>) [succ, recip, negate] Test.~?= [3, 0.5, -2 :: Double],
          fmap (Flow.<! 2) [succ, recip, negate] Test.~?= [3, 0.5, -2 :: Double]
        ]

  let hasErrors = Test.errors counts /= 0
      hasFailures = Test.failures counts /= 0
  Monad.when (hasErrors || hasFailures) Exit.exitFailure