úÎ ¤ æ      Safe-InferedA Selector> is a predicate; it can simultaneously constrain the type and  value of an exception. actual `shouldBe` expected sets the expectation that actual is equal  to expected (this is just an alias for  ). v ` shouldSatisfy` p sets the expectation that p v is True. action ` shouldReturn` expected sets the expectation that action  returns expected. action ` shouldThrow` selector sets the expectation that action throws J an exception. The precise nature of the expected exception is described  with a .       Safe-Infered         test-shouldbe-0.2.1Test.HUnit.ShouldBeTest.HUnit.ShouldBe.ContribSelector ExpectationshouldBe shouldSatisfy shouldReturn shouldThrow anyException anyErrorCall errorCallanyIOExceptionanyArithExceptionisLeftisRight HUnit-1.2.4.3Test.HUnit.Base@?=