Internal

Documentation

cover :: Testable t => String -> Bool -> t -> Property

makeLaw0 :: String -> (Proxy a -> Property) -> (String, Property)

makeLaw1 :: (Arbitrary a, Show a, Eq a, Semigroup a, Testable t) => String -> (a -> t) -> (String, Property)

makeLaw2 :: (Arbitrary a, Show a, Eq a, Semigroup a, Testable t) => String -> (a -> a -> t) -> (String, Property)

makeLaw3 :: (Arbitrary a, Show a, Eq a, Semigroup a, Testable t) => String -> (a -> a -> a -> t) -> (String, Property)

makeProperty :: Testable t => String -> t -> Property

report :: (Show a, Testable prop) => String -> a -> prop -> Property

(==>) :: Bool -> Bool -> Bool infixr 0