Methods

property :: Assertion -> Property Source #

propertyForAllShrinkShow :: Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> Assertion) -> Property Source #