Documentation

type TestIOStack = [Log, Mask Restoration, UninterruptibleMask Restoration, GatesIO, Race, Async, Error BootError, Test, Fail, Error TestError, Hedgehog IO, Error Failure, Embed IO, Resource, Final IO] Source #

type TestConfStack = LogConfStack ++ '[ChronosTime] Source #

type TestStack = TestConfStack ++ TestIOStack Source #

type EmbedTestStack = HostEmbedStack ++ TestStack Source #

testTime :: Time Source #

runUnitTest :: HasCallStack => Sem TestIOStack () -> UnitTest Source #

runTestLogConf :: Members [Error BootError, Resource, Race, Async, Embed IO] r => TestConfig -> InterpretersFor TestConfStack r Source #

runTestConf :: HasCallStack => TestConfig -> Sem TestStack () -> UnitTest Source #

runTest :: HasCallStack => Sem TestStack () -> UnitTest Source #

runTestLevel :: HasCallStack => Severity -> Sem TestStack () -> UnitTest Source #

runTestDebug :: HasCallStack => Sem TestStack () -> UnitTest Source #

runTestTrace :: HasCallStack => Sem TestStack () -> UnitTest Source #

embedTestConf :: HasCallStack => TestConfig -> [RpcHandler EmbedTestStack] -> Sem (Rpc ': EmbedTestStack) () -> UnitTest Source #

embedTest :: HasCallStack => [RpcHandler EmbedTestStack] -> Sem (Rpc ': EmbedTestStack) () -> UnitTest Source #

embedTest_ :: HasCallStack => Sem (Rpc ': EmbedTestStack) () -> UnitTest Source #