Endpoints
Related Doc:
package routing
Concrete representation of an Endpoint for routing purpose.
An endpoint from which we can get a Play request handler.
Query string encoding and decoding
Query string encoding and decoding
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
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
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) )
Interpreter for algebra.Endpoints that performs routing using Play framework.
Consider the following endpoints definition:
You can get a router for them as follows:
Then
MyRouter.routescan be used to define a proper Play router as follows:val router = play.api.routing.Router.from(MyRouter.routes)