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