Concrete representation of an Endpoint
for routing purpose.
Concrete representation of an Endpoint
for routing purpose.
An endpoint from which we can get a Play request handler.
An endpoint from which we can get a Play request handler.
Query string encoding and decoding
Query string encoding and decoding
Represents a request entity as a Play Request[AnyContent]
Represents a request entity as a Play Request[AnyContent]
An HTTP response is a Play Result
An HTTP response is a Play Result
An HTTP request.
An HTTP request.
Has an instance of InvariantFunctor
.
Decodes a request entity
Decodes a request entity
Convenient type alias modeling the extraction of an A
information from request headers.
Convenient type alias modeling the extraction of an A
information from request headers.
This type has an instance of Applicative.
An attempt to extract an A
from a request headers.
An attempt to extract an A
from a request headers.
Models failure by returning a Left(result)
. That makes it possible
to early return an HTTP response if a header is wrong (e.g. if
an authentication information is missing)
Turns the A
information into a proper Play Result
Turns the A
information into a proper Play Result
Defines how to decode and encode path segments
Defines how to decode and encode path segments
Something that can be used as a Play request handler
Something that can be used as a Play request handler
The URL and HTTP headers of a request.
The URL and HTTP headers of a request.
Always succeeds in extracting no information from the headers
Always succeeds in extracting no information from the headers
A successful HTTP response (status code 200) with no entity
A successful HTTP response (status code 200) with no entity
A successful HTTP response (status code 200) with an HTML entity
A successful HTTP response (status code 200) with an HTML entity
Decodes a request that uses the POST HTTP verb.
Decodes a request that uses the POST HTTP verb.
Request URL
Request entity
Request headers
Builds a Play router out of endpoint definitions.
Builds a Play router out of endpoint definitions.
val routes = routesFromEndpoints( inc.implementedBy(x => x + 1) )