Test.ImpSpec.Expectations.Lifted

Lifted version of H.assertBool

Just like expectationFailure, but does not force the return type to unit. Lifted version of H.assertFailure

actual `shouldBe` expected sets the expectation that actual is equal to expected.

v `shouldSatisfy` p sets the expectation that p v is True.

list `shouldStartWith` prefix sets the expectation that list starts with prefix,

list `shouldEndWith` suffix sets the expectation that list ends with suffix,

list `shouldContain` sublist sets the expectation that sublist is contained, wholly and intact, anywhere in list.

xs `shouldMatchList` ys sets the expectation that xs has the same elements that ys has, possibly in another order

action `shouldReturn` expected sets the expectation that action returns expected.

actual `shouldNotBe` notExpected sets the expectation that actual is not equal to notExpected

v `shouldNotSatisfy` p sets the expectation that p v is False.

list `shouldNotContain` sublist sets the expectation that sublist is not contained anywhere in list.

action `shouldNotReturn` notExpected sets the expectation that action does not return notExpected.

Lifted version of shouldThrow.

A Selector is a predicate; it can simultaneously constrain the type and value of an exception.

Same as shouldBe, except it checks that the value is Right

Same as shouldBe, except it checks that the value is Left

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

Same as expectRight, but also evaluate the returned value to NF

Same as expectRightDeep, but discards the result

Return value on the Left and fail otherwise

Same as expectLeft, but also evaluate the returned value to NF

Same as expectLeftDeep, but discards the result

Same as shouldBe, except it checks that the value is Just