Solicitações e respostas

No http4s, uma Request[F] é um valor imutável que contém o método, a URI, os cabeçalhos, a versão HTTP e um corpo em fluxo. Você a inspeciona com acessores puros e nunca a modifica no local.

Para alterar uma requisição, produza uma cópia usando withHeaders, withUri ou combinadores semelhantes.

O corpo de uma requisição ou resposta é um fs2.Stream[F, Byte]. Ele é consumido de forma preguiçosa e com efeitos, portanto grandes cargas úteis não precisam permanecer inteiramente na memória.

Normalmente, você não acessa os bytes brutos; um EntityDecoder cuida da decodificação para você.

Um EntityDecoder[F, A] sabe transformar o fluxo do corpo em um A. Chame req.as[A] para decodificar; isso retorna F[A] e faz o efeito falhar quando o corpo está malformado.

Existe um decodificador integrado para String; os mais avançados vêm dos módulos JSON.

Para acessar o objeto da requisição dentro de um caso, associe-o com @. Aqui, req nomeia a requisição inteira, enquanto o padrão ainda corresponde ao método e ao caminho.

Sem o elemento de ligação, você tem apenas as partes desestruturadas e não pode ler o corpo nem os cabeçalhos.

Os cabeçalhos ficam em request.headers. Use headers.get[H] com um modelo de cabeçalho tipado ou headers.get(CIString("X-Custom")) para nomes arbitrários.

Cabeçalhos tipados, como Authorization e Content-Type, analisam e validam seus valores para você.

Os construtores de resposta da DSL, como Ok, Created e NotFound, são funções que retornam F[Response[F]]. Passar um argumento define o corpo por meio de um EntityEncoder.

Cada construtor corresponde a um código de status, portanto Created(...) produz 201.

Para um status sem um construtor conveniente, ou para personalizá-lo, construa uma Response[F] com um Status explícito e encadeie withEntity.

Isso oferece controle total sobre o status, os cabeçalhos e o corpo em uma única expressão.

Um EntityEncoder[F, A] serializa um valor no corpo da resposta e define o Content-Type. Codificadores para String e bytes são integrados; os codificadores JSON vêm do Circe.

Quando você passa um valor para Ok(value), o http4s procura implicitamente o codificador.

Adicione cabeçalhos passando-os como argumentos extras para um construtor ou encadeie .map(_.putHeaders(...)) no efeito da resposta.

Modelos de cabeçalho tipados garantem valores formatados corretamente, como um cabeçalho Location em um 201 Created.

req.as[A] faz o efeito F falhar quando o corpo não pode ser decodificado. Use req.attemptAs[A].value para obter um F[Either[DecodeFailure, A]] e responder com 400 no lado esquerdo.

Isso mantém explícito e total o tratamento de entradas malformadas.

Defina cookies com response.addCookie(ResponseCookie(name, value)). Para redirecionamentos, use um construtor 3xx e um cabeçalho Location.

SeeOther(Location(uri)) executa um 303, a resposta idiomática de redirecionamento após uma operação POST.

Requisições e respostas são valores imutáveis com corpos fs2 em fluxo. Você decodifica com as/attemptAs por meio de EntityDecoder e codifica com EntityEncoder.

Os construtores definem códigos de status, os cabeçalhos tipados permanecem seguros, e cookies e redirecionamentos são apenas transformações de respostas.