web-routes-0.27.14.4: portable, type-safe URL routing
Safe HaskellNone
LanguageHaskell2010

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