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 :: HasCallStack => Severity -> Sem TestStack a -> TestT IO a

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

runTestFrozenLevel :: HasCallStack => 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 :: HasCallStack => Sem TestStack a -> TestT IO a

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

runTestDebug :: HasCallStack => Sem TestStack a -> TestT IO a

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

runTest :: HasCallStack => Sem TestStack a -> TestT IO a

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

runTestFrozenTrace :: HasCallStack => 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 :: HasCallStack => 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 :: HasCallStack => Sem TestStack a -> TestT IO a

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