This module builds on Spock's "reroute" library by associating a GHC.OverloadedLabels label to each route, which views can then use to reverse routes in a type-safe manner. It also uses some rediculous function chaining to almost create an indexed monad, but not quite because I can't figure out quite how to make that work. A fairly function example follows:

First, we'll define a couple of views:

  index :: Has "users" lts (Path '[] 'Open) => TsActionCtxT lts xs sess a
  index = showPath #users >>= 'Spock.text

  users :: Has "root" lts (Path '[] 'Open) => TsActionCtxT lts xs sess a
  users = do
    root <- showPath #root
    text $ "GET users, root is, " <> root

  usersPost :: TsActionCtxT lts xs sess a
  usersPost = text "POST to users!"

Then, routing to those views looks like this:

  runroute ropool rwpool $
    path #root root (getpost index) .
    path #users "users" (do get users
                              post usersPost)

Notice the (.) after the getpost index. We're chaining functions together and then passing that chained function to runroute in order to generate an actual Spock RouteM.