:: Either a b -> IO b is:exact

assertRightNoShow :: HasCallStack => Either a b -> IO b

HTF Test.Framework.HUnitWrapper

Fail if the given Either a b value is a Left. Use this function if a is not an instance of Show.

liftEither :: forall e (sig :: (Type -> Type) -> Type -> Type) m a . Has (Throw e) sig m => Either e a -> m a

fused-effects Control.Effect.Throw

Lifts an Either e into Monad m with effect Throw e

assertRight :: (HasCallStack, Show a) => Either a b -> IO b

HTF Test.Framework.HUnitWrapper

Fail if the given Either a b value is a Left. Use this function if a is an instance of Show.

expectRight :: (HasCallStack, Show a) => Either a b -> IO b

ImpSpec Test.ImpSpec.Expectations

Return value on the Right and fail otherwise. Difference from shouldSatisfy action isRight in that expectRight will force the content of the Right to WHNF and return it. This expectation will also show the content of the Left when expectation fails.

escalate :: Exception exc => Either exc a -> IO a

stamina Stamina

Escalate an Either to an exception.

expectRight :: (HasCallStack, Show a, MonadIO m) => Either a b -> m b

ImpSpec Test.ImpSpec Test.ImpSpec.Expectations.Lifted

Return value on the Right and fail otherwise. Lifted version of expectRight.