Routes

Lifts PartialFunction based HttpRouteIO into an Option based HttpRoute applying a specified filter.

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.