| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Servant.Server.UVerb
Contents
Documentation
respond :: forall (x :: Type) (xs :: [Type]) (f :: Type -> Type). (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 :: [Type]) 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 (ByteString, ByteString) resourceHeaders :: Proxy cts -> 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 (ByteString, ByteString) resourceHeaders :: Proxy cts -> Headers h 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 (ByteString, ByteString) resourceHeaders :: Proxy cts -> WithStatus n 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 # | |