web-routes-0.27.14.3: portable, type-safe URL routing
Web.Routes.QuickCheck
pathInfoInverse_prop :: (Eq url, PathInfo url) => url -> Bool Source #
test that a PathInfo instance is valid
PathInfo
Generates Arbitrary url values and checks that:
Arbitrary
url
fromPathInfo . toPathInfo == id