unidocs
0.23.17
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
unidocs/org.http4s

org.http4s

package org.http4s

Members list

Concise view

Type members

Classlikes

object AuthScheme

Attributes

Source:
AuthScheme.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object AuthedRequest

Attributes

Source:
AuthedRequest.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object AuthedRoutes

Attributes

Source:
AuthedRoutes.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class BasicCredentials(username: String, password: String, charset: Charset)

Attributes

Companion:
object
Source:
Credentials.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object BasicCredentials

Attributes

Companion:
class
Source:
Credentials.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
case object BuildInfo

This object was generated by sbt-buildinfo.

This object was generated by sbt-buildinfo.

Attributes

Source:
BuildInfo.scala
Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
sealed trait CacheDirective extends Product with Renderable

Attributes

Companion:
object
Source:
CacheDirective.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
Known subtypes
class `private`
class max-age
class max-stale
class min-fresh
object must-revalidate.type
class no-cache
object no-store.type
object no-transform.type
object only-if-cached.type
object proxy-revalidate.type
object public.type
class s-maxage
object CacheDirective

A registry of cache-directives, as listed in http://www.iana.org/assignments/http-cache-directives/http-cache-directives.xhtml

A registry of cache-directives, as listed in http://www.iana.org/assignments/http-cache-directives/http-cache-directives.xhtml

Attributes

Companion:
trait
Source:
CacheDirective.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class Challenge(scheme: String, realm: String, params: Map[String, String]) extends Renderable

Attributes

Source:
Challenge.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class Charset extends Renderable

Attributes

Companion:
object
Source:
Charset.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object Charset

Attributes

Companion:
class
Source:
Charset.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Charset.type
sealed abstract class CharsetRange extends HasQValue with Renderable

Attributes

Companion:
object
Source:
CharsetRange.scala
Graph
Supertypes
trait HasQValue
class Object
trait Matchable
class Any
Known subtypes
class *
object *.type
class Atom
object CharsetRange

Attributes

Companion:
class
Source:
CharsetRange.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
trait ClientTypes

Attributes

Source:
package.scala
Graph
Supertypes
class Object
trait Matchable
class Any
class ContentCoding extends HasQValue with Ordered[ContentCoding] with Renderable

Attributes

Companion:
object
Source:
ContentCoding.scala
Graph
Supertypes
trait HasQValue
class Object
trait Matchable
class Any
object ContentCoding

Attributes

Companion:
class
Source:
ContentCoding.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class ContextRequest[F[_], A](context: A, req: Request[F])

Attributes

Companion:
object
Source:
ContextRequest.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object ContextRequest

Attributes

Companion:
class
Source:
ContextRequest.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class ContextResponse[F[_], A](context: A, response: Response[F])

Attributes

Companion:
object
Source:
ContextResponse.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object ContextResponse

Attributes

Companion:
class
Source:
ContextResponse.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
object ContextRoutes

Attributes

Source:
ContextRoutes.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed abstract class Credentials extends Renderable

Attributes

Companion:
object
Source:
Credentials.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Token
object Credentials

Attributes

Companion:
class
Source:
Credentials.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
trait DecodeFailure extends MessageFailure

Indicates a problem decoding a Message. This may either be a problem with the entity headers or with the entity itself.

Indicates a problem decoding a Message. This may either be a problem with the entity headers or with the entity itself.

Attributes

Companion:
object
Source:
MessageFailure.scala
Graph
Supertypes
class Exception
class Throwable
class Object
trait Matchable
class Any
Known subtypes
object DecodeFailure

Attributes

Companion:
trait
Source:
MessageFailure.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object DecodeResult

Attributes

Source:
DecodeResult.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class Entity[+F[_]](body: EntityBody[F], length: Option[Long])

Attributes

Companion:
object
Source:
Entity.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object Entity

Attributes

Companion:
class
Source:
Entity.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Entity.type
trait EntityDecoder[F[_], T]

