| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Zeugma.Run
Description
Test runners for polysemy-conc programs using hedgehog.
Synopsis
- type TestStack = ConcTestStack ++ [Test, Fail, Error TestError, Hedgehog IO, Error Failure, Embed IO, Resource, Final IO]
- testTime :: Time
- runTestLevel :: Severity -> Sem TestStack a -> TestT IO a
- runTestFrozenLevel :: Severity -> Sem TestStack a -> TestT IO a
- runTestTrace :: Sem TestStack a -> TestT IO a
- runTestDebug :: Sem TestStack a -> TestT IO a
- runTest :: Sem TestStack a -> TestT IO a
- runTestFrozenTrace :: Sem TestStack a -> TestT IO a
- runTestFrozenDebug :: Sem TestStack a -> TestT IO a
- runTestFrozen :: Sem TestStack a -> TestT IO a
Documentation
type TestStack = ConcTestStack ++ [Test, Fail, Error TestError, Hedgehog IO, Error Failure, Embed IO, Resource, Final IO] Source #
The entirety of the effects handled by this module's interpreters.
The time at which the combinators ending in Frozen run the ChronosTime effect.
runTestLevel :: Severity -> Sem TestStack a -> TestT IO a Source #
Run the test stack as a TestT with the specified log level.
runTestFrozenLevel :: Severity -> Sem TestStack a -> TestT IO a Source #
Run the test stack as a TestT with the specified log level, with ChronosTime frozen at testTime.
runTestFrozenTrace :: Sem TestStack a -> TestT IO a Source #
Run the test stack as a TestT with a log level of Trace and ChronosTime frozen at testTime.