Routes
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Routes.type
Members list
Value members
Concrete methods
Lifts PartialFunction based HttpRouteIO into an Option based HttpRoute applying a specified filter.
Lifts PartialFunction based HttpRouteIO into an Option based HttpRoute applying a specified filter.
Value parameters
- filter
-
the
WebFilterto apply to incoming requests before processing. - pf
-
the
HttpRouteIOthat maps requests toIOcomputations producing responses.
Attributes
- Returns
-
an
HttpRoutethat handles requests based on the givenHttpRouteIOandWebFilter.
Creates an HttpRoute by applying the given HttpRouteRIO to an environment and a WebFilter. The resulting HttpRoute handles requests based on the given HttpRouteRIO, which is a partial function that maps requests to RIO computations that may produce an HTTP response. The Env parameter represents the environment required by the computations, and is passed to the RIO monad using the run method. The WebFilter is applied to incoming requests before they are passed to the HttpRouteRIO, and can be used to pre-process requests or perform authentication or other security checks.
Creates an HttpRoute by applying the given HttpRouteRIO to an environment and a WebFilter. The resulting HttpRoute handles requests based on the given HttpRouteRIO, which is a partial function that maps requests to RIO computations that may produce an HTTP response. The Env parameter represents the environment required by the computations, and is passed to the RIO monad using the run method. The WebFilter is applied to incoming requests before they are passed to the HttpRouteRIO, and can be used to pre-process requests or perform authentication or other security checks.
Value parameters
- env
-
the environment required by the
HttpRouteRIOcomputations. - filter
-
the
WebFilterto apply to incoming requests before processing. - pf
-
the
HttpRouteRIOthat maps requests toRIOcomputations producing responses.
Attributes
- Returns
-
an
HttpRoutethat handles requests based on the givenHttpRouteRIOandWebFilter.