A type that can be used to decode a Message EntityDecoder is used to attempt to decode a Message returning the entire resulting A. If an error occurs it will result in a failed effect. The default decoders provided here are not streaming, but one could implement a streaming decoder by having the value of A be some kind of streaming construct.

A type that can be used to decode a Message EntityDecoder is used to attempt to decode a Message returning the entire resulting A. If an error occurs it will result in a failed effect. The default decoders provided here are not streaming, but one could implement a streaming decoder by having the value of A be some kind of streaming construct.

Attributes

T

result type produced by the decoder

Companion:
object
Source:
EntityDecoder.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object EntityDecoder

EntityDecoder is used to attempt to decode an EntityBody This companion object provides a way to create new EntityDecoders along with some commonly used instances which can be resolved implicitly.

EntityDecoder is used to attempt to decode an EntityBody This companion object provides a way to create new EntityDecoders along with some commonly used instances which can be resolved implicitly.

Attributes

Companion:
trait
Source:
EntityDecoder.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait EntityEncoder[F[_], A]

Attributes

Companion:
object
Source:
EntityEncoder.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object EntityEncoder

Attributes

Companion:
trait
Source:
EntityEncoder.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class EntityTag(tag: String, weakness: Weakness) extends Renderable

Attributes

Companion:
object
Source:
EntityTag.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object EntityTag

Attributes

Companion:
class
Source:
EntityTag.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait FormDataDecoder[A]

A decoder ware that uses QueryParamDecoder to decode values in org.http4s.UrlForm

A decoder ware that uses QueryParamDecoder to decode values in org.http4s.UrlForm

Attributes

Example:
scala> import cats.syntax.all._
scala> import cats.data._
scala> import org.http4s.FormDataDecoder._
scala> import org.http4s.ParseFailure
scala> case class Foo(a: String, b: Boolean)
scala> case class Bar(fs: List[Foo], f: Foo, d: Boolean)
scala>
scala> implicit val fooMapper: FormDataDecoder[Foo] = (
    |   field[String]("a"),
    |   field[Boolean]("b")
    | ).mapN(Foo.apply)
scala>
scala> val barMapper = (
    |   list[Foo]("fs"),
    |   nested[Foo]("f"),
    |   field[Boolean]("d")
    | ).mapN(Bar.apply)
scala>
scala> barMapper(
    |   Map(
    |    "fs[].a" -> Chain("a1", "a2"),
    |    "fs[].b" -> Chain("true", "false"),
    |    "f.a" -> Chain("fa"),
    |    "f.b" -> Chain("false"),
    |    "d" -> Chain("true"))
    | )
res1: ValidatedNel[ParseFailure, Bar] = Valid(Bar(List(Foo(a1,true), Foo(a2,false)),Foo(fa,false),true))

The companion object provides a EntityDecoder from HTML form parameters.

 import org.http4s.FormDataDecoder.formEntityDecoder
 HttpRoutes
  .of[F] {
    case req @ POST -> Root =>
      req.as[MyEntity].flatMap { entity =>
        Ok()
      }
  }

For more examples, check the tests https://github.com/http4s/http4s/blob/main/tests/src/test/scala/org/http4s/FormDataDecoderSpec.scala

Companion:
object
Source:
FormDataDecoder.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object FormDataDecoder

Attributes

Companion:
trait
Source:
FormDataDecoder.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait HasQValue

Attributes

Source:
QValue.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class *
object *.type
class Atom
trait Header[A, T <: Type]

Typeclass representing an HTTP header, which all the http4s default headers satisfy. You can add modelled headers by providing an implicit instance of Header[YourModelledHeader]

Typeclass representing an HTTP header, which all the http4s default headers satisfy. You can add modelled headers by providing an implicit instance of Header[YourModelledHeader]

Attributes

Companion:
object
Source:
Header.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object Header

Attributes

Companion:
trait
Source:
Header.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Header.type
final class Headers(val headers: List[Raw]) extends AnyVal

A collection of HTTP Headers

A collection of HTTP Headers

Attributes

Companion:
object
Source:
Headers.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any
object Headers

Attributes

