Copyright	(c) Frederick Pringle 2025
License	BSD-3-Clause
Maintainer	freddyjepringle@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

Servant.API.Routes.Request

Description

Term-level representation of the request bodies that Servant endpoints expect.

Synopsis

data Request
unRequest :: Lens' Request (Some TypeRep)
noRequest :: Request
oneRequest :: forall a. Typeable a => Request
allOfRequests :: forall as. AllTypeable as => Request
requests :: Traversal' Request TypeRep

Documentation

data Request Source #

A representation of the request body(s) that a Servant endpoint expects.

Under the hood, Request is a Some TypeRep. This allows for the possibility that an endpoint might expect the request body to parse as several different types (multiple ReqBody's).

Note that this type doesn't include any information about the headers that an endpoint expects, since those are independent of the request body.

Instances

Instances details

ToJSON Request Source #
Instance details Defined in Servant.API.Routes.Internal.Request Methods toJSON :: Request -> Value Source # toEncoding :: Request -> Encoding Source # toJSONList :: [Request] -> Value Source # toEncodingList :: [Request] -> Encoding Source #
Monoid Request Source #
Instance details Defined in Servant.API.Routes.Internal.Request Methods mempty :: Request Source # mappend :: Request -> Request -> Request Source # mconcat :: [Request] -> Request Source #
Semigroup Request Source #
Instance details Defined in Servant.API.Routes.Internal.Request Methods (<>) :: Request -> Request -> Request Source # sconcat :: NonEmpty Request -> Request Source # stimes :: Integral b => b -> Request -> Request Source #
Show Request Source #
Instance details Defined in Servant.API.Routes.Internal.Request Methods showsPrec :: Int -> Request -> ShowS Source # show :: Request -> String Source # showList :: [Request] -> ShowS Source #
Eq Request Source #
Instance details Defined in Servant.API.Routes.Internal.Request Methods (==) :: Request -> Request -> Bool Source # (/=) :: Request -> Request -> Bool Source #

unRequest :: Lens' Request (Some TypeRep) Source #

noRequest :: Request Source #

The endpoint doesn't expect a request body.

oneRequest :: forall a. Typeable a => Request Source #

The request body can only be of one type. Equivalent to a single ReqBody _ a.

allOfRequests :: forall as. AllTypeable as => Request Source #

The endpoint expects the request body to be parsed as multiple (>1) types. Equivalent to multiple ReqBodys chained with :>.

requests :: Traversal' Request TypeRep Source #

Convenience optic to traverse over all the TypeReps within a Request.