:: Either a b -> IO b -package:HTF

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
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.