Companion:
class
Source:
Headers.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Headers.type
object Http

Functions for creating Http kleislis.

Functions for creating Http kleislis.

Attributes

Source:
Http.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Http.type
trait Http4sLawSuite extends ScalaCheckEffectSuite

Poor's man discipline runner to check a set of PropF[F]

Poor's man discipline runner to check a set of PropF[F]

Attributes

Source:
Http4sLawSuite.scala
Graph
Supertypes
trait ScalaCheckSuite
class FunSuite
trait BaseFunSuite
trait ValueTransforms
trait SuiteTransforms
trait TestTransforms
trait TestOptionsConversions
trait FunFixtures
trait Assertions
trait CompileErrorMacro
class Suite
trait PlatformSuite
class Object
trait Matchable
class Any
trait Http4sSuite extends CatsEffectSuite with DisciplineSuite with ScalaCheckEffectSuite with Http4sSuitePlatform

Common stack for http4s' munit based tests

Common stack for http4s' munit based tests

Attributes

Source:
Http4sSuite.scala
Graph
Supertypes
trait ScalaCheckSuite
class FunSuite
trait BaseFunSuite
trait ValueTransforms
trait SuiteTransforms
trait TestTransforms
trait TestOptionsConversions
trait FunFixtures
trait Assertions
trait CompileErrorMacro
class Suite
trait PlatformSuite
class Object
trait Matchable
class Any
trait Http4sSuitePlatform

Attributes

Source:
Http4sSuitePlatform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type
final case class Http4sVersion(major: Int, minor: Int)

Attributes

Source:
Http4sVersion.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object HttpApp

Functions for creating HttpApp kleislis.

Functions for creating HttpApp kleislis.

Attributes

Source:
HttpApp.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
HttpApp.type
trait HttpCodec[A] extends Renderer[A]

Attributes

Companion:
object
Source:
HttpCodec.scala
Graph
Supertypes
trait Renderer[A]
class Object
trait Matchable
class Any
object HttpCodec

Attributes

Companion:
trait
Source:
HttpCodec.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class HttpDate extends Renderable with Ordered[HttpDate]

An HTTP-date value represents time as an instance of Coordinated Universal Time (UTC). It expresses time at a resolution of one second. By using it over java.time.Instant in the model, we assure that if two headers render equally, their values are equal.

An HTTP-date value represents time as an instance of Coordinated Universal Time (UTC). It expresses time at a resolution of one second. By using it over java.time.Instant in the model, we assure that if two headers render equally, their values are equal.

Attributes

See also:
Companion:
object
Source:
HttpDate.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object HttpDate

Attributes

Companion:
class
Source:
HttpDate.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object HttpRoutes

Functions for creating HttpRoutes kleislis.

Functions for creating HttpRoutes kleislis.

Attributes

Source:
HttpRoutes.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class HttpVersion extends Renderable with Ordered[HttpVersion]

HTTP's version number consists of two decimal digits separated by a "." (period or decimal point). The first digit ("major version") indicates the messaging syntax, whereas the second digit ("minor version") indicates the highest minor version within that major version to which the sender is conformant (able to understand for future communication).

HTTP's version number consists of two decimal digits separated by a "." (period or decimal point). The first digit ("major version") indicates the messaging syntax, whereas the second digit ("minor version") indicates the highest minor version within that major version to which the sender is conformant (able to understand for future communication).

Attributes

major

The major version, 0 to 9 inclusive

minor

The minor version, 0 to 9 inclusive

See also:

Semantics, Protocol Versioning

Companion:
object
Source:
HttpVersion.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object HttpVersion

Attributes

Companion:
class
Source:
HttpVersion.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class InvalidBodyException(msg: String) extends Exception with NoStackTrace

Exception dealing with invalid body

Exception dealing with invalid body

Attributes

msg

description if what makes the body invalid

Source:
InvalidBodyException.scala
Graph
Supertypes
trait Product
trait Equals
class Exception
class Throwable
class Object
trait Matchable
class Any
final case class InvalidMessageBodyFailure(details: String, cause: Option[Throwable]) extends MessageBodyFailure

