Safe Haskell | None |
---|---|
Language | Haskell98 |
Web.Routes.QuickCheck
Synopsis
- pathInfoInverse_prop :: (Eq url, PathInfo url) => url -> Bool
Documentation
pathInfoInverse_prop :: (Eq url, PathInfo url) => url -> Bool Source #
test that a PathInfo
instance is valid
Generates Arbitrary
url
values and checks that:
fromPathInfo . toPathInfo == id