web-routes-0.27.2: Library for maintaining correctness and composability of URLs within an application.
Web.Routes.QuickCheck
Synopsis
pathInfoInverse_prop :: (Eq url, PathInfo url) => url -> BoolSource
test that a PathInfo instance is valid
PathInfo
Generates Arbitrary url values and checks that:
Arbitrary
url
fromPathInfo . toPathInfo == id