Indicates a semantic error decoding the body of an HTTP Message.

Indicates a semantic error decoding the body of an HTTP Message.

Attributes

Source:
MessageFailure.scala
Graph
Supertypes
trait Product
trait Equals
class Exception
class Throwable
class Object
trait Matchable
class Any
final case class InvalidResponseException(msg: String) extends Exception with NoStackTrace

Exception dealing with invalid response

Exception dealing with invalid response

Attributes

msg

description if what makes the response invalid

Source:
InvalidResponseException.scala
Graph
Supertypes
trait Product
trait Equals
class Exception
class Throwable
class Object
trait Matchable
class Any
object LanguageTag

Attributes

Companion:
class
Source:
LanguageTag.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class LanguageTag(primaryTag: String, q: QValue, subTags: List[String]) extends Renderable

Attributes

Companion:
object
Source:
LanguageTag.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
final case class MalformedMessageBodyFailure(details: String, cause: Option[Throwable]) extends MessageBodyFailure

Indicates an syntactic error decoding the body of an HTTP Message.

Indicates an syntactic error decoding the body of an HTTP Message.

Attributes

Source:
MessageFailure.scala
Graph
Supertypes
trait Product
trait Equals
class Exception
class Throwable
class Object
trait Matchable
class Any
trait Media[F[_]]

Attributes

Companion:
object
Source:
Media.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Message[F]
class Request[F]
class Response[F]
class Part[F]
object Media

Attributes

Companion:
trait
Source:
Media.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Media.type
sealed class MediaRange

Attributes

Companion:
object
Source:
MediaType.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MediaType
object MediaRange

Attributes

Companion:
class
Source:
MediaType.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed class MediaType(mainType: String, val subType: String, val compressible: Boolean, val binary: Boolean, val fileExtensions: List[String], extensions: Map[String, String]) extends MediaRange

Attributes

Companion:
object
Source:
MediaType.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object MediaType

Attributes

Companion:
class
Source:
MediaType.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class MediaTypeMismatch(messageType: MediaType, expected: Set[MediaRange]) extends UnsupportedMediaTypeFailure

Indicates that no EntityDecoder matches the MediaType of the Message being decoded

Indicates that no EntityDecoder matches the MediaType of the Message being decoded

Attributes

Source:
MessageFailure.scala
Graph
Supertypes
trait Product
trait Equals
class Exception
class Throwable
class Object
trait Matchable
class Any
final case class MediaTypeMissing(expected: Set[MediaRange]) extends UnsupportedMediaTypeFailure

Indicates that a Message attempting to be decoded has no MediaType and no EntityDecoder was lenient enough to accept it.

Indicates that a Message attempting to be decoded has no MediaType and no EntityDecoder was lenient enough to accept it.

Attributes

Source:
MessageFailure.scala
Graph
Supertypes
trait Product
trait Equals
class Exception
class Throwable
class Object
trait Matchable
class Any
sealed trait Message[F[_]] extends Media[F]

Represents a HTTP Message. The interesting subclasses are Request and Response.

Represents a HTTP Message. The interesting subclasses are Request and Response.

Attributes

Companion:
object
Source:
Message.scala
Graph
Supertypes
trait Media[F]
class Object
trait Matchable
class Any
Known subtypes
class Request[F]
class Response[F]
Self type
object Message

Attributes

Companion:
trait
Source:
Message.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Message.type
trait MessageBodyFailure extends DecodeFailure

Indicates a problem decoding a Message body.

Indicates a problem decoding a Message body.

Attributes

Source:
MessageFailure.scala
Graph
Supertypes
class Exception
class Throwable
class Object
trait Matchable
class Any
Known subtypes
trait MessageFailure extends RuntimeException

Indicates a failure to handle an HTTP Message.

Indicates a failure to handle an HTTP Message.

Attributes

Source:
MessageFailure.scala
Graph
Supertypes
class Exception
class Throwable
class Object
trait Matchable
class Any
Known subtypes
final class Method extends Renderable with Serializable

