Safe Haskell | None |
---|---|
Language | Haskell2010 |
Orphan instances
(AllMime contentTypes, HasServer subapi ctx, MonadIO n) => HasServer (StreamBodyMonad contentTypes n :> subapi :: *) ctx Source # | |
type ServerT (StreamBodyMonad contentTypes n :> subapi) m :: * # route :: Proxy (StreamBodyMonad contentTypes n :> subapi) -> Context ctx -> Delayed env (Server (StreamBodyMonad contentTypes n :> subapi)) -> Router env # hoistServerWithContext :: Proxy (StreamBodyMonad contentTypes n :> subapi) -> Proxy ctx -> (forall x. m x -> n0 x) -> ServerT (StreamBodyMonad contentTypes n :> subapi) m -> ServerT (StreamBodyMonad contentTypes n :> subapi) n0 # | |
(KnownNat status, AllMime contentTypes, ReflectMethod method) => HasServer (StreamResponse method status contentTypes :: *) ctx Source # | |
type ServerT (StreamResponse method status contentTypes) m :: * # route :: Proxy (StreamResponse method status contentTypes) -> Context ctx -> Delayed env (Server (StreamResponse method status contentTypes)) -> Router env # hoistServerWithContext :: Proxy (StreamResponse method status contentTypes) -> Proxy ctx -> (forall x. m x -> n x) -> ServerT (StreamResponse method status contentTypes) m -> ServerT (StreamResponse method status contentTypes) n # |