web-routes-0.27.10: portable, type-safe URL routing

Safe HaskellNone
LanguageHaskell98

Web.Routes.QuickCheck

Synopsis

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