An HTTP method.

An HTTP method.

Attributes

isIdempotent

A request method is considered "idempotent" if the intended effect on the server of multiple identical requests with that method is the same as the effect for a single such request.

isSafe

Request methods are considered "safe" if their defined semantics are essentially read-only; i.e., the client does not request, and does not expect, any state change on the origin server as a result of applying a safe method to a target resource.

name

The name of the method

See also:
Companion:
object
Source:
Method.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object Method

Attributes

Companion:
class
Source:
Method.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Method.type
final case class ParseFailure(sanitized: String, details: String) extends MessageFailure with NoStackTrace

Indicates an error parsing an HTTP Message.

Indicates an error parsing an HTTP Message.

Attributes

details

Contains any relevant details omitted from the sanitized version of the error. This may freely echo a Request.

sanitized

May safely be displayed to a client to describe an error condition. Should not echo any part of a Request.

Companion:
object
Source:
MessageFailure.scala
Graph
Supertypes
trait Product
trait Equals
class Exception
class Throwable
class Object
trait Matchable
class Any
object ParseFailure

Attributes

Companion:
class
Source:
MessageFailure.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
object ParseResult

Attributes

Source:
MessageFailure.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class ProductComment(value: String) extends ProductIdOrComment

Attributes

Companion:
object
Source:
ProductIdOrComment.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object ProductComment

Attributes

Companion:
class
Source:
ProductIdOrComment.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class ProductId(value: String, version: Option[String]) extends ProductIdOrComment

Attributes

Companion:
object
Source:
ProductIdOrComment.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object ProductId

Attributes

Companion:
class
Source:
ProductIdOrComment.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait ProductIdOrComment extends Renderable

Attributes

Companion:
object
Source:
ProductIdOrComment.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ProductId
object ProductIdOrComment

Attributes

Companion:
trait
Source:
ProductIdOrComment.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class Protocol(name: CIString, version: Option[CIString])

Attributes

Companion:
object
Source:
Protocol.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object Protocol

Attributes

Companion:
class
Source:
Protocol.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final class QValue extends AnyVal with Ordered[QValue]

A Quality Value. Represented as thousandths for an exact representation rounded to three decimal places.

A Quality Value. Represented as thousandths for an exact representation rounded to three decimal places.

Attributes

thousandths

between 0 (for q=0) and 1000 (for q=1)

See also:
Companion:
object
Source:
QValue.scala
Graph
Supertypes
class Object
class AnyVal
trait Matchable
class Any
object QValue extends QValuePlatform

Attributes

Companion:
class
Source:
QValue.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
QValue.type
trait QValuePlatform

Attributes

Source:
QValuePlatform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object QValue.type
final class Query extends QueryOps with Renderable

Collection representation of a query string

Collection representation of a query string

It is a indexed sequence of key and maybe a value pairs which maps precisely to a query string, modulo percent-encoding.

When rendered, the resulting String will have the pairs separated by '&' while the key is separated from the value with '='

Attributes

Companion:
object
Source:
Query.scala
Graph
Supertypes
trait QueryOps
class Object
trait Matchable
class Any
object Query

Attributes

Companion:
class
Source:
Query.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Query.type
trait QueryOps

Attributes

Source:
QueryOps.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Query
class Uri
trait QueryParam[T] extends QueryParamKeyLike[T]

type class defining the key of a query parameter Usually used in conjunction with QueryParamEncoder and QueryParamDecoder

type class defining the key of a query parameter Usually used in conjunction with QueryParamEncoder and QueryParamDecoder

Any QueryParam instance is also a valid QueryParamKeyLike instance where the same key is used for all values.

Attributes

Companion:
object
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object QueryParam

Attributes

Companion:
trait
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait QueryParamCodec[T] extends QueryParamEncoder[T] with QueryParamDecoder[T]

Attributes

Companion:
object
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object QueryParamCodec

Attributes

Companion:
trait
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait QueryParamDecoder[T]

Type class defining how to decode a QueryParameterValue into a T

