| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Servant.Server.UVerb
Contents
Synopsis
- respond :: forall (x :: *) (xs :: [*]) (f :: * -> *). ( Applicative f, HasStatus x, IsMember x xs) => x -> f ( Union xs)
- class IsServerResource (cts :: [*]) a
Documentation
respond :: forall (x :: *) (xs :: [*]) (f :: * -> *). ( Applicative f, HasStatus x, IsMember x xs) => x -> f ( Union xs) Source #
return
for
UVerb
handlers. Takes a value of any of the members of the open union,
and will construct a union value in an
Applicative
(eg.
Server
).
class IsServerResource (cts :: [*]) a Source #
Minimal complete definition
resourceResponse, resourceHeaders
Instances
| AllCTRender cts a => IsServerResource cts a Source # | |
|
Defined in Servant.Server.UVerb Methods resourceResponse :: Request -> Proxy cts -> a -> Maybe ( LBS , LBS ) resourceHeaders :: Proxy cts -> a -> [( HeaderName , ByteString )] |
|
| IsServerResource cts a => IsServerResource cts ( WithStatus n a) Source # | |
|
Defined in Servant.Server.UVerb Methods resourceResponse :: Request -> Proxy cts -> WithStatus n a -> Maybe ( LBS , LBS ) resourceHeaders :: Proxy cts -> WithStatus n a -> [( HeaderName , ByteString )] |
|
| ( IsServerResource cts a, GetHeaders ( Headers h a)) => IsServerResource cts ( Headers h a) Source # | |
|
Defined in Servant.Server.UVerb Methods resourceResponse :: Request -> Proxy cts -> Headers h a -> Maybe ( LBS , LBS ) resourceHeaders :: Proxy cts -> Headers h a -> [( HeaderName , ByteString )] |
|
Orphan instances
| ( ReflectMethod method, AllMime contentTypes, All (IsServerResourceWithStatus contentTypes) as, Unique ( Statuses as)) => HasServer ( UVerb method contentTypes as :: Type ) context Source # | |
|
Methods route :: Proxy ( UVerb method contentTypes as) -> Context context -> Delayed env ( Server ( UVerb method contentTypes as)) -> Router env Source # hoistServerWithContext :: Proxy ( UVerb method contentTypes as) -> Proxy context -> ( forall x. m x -> n x) -> ServerT ( UVerb method contentTypes as) m -> ServerT ( UVerb method contentTypes as) n Source # |
|