Servant.API.ReqBody

Documentation

type ReqBody = ReqBody' '[Required, Strict]

Extract the request body as a value of type a.

Example:

>>> -- POST /books
>>> type MyApi = "books" :> ReqBody '[JSON] Book :> Post '[JSON] Book

data ReqBody' (mods :: [*]) (contentTypes :: [*]) (a :: *)

Note: ReqBody' is always Required.

Instances

HasLink * sub => HasLink * ((:>) * (ReqBody' mods ct a) sub)

Associated Types

type MkLink ((* :> ReqBody' mods ct a) sub) (endpoint :: (* :> ReqBody' mods ct a) sub) :: *

Methods

toLink :: Proxy ((* :> ReqBody' mods ct a) sub) endpoint -> Link -> MkLink ((* :> ReqBody' mods ct a) sub) endpoint

type MkLink * ((:>) * (ReqBody' mods ct a) sub)

type MkLink * ((:>) * (ReqBody' mods ct a) sub) = MkLink * sub