Copyright | Dennis Gosnell 2017 |
---|---|
License | BSD3 |
Maintainer | Dennis Gosnell (cdep.illabout@gmail.com) |
Stability | experimental |
Portability | unknown |
Safe Haskell | None |
Language | Haskell2010 |
- methodRouter :: forall ctypes a es env. (AllCTRender ctypes (Envelope es a), AllErrStatus es) => Method -> Status -> Proxy ctypes -> Delayed env (Handler (Envelope es a)) -> Router' env (Request -> (RouteResult Response -> IO ResponseReceived) -> IO ResponseReceived)
- allowedMethod :: Method -> Request -> Bool
- allowedMethodHead :: Method -> Request -> Bool
- methodCheck :: Method -> Request -> DelayedIO ()
- acceptCheck :: AllMime list => Proxy list -> ByteString -> DelayedIO ()
- getErrStatus :: AllErrStatus es => OpenUnion es -> Status
- processMethodRouter :: Maybe (ByteString, ByteString) -> Status -> Method -> Maybe [(HeaderName, ByteString)] -> Request -> RouteResult Response
Documentation
methodRouter :: forall ctypes a es env. (AllCTRender ctypes (Envelope es a), AllErrStatus es) => Method -> Status -> Proxy ctypes -> Delayed env (Handler (Envelope es a)) -> Router' env (Request -> (RouteResult Response -> IO ResponseReceived) -> IO ResponseReceived) Source #
acceptCheck :: AllMime list => Proxy list -> ByteString -> DelayedIO () Source #
getErrStatus :: AllErrStatus es => OpenUnion es -> Status Source #
processMethodRouter :: Maybe (ByteString, ByteString) -> Status -> Method -> Maybe [(HeaderName, ByteString)] -> Request -> RouteResult Response Source #
Orphan instances
HasServer * (ThrowingNonterminal ((:>) * * (Throwing es) ((:>) k k1 api apis))) context => HasServer * ((:>) * * (Throwing es) ((:>) k k1 api apis)) context Source # | When a |
HasServer * ((:<|>) ((:>) * * (Throwing es) api1) ((:>) * * (Throwing es) api2)) context => HasServer * ((:>) * * (Throwing es) ((:<|>) api1 api2)) context Source # | When |
HasServer * (VerbWithErr k1 k method status ctypes es a) context => HasServer * ((:>) * * (Throwing es) (Verb k1 k method status ctypes a)) context Source # | When |
HasServer * (VerbWithErr k1 k method status ctypes ([] *) a) context => HasServer * ((:>) * * NoThrow (Verb k1 k method status ctypes a)) context Source # | When |
HasServer * ((:>) k * api ((:>) * k1 NoThrow apis)) context => HasServer * ((:>) * * NoThrow ((:>) k k1 api apis)) context Source # | When |
HasServer * ((:<|>) ((:>) * * NoThrow api1) ((:>) * * NoThrow api2)) context => HasServer * ((:>) * * NoThrow ((:<|>) api1 api2)) context Source # | When |
HasServer * ((:>) * k1 (Throwing ((:) * e ([] *))) api) context => HasServer * ((:>) * k1 (Throws e) api) context Source # | |
(AllCTRender ctypes (Envelope es a), AllErrStatus * es, KnownNat successStatus, ReflectMethod k1 method) => HasServer * (VerbWithErr k1 * method successStatus ctypes es a) context Source # | |