Solicitudes y respuestas

En http4s, un Request[F] es un valor inmutable que contiene el método, el URI, las cabeceras, la versión HTTP y un cuerpo en streaming. Puede inspeccionarlo con accesores puros y nunca modificarlo directamente.

Para cambiar una solicitud, cree una copia mediante withHeaders, withUri u otros combinadores similares.

El cuerpo de una solicitud o respuesta es un fs2.Stream[F, Byte]. Se consume de forma diferida y con efectos, por lo que las cargas grandes no tienen que permanecer completamente en memoria.

Normalmente no tendrá que manipular bytes sin procesar; un EntityDecoder se encarga de la decodificación.

Un EntityDecoder[F, A] sabe convertir el stream del cuerpo en un A. Llame a req.as[A] para decodificarlo; devuelve F[A] y hace que el efecto falle si el cuerpo está mal formado.

Existe un decoder integrado para String; los más avanzados proceden de los módulos JSON.

Para acceder al objeto de solicitud dentro de un caso, vincúlelo con @. Aquí req representa la solicitud completa, mientras el patrón sigue haciendo coincidir el método y la ruta.

Sin el binder, solo tendrá las partes desestructuradas y no podrá leer el cuerpo ni las cabeceras.

Las cabeceras se encuentran en request.headers. Use headers.get[H] con un modelo de cabecera tipado, o headers.get(CIString("X-Custom")) para nombres arbitrarios.

Las cabeceras tipadas, como Authorization y Content-Type, analizan y validan sus valores automáticamente.

Los constructores de respuestas del DSL, como Ok, Created y NotFound, son funciones que devuelven F[Response[F]]. Pasar un argumento establece el cuerpo mediante un EntityEncoder.

Cada constructor corresponde a un código de estado, por lo que Created(...) produce 201.

Para un estado que no tenga un constructor específico, o para personalizarlo, construya un Response[F] con un Status explícito y encadene withEntity.

Esto proporciona control total sobre el estado, las cabeceras y el cuerpo en una sola expresión.

Un EntityEncoder[F, A] serializa un valor en el cuerpo de la respuesta y establece Content-Type. Los encoders para String y bytes están integrados; los encoders JSON proceden de circe.

Cuando pasa un valor a Ok(value), http4s busca implícitamente el encoder.

Añada cabeceras pasándolas como argumentos adicionales a un constructor, o encadene .map(_.putHeaders(...)) al efecto de respuesta.

Los modelos de cabecera tipados garantizan valores con el formato correcto; por ejemplo, una cabecera Location en un 201 Created.

req.as[A] hace que el efecto F falle cuando no se puede decodificar el cuerpo. Use req.attemptAs[A].value para obtener un F[Either[DecodeFailure, A]] y responder con 400 cuando el resultado sea un Left.

Así, la gestión de entradas mal formadas queda explícita y total.

Establezca cookies con response.addCookie(ResponseCookie(name, value)). Para las redirecciones, use un constructor 3xx y una cabecera Location.

SeeOther(Location(uri)) realiza un 303, la respuesta idiomática de redirección después de una operación POST.

Las solicitudes y respuestas son valores inmutables con cuerpos de fs2 en streaming. Decodifica con as/attemptAs mediante EntityDecoder y codifica con EntityEncoder.

Los constructores establecen los códigos de estado, las cabeceras tipadas mantienen la seguridad y las cookies y redirecciones son simplemente transformaciones de respuestas.