| 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