HyLo.Test

Documentation

type ModuleName = String

type TestName = String

type TestCase = TestName -> Align -> IO TestResult

data TestResult

Constructors

OK

EXHAUSTED

FAILED

Instances

Enum TestResult

Eq TestResult

Show TestResult

type UnitTest = [(TestName, TestCase)]

runTest :: Testable a => a -> TestCase

runTestWith :: Testable a => Config -> a -> TestCase

data Config

Constructors

Config

Fields

configMaxTest :: Int

configMaxFail :: Int

configSize :: Int -> Int

configEvery :: Int -> [String] -> String

defaultConfig :: Config

testSuite :: [(ModuleName, UnitTest)] -> [IO TestResult]

testModule :: UnitTest -> [IO TestResult]

stopOnError :: ([a] -> [IO TestResult]) -> [a] -> IO [TestResult]

runCompletely :: ([a] -> [IO TestResult]) -> [a] -> IO [TestResult]