Zeugma.Run

Test runners for polysemy-conc programs using hedgehog.

Documentation

type TestStack = ConcTestStack ++ [Test, Fail, Error TestError, Hedgehog IO, Error Failure, Embed IO, Resource, Final IO]

The entirety of the effects handled by this module's interpreters.

testTime :: Time

The time at which the combinators ending in Frozen run the ChronosTime effect.

runTestLevel :: Severity -> Sem TestStack a -> TestT IO a

Run the test stack as a TestT with the specified log level.

runTestFrozenLevel :: Severity -> Sem TestStack a -> TestT IO a

Run the test stack as a TestT with the specified log level, with ChronosTime frozen at testTime.

runTestTrace :: Sem TestStack a -> TestT IO a

Run the test stack as a TestT with a log level of Trace.

runTestDebug :: Sem TestStack a -> TestT IO a

Run the test stack as a TestT with a log level of Debug.

runTest :: Sem TestStack a -> TestT IO a

Run the test stack as a TestT with a log level of Crit.

runTestFrozenTrace :: Sem TestStack a -> TestT IO a

Run the test stack as a TestT with a log level of Trace and ChronosTime frozen at testTime.

runTestFrozenDebug :: Sem TestStack a -> TestT IO a

Run the test stack as a TestT with a log level of Debug and ChronosTime frozen at testTime.

runTestFrozen :: Sem TestStack a -> TestT IO a

Run the test stack as a TestT with a log level of Crit and ChronosTime frozen at testTime.