Zeugma.TestError

Combinators related to TestError.

Documentation

stopTest :: forall err r. Show err => HasCallStack => Member (Error TestError) r => InterpreterFor (Stop err) r

Interpret Stop by throwing a TestError, with the call site's stack.

resumeTest :: forall err eff r. Show err => HasCallStack => Members [eff !! err, Error TestError] r => InterpreterFor eff r

Interpret an effect into Resumable by throwing a TestError for Stops, with the call site's stack.

errorTest :: forall err r. Show err => HasCallStack => Member (Error TestError) r => InterpreterFor (Error err) r

Interpret Error converting the error to TestError, with the call site's stack.