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

Safe HaskellNone

Web.Routes.QuickCheck

Synopsis

Documentation

pathInfoInverse_prop :: (Eq url, PathInfo url) => url -> BoolSource

test that a PathInfo instance is valid

Generates Arbitrary url values and checks that:

fromPathInfo . toPathInfo == id