Web.Routing.SafeRouting

data RouteHandle m a

data HListElim' x ts

data SafeRouter m a

type family HListElim ts a :: *

hListUncurry

data Path as

data PolyMap x

data Id a

castDefType

insertPolyMap

lookupPolyMap

emptyPolyMap

data PathMap x

emptyPathMap

insertPathMap'

insertPathMap

match

var

type Var a

static

root

(</>)

renderRoute

renderRoute'

parse