data Resource ms
A type-level description of an HTTP resource, terminating a chain of
path literals, captures, and other endpoint type constructs. The
the methods handled by this resource.
data Sub e t
Sub is used to create the chain of
and other such type constructs that build up an endpoint type.
is more often used infix with the
data Alt a b
Alt represents choice, i.e. that endpoint
a is tried first, and if
b is tried next.
Alt is written infix using
:<|> and is
used to compose multiple endpoint types into a larger API or site. Using
the infix operator,
Alt a (Alt b c) can be written
a :<|> b :<|> c.
data ReqBody r cts
Captures the request body. The
r parameter is the type represented by
the request body (usually some type specific to the application domain),
cts represents the content types supported.