Type class defining how to decode a QueryParameterValue into a T

Attributes

See also:

QueryParamCodecLaws

Companion:
object
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type
object QueryParamDecoder

Attributes

Companion:
trait
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait QueryParamEncoder[T]

Type class defining how to encode a T as a QueryParameterValues

Type class defining how to encode a T as a QueryParameterValues

Attributes

See also:

QueryParamCodecLaws

Companion:
object
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type
object QueryParamEncoder

Attributes

Companion:
trait
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait QueryParamKeyLike[T]

Attributes

Companion:
object
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait QueryParam[T]
object QueryParamKeyLike

Attributes

Companion:
trait
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class QueryParameterKey(value: String) extends AnyVal

Attributes

Companion:
object
Source:
QueryParam.scala
Graph
Supertypes
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
object QueryParameterKey

Attributes

Companion:
class
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class QueryParameterValue(value: String) extends AnyVal

Attributes

Companion:
object
Source:
QueryParam.scala
Graph
Supertypes
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
object QueryParameterValue

Attributes

Companion:
class
Source:
QueryParam.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object RangeUnit

Attributes

Companion:
class
Source:
RangeUnit.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class RangeUnit(value: String) extends Renderable

Attributes

Companion:
object
Source:
RangeUnit.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
final class Request[F[_]] extends Message[F] with Product with Serializable

Representation of an incoming HTTP message

Representation of an incoming HTTP message

A Request encapsulates the entirety of the incoming HTTP request including the status line, headers, and a possible request body.

Attributes

attributes

Immutable Map used for carrying additional information in a type safe fashion

body

fs2.Stream[F, Byte] defining the body of the request

headers

collection of Headers

httpVersion

the HTTP version

method

Method.GET, Method.POST, etc.

uri

representation of the request URI

Companion:
object
Source:
Message.scala
Graph
Supertypes
trait Product
trait Equals
trait Message[F]
trait Media[F]
class Object
trait Matchable
class Any
object Request

Attributes

Companion:
class
Source:
Message.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Request.type
final case class RequestCookie(name: String, content: String) extends Renderable

Attributes

Companion:
object
Source:
RequestCookie.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object RequestCookie

Attributes

Companion:
class
Source:
RequestCookie.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed abstract class RequestPrelude extends Product with Serializable

A projection of a Request without the body.

A projection of a Request without the body.

Attributes

Note:

The Request#attributes are omitted in this encoding because they do not (and can not) have a cats.kernel.Order instance. If they were included here, then we could not write a cats.kernel.Order instance for RequestPrelude, limiting some of its utility, e.g. it could not be used in a cats.data.NonEmptySet.

Companion:
object
Source:
RequestPrelude.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object RequestPrelude

Attributes

Companion:
class
Source:
RequestPrelude.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
final class Response[F[_]] extends Message[F] with Product with Serializable

Representation of the HTTP response to send back to the client

Representation of the HTTP response to send back to the client

Attributes

attributes

org.typelevel.vault.Vault containing additional parameters which may be used by the http4s backend for additional processing such as java.io.File object

body

EntityBody[F] representing the possible body of the response

headers

Headers containing all response headers

status

Status code and message

Companion:
object
Source:
Message.scala
Graph
Supertypes
trait Product
trait Equals
trait Message[F]
trait Media[F]
class Object
trait Matchable
class Any
object Response extends KleisliSyntax

Attributes

Companion:
class
Source:
Message.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class ResponseCookie(name: String, content: String, expires: Option[HttpDate], maxAge: Option[Long], domain: Option[String], path: Option[String], sameSite: Option[SameSite], secure: Boolean, httpOnly: Boolean, extension: Option[String]) extends Renderable

Attributes

extension

The extension attributes of the cookie. If there is more than one, they are joined by semi-colon, which must not appear in an attribute value.

Companion:
object
Source:
ResponseCookie.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
object ResponseCookie

Attributes

Companion:
class
Source:
ResponseCookie.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed abstract class ResponsePrelude extends Product with Serializable

