web-routes-0.27.9: Library for maintaining correctness and composability of URLs within an application.

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