miso-1.0.0.0: A tasty Haskell front-end framework

Safe HaskellNone
LanguageHaskell2010

Miso.TypeLevel

Synopsis
  • 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))