A projection of a Response without the body.

A projection of a Response without the body.

Attributes

Note:

The Response#attributes are omitted in this encoding because they do not (and can not) have a cats.kernel.Order instance. If they were included here, then we could not write a cats.kernel.Order instance for ResponsePrelude, limiting some of its utility, e.g. it could not be used in a cats.data.NonEmptySet.

Companion:
object
Source:
ResponsePrelude.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object ResponsePrelude

Attributes

Companion:
class
Source:
ResponsePrelude.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait SameSite extends Renderable

RFC6265 SameSite cookie attribute values.

RFC6265 SameSite cookie attribute values.

Attributes

Companion:
object
Source:
SameSite.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Lax.type
object None.type
object Strict.type
object SameSite

Attributes

Companion:
trait
Source:
SameSite.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class ServerSentEvent(data: Option[String], eventType: Option[String], id: Option[EventId], retry: Option[FiniteDuration], comment: Option[String]) extends Renderable

Attributes

Companion:
object
Source:
ServerSentEvent.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object ServerSentEvent

Attributes

Companion:
class
Source:
ServerSentEvent.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class ServerSoftware(product: String, productVersion: Option[String], comment: Option[String])

Attributes

Companion:
object
Source:
ServerSoftware.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object ServerSoftware

Attributes

Companion:
class
Source:
ServerSoftware.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
object StaticFile

Attributes

Source:
StaticFile.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed abstract case class Status extends Ordered[Status] with Renderable

Representation of the HTTP response code and reason

Representation of the HTTP response code and reason

'''Note: ''' the reason is not important to the protocol and is not considered in equality checks.

Attributes

code

HTTP status code

reason

reason for the response. eg, OK

See also:
Companion:
object
Source:
Status.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object Status

Attributes

Companion:
class
Source:
Status.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Status.type
class TransferCoding extends Ordered[TransferCoding] with Renderable

Attributes

Companion:
object
Source:
TransferCoding.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object TransferCoding

Attributes

Companion:
class
Source:
TransferCoding.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed abstract class UnsupportedMediaTypeFailure extends DecodeFailure with NoStackTrace

Indicates that a Message came with no supported MediaType.

Indicates that a Message came with no supported MediaType.

Attributes

Source:
MessageFailure.scala
Graph
Supertypes
class Exception
class Throwable
class Object
trait Matchable
class Any
Known subtypes
final case class Uri(scheme: Option[Scheme], authority: Option[Authority], path: Path, query: Query, fragment: Option[Fragment]) extends QueryOps with Renderable

Representation of the Request URI

Representation of the Request URI

Attributes

authority

optional Uri Authority. eg, localhost:8080, www.foo.bar

fragment

optional Uri Fragment. url-encoded.

path

url-encoded string representation of the path component of the Uri.

query

optional Query. url-encoded.

scheme

optional Uri Scheme. eg, http, https

Companion:
object
Source:
Uri.scala
Graph
Supertypes
trait Product
trait Equals
trait QueryOps
class Object
trait Matchable
class Any
object Uri extends UriPlatform

Attributes

Companion:
class
Source:
Uri.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Uri.type
trait UriPlatform

Attributes

Source:
UriPlatform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Uri.type
final case class UriTemplate(scheme: Option[Scheme], authority: Option[Authority], path: Path, query: Query, fragment: Fragment)

Simple representation of a URI Template that can be rendered as RFC6570 conform string.

Simple representation of a URI Template that can be rendered as RFC6570 conform string.

This model reflects only a subset of RFC6570.

Level 1 and Level 2 are completely modeled and Level 3 features are limited to:

  • Path segments, slash-prefixed
  • Form-style query, ampersand-separated
  • Fragment expansion

Attributes

Companion:
object
Source:
UriTemplate.scala
Graph
Supertypes
trait Product
trait Equals
class Object
trait Matchable
class Any
object UriTemplate

Attributes

Companion:
class
Source:
UriTemplate.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final class UrlForm extends AnyVal

Attributes

