| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Miso.TypeLevel
- type family ToServerRoutes (layout :: k) (wrapper :: * -> *) (action :: *) :: k where ...
Documentation
type family ToServerRoutes (layout :: k) (wrapper :: * -> *) (action :: *) :: k where ... Source #
Convert client route type to a server web handler type
Equations
| ToServerRoutes (a :<|> b) wrapper action = ToServerRoutes a wrapper action :<|> ToServerRoutes b wrapper action | |
| ToServerRoutes (a :> b) wrapper action = a :> ToServerRoutes b wrapper action | |
| ToServerRoutes (View a) wrapper action = Get '[HTML] (wrapper (View action)) |