Companion:
object
Source:
UrlForm.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any
object UrlForm

Attributes

Companion:
class
Source:
UrlForm.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
UrlForm.type
case object WaitQueueTimeoutException extends TimeoutException

Attributes

Source:
package.scala
Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Product
trait Equals
class Exception
class Throwable
class Object
trait Matchable
class Any
Self type
object implicits extends AllSyntax

Attributes

Source:
implicits.scala
Graph
Supertypes
trait AllSyntax
class Object
trait Matchable
class Any
Self type

Deprecated classlikes

trait MediaTypePlaform

Attributes

Deprecated
true
Source:
MediaTypePlaform.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object RequestCookieJar

Attributes

Companion:
class
Deprecated
true
Source:
RequestCookieJar.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final class RequestCookieJar extends AnyVal

Attributes

Companion:
object
Deprecated
true
Source:
RequestCookieJar.scala
Graph
Supertypes
class AnyVal
trait Matchable
class Any

Types

type AuthScheme = CIString

Attributes

Source:
package.scala
type AuthedRequest[F[_], T] = ContextRequest[F, T]

Attributes

Source:
package.scala
type AuthedRoutes[T, F[_]] = Kleisli[[_] =>> OptionT[F, _$10], ContextRequest[F, T], Response[F]]

The type parameters need to be in this order to make partial unification trigger. See https://github.com/http4s/http4s/issues/1506

The type parameters need to be in this order to make partial unification trigger. See https://github.com/http4s/http4s/issues/1506

Attributes

Source:
package.scala
type Callback[A] = Either[Throwable, A] => Unit

Attributes

Source:
package.scala
type ContextRoutes[T, F[_]] = Kleisli[[_] =>> OptionT[F, _$12], ContextRequest[F, T], Response[F]]

Attributes

Source:
package.scala
type DecodeResult[F[_], A] = EitherT[F, DecodeFailure, A]

Attributes

Source:
package.scala
type EntityBody[+F[_]] = Stream[F, Byte]

Attributes

Source:
package.scala
type EventStream[F[_]] = Stream[F, ServerSentEvent]

A stream of server-sent events

A stream of server-sent events

Attributes

Source:
package.scala
type Http[F[_], G[_]] = Kleisli[F, Request[G], Response[G]]

A kleisli with a Request input and a Response output. This type is useful for writing middleware that are polymorphic over the return type F.

A kleisli with a Request input and a Response output. This type is useful for writing middleware that are polymorphic over the return type F.

Attributes

F

the effect type in which the Response is returned

G

the effect type of the Request and Response bodies

Source:
package.scala
type HttpApp[F[_]] = Http[F, F]

A kleisli with a Request input and a Response output, such that the response effect is the same as the request and response bodies'. An HTTP app is total on its inputs. An HTTP app may be run by a server, and a client can be converted to or from an HTTP app.

A kleisli with a Request input and a Response output, such that the response effect is the same as the request and response bodies'. An HTTP app is total on its inputs. An HTTP app may be run by a server, and a client can be converted to or from an HTTP app.

Attributes

F

the effect type in which the Response is returned, and also of the Request and Response bodies.

Source:
package.scala
type HttpRoutes[F[_]] = Http[[_] =>> OptionT[F, _$7], F]

A kleisli with a Request input and a Response output, such that the response effect is an optional inside the effect of the request and response bodies. HTTP routes can conveniently be constructed from a partial function and combined as a SemigroupK.

A kleisli with a Request input and a Response output, such that the response effect is an optional inside the effect of the request and response bodies. HTTP routes can conveniently be constructed from a partial function and combined as a SemigroupK.

Attributes

F

the effect type of the Request and Response bodies, and the base monad of the OptionT in which the response is returned.

Source:
package.scala
type ParseResult[+A] = Either[ParseFailure, A]

Attributes

Source:
package.scala

Value members

Concrete fields

val EmptyBody: EntityBody[Nothing]

Attributes

Source:
package.scala

Deprecated fields

val DefaultCharset: Charset

Attributes

Deprecated
true
Source:
package.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL