Package

org.http4s

rho

Permalink

package rho

Linear Supertypes
Http4s, AllSyntax, LiteralsSyntax, StringSyntax, NonEmptyListSyntax, KleisliSyntax, EffectRequestSyntax, EffectResponseSyntax, AsyncSyntax, Http4sFunctions, UriFunctions, QValueFunctions, Http4sInstances, StatusInstances, MethodInstances, QValueInstances, CharsetRangeInstances, EntityEncoderInstances, EntityEncoderInstances0, HttpVersionInstances, EntityDecoderInstances, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. rho
  2. Http4s
  3. AllSyntax
  4. LiteralsSyntax
  5. StringSyntax
  6. NonEmptyListSyntax
  7. KleisliSyntax
  8. EffectRequestSyntax
  9. EffectResponseSyntax
  10. AsyncSyntax
  11. Http4sFunctions
  12. UriFunctions
  13. QValueFunctions
  14. Http4sInstances
  15. StatusInstances
  16. MethodInstances
  17. QValueInstances
  18. CharsetRangeInstances
  19. EntityEncoderInstances
  20. EntityEncoderInstances0
  21. HttpVersionInstances
  22. EntityDecoderInstances
  23. AnyRef
  24. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Action[F[_], T <: HList](resultInfo: Set[ResultInfo], responseEncodings: Set[MediaType], act: (Request[F], T) ⇒ F[Response[F]]) extends Product with Serializable

    Permalink

    Encapsulation of metadata and a result generator

    Encapsulation of metadata and a result generator

    T

    The type of HList required to execute the Action.

    resultInfo

    Information about the status and type the Action will produce.

    responseEncodings

    Encodings that the response supports.

    act

    Function of Request and the HList to a Task[Response]

  2. class AuthedContext[F[_], U] extends FailureResponseOps[F]

    Permalink

    The AuthedContext provides a convenient way to define a RhoService which works with http4s authentication middleware.

    The AuthedContext provides a convenient way to define a RhoService which works with http4s authentication middleware.

    case class User(name: String, id: UUID)
    
    object Auth {
      val authUser: Service[Request, User] = Kleisli({ _ =>
        Task.now(User("Test User", UUID.randomUUID()))
      })
    
      val authenticated = AuthMiddleware(authUser)
    }
    
    object MyAuth extends AuthedContext[User]
    
    object MyService extends RhoService {
      import MyAuth._
      GET +? param("foo", "bar") |>> { (req: Request, foo: String) =>
        val user = getAuth(req)
        if (user.name == "Test User") {
          Ok(s"just root with parameter 'foo=$foo'")
        } else {
          BadRequest("This should not have happened.")
        }
      }
    }
    
    val service = Auth.authenticated(MyAuth.toService(MyService.toService(SwaggerSupport())))
    U

    authInfo type for this service.

  3. case class CodecRouter[F[_], T <: HList, R](router: Router[F, T], decoder: EntityDecoder[F, R])(implicit t: scala.reflect.api.JavaUniverse.TypeTag[R]) extends HeaderAppendable[F, T] with RouteExecutable[F, ::[R, T]] with RoutingEntity[F, ::[R, T]] with Decodable[F, T, R] with Product with Serializable

    Permalink
  4. trait CompileService[F[_], RouteType] extends AnyRef

    Permalink

    Transforms a RhoRoute into an RouteType.

    Transforms a RhoRoute into an RouteType.

    This can be a stateful operation, storing the action for later execution or any other type of compilation phase.

  5. trait Decodable[F[_], T <: HList, R] extends AnyRef

    Permalink

    Type that can accept a decoder.

    Type that can accept a decoder.

    A subtype of Decodable can accept an EntityDecoder for extracting a message from the Request body.

  6. final class PathBuilder[F[_], T <: HList] extends RouteExecutable[F, T] with Decodable[F, T, Nothing] with HeaderAppendable[F, T] with RoutePrependable[F, PathBuilder[F, T]] with UriConvertible[F]

    Permalink

    Fully functional path building

  7. case class QueryBuilder[F[_], T <: HList](method: Method, path: PathRule, rules: RequestRule[F]) extends RouteExecutable[F, T] with HeaderAppendable[F, T] with UriConvertible[F] with RoutePrependable[F, QueryBuilder[F, T]] with Product with Serializable

    Permalink

    Typed builder of query rules

    Typed builder of query rules

    The QueryBuilder represents a builder for routes that already have a defined method and path. It can accumulate query rules and mount decoders.

    T

    The HList representation of the types the route expects to extract from a Request.

    method

    Request method to match.

    path

    Path rules to execute.

    rules

    Accumulated RequestRule's.

  8. final case class RequestLineBuilder[F[_], T <: HList](path: PathRule, rules: RequestRule[F]) extends TypedBuilder[F, T] with RoutePrependable[F, RequestLineBuilder[F, T]] with UriConvertible[F] with Product with Serializable

    Permalink

    DSL construct for building query rules without a known Method

    DSL construct for building query rules without a known Method

    The RequestLineBuilder doesn't know about header rules or the method.

    T

    The HList representation of the values to be extracted from the Request.

  9. sealed case class Result[F[_], +CONTINUE, +SWITCHINGPROTOCOLS, +PROCESSING, +OK, +CREATED, +ACCEPTED, +NONAUTHORITATIVEINFORMATION, +NOCONTENT, +RESETCONTENT, +PARTIALCONTENT, +MULTISTATUS, +ALREADYREPORTED, +IMUSED, +MULTIPLECHOICES, +MOVEDPERMANENTLY, +FOUND, +SEEOTHER, +NOTMODIFIED, +USEPROXY, +TEMPORARYREDIRECT, +PERMANENTREDIRECT, +BADREQUEST, +UNAUTHORIZED, +PAYMENTREQUIRED, +FORBIDDEN, +NOTFOUND, +METHODNOTALLOWED, +NOTACCEPTABLE, +PROXYAUTHENTICATIONREQUIRED, +REQUESTTIMEOUT, +CONFLICT, +GONE, +LENGTHREQUIRED, +PRECONDITIONFAILED, +PAYLOADTOOLARGE, +URITOOLONG, +UNSUPPORTEDMEDIATYPE, +RANGENOTSATISFIABLE, +EXPECTATIONFAILED, +UNPROCESSABLEENTITY, +LOCKED, +FAILEDDEPENDENCY, +UPGRADEREQUIRED, +PRECONDITIONREQUIRED, +TOOMANYREQUESTS, +REQUESTHEADERFIELDSTOOLARGE, +INTERNALSERVERERROR, +NOTIMPLEMENTED, +BADGATEWAY, +SERVICEUNAVAILABLE, +GATEWAYTIMEOUT, +HTTPVERSIONNOTSUPPORTED, +VARIANTALSONEGOTIATES, +INSUFFICIENTSTORAGE, +LOOPDETECTED, +NOTEXTENDED, +NETWORKAUTHENTICATIONREQUIRED](resp: Response[F]) extends Product with Serializable

    Permalink

    A helper for capturing the result types and status codes from routes

  10. trait ResultSyntaxInstances[F[_]] extends AnyRef

    Permalink
  11. type RhoMiddleware[F[_]] = (Seq[RhoRoute[F, _ <: HList]]) ⇒ Seq[RhoRoute[F, _ <: HList]]

    Permalink
  12. final case class RhoRoute[F[_], T <: HList](router: RoutingEntity[F, T], action: Action[F, T]) extends RoutePrependable[F, RhoRoute[F, T]] with Product with Serializable

    Permalink

    A type to bundle everything needed to define a route

  13. class RhoService[F[_]] extends MethodAliases with ResponseGeneratorInstances[F] with RoutePrependable[F, RhoService[F]] with EntityEncoderInstances with RhoDsl[F]

    Permalink

    Constructor class for defining routes

    Constructor class for defining routes

    The RhoService provides a convenient way to define routes in a style similar to scalatra etc by providing implicit conversions and an implicit CompileService inside the constructor.

    val srvc = new RhoService {
      POST / "foo" / pathVar[Int] +? param[String]("param") |>> { (p1: Int, param: String) =>
        Ok("success")
      }
    }
  14. trait RouteExecutable[F[_], T <: HList] extends TypedBuilder[F, T]

    Permalink

    Object which can be compiled into a complete route The RouteExecutable is a complete set of HTTP method, path, query, and headers needed for a compiler to generate a complete route description.

    Object which can be compiled into a complete route The RouteExecutable is a complete set of HTTP method, path, query, and headers needed for a compiler to generate a complete route description.

    T

    The HList representation of the types the route expects to extract from a Request.

  15. trait RoutePrependable[F[_], T <: RoutePrependable[F, T]] extends AnyRef

    Permalink

    Types that extends this trait can be prepended with noncapturing paths

  16. case class Router[F[_], T <: HList](method: Method, path: PathRule, rules: RequestRule[F]) extends RouteExecutable[F, T] with HeaderAppendable[F, T] with RoutingEntity[F, T] with Decodable[F, T, Nothing] with RoutePrependable[F, Router[F, T]] with Product with Serializable

    Permalink

    Provides the operations for generating a router

    Provides the operations for generating a router

    T

    cumulative type of the required method for executing the router

    method

    request methods to match

    path

    path matching stack

    rules

    header validation stack

  17. sealed trait RoutingEntity[F[_], T <: HList] extends AnyRef

    Permalink
  18. final class ServiceBuilder[F[_]] extends CompileService[F, Tpe[F]]

    Permalink

    CompileService which accumulates routes and can build a HttpService

  19. trait TypedBuilder[F[_], T <: HList] extends UriConvertible[F]

    Permalink

    A typed shell which represents the requirements of the route

    A typed shell which represents the requirements of the route

    T

    The HList representation of the values to be extracted from the Request.

  20. trait UriConvertible[F[_]] extends AnyRef

    Permalink

    Defines a type that is convertible into an Uri or UriTemplate

Abstract Value Members

  1. abstract def getClass(): Class[_]

    Permalink
    Definition Classes
    Any

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  4. object CompileService

    Permalink
  5. implicit val HttpVersionOrder: Order[HttpVersion]

    Permalink
    Definition Classes
    HttpVersionInstances
  6. implicit val HttpVersionShow: Show[HttpVersion]

    Permalink
    Definition Classes
    HttpVersionInstances
  7. val PathEmpty: PathRule

    Permalink
  8. object Result extends Serializable

    Permalink
  9. object RhoRoute extends Serializable

    Permalink
  10. object ServiceBuilder

    Permalink
  11. implicit val StatusOrder: Order[Status]

    Permalink
    Definition Classes
    StatusInstances
  12. implicit val StatusShow: Show[Status]

    Permalink
    Definition Classes
    StatusInstances
  13. object UriConvertible

    Permalink
  14. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  15. implicit def asyncSyntax[F[_], A](async: Async[F]): AsyncOps[F, A]

    Permalink
    Definition Classes
    AsyncSyntax
  16. def binFile[F[_]](file: File)(implicit F: Sync[F]): EntityDecoder[F, File]

    Permalink
    Definition Classes
    EntityDecoderInstances
  17. implicit def binary[F[_]](implicit arg0: Sync[F]): EntityDecoder[F, Segment[Byte, Unit]]

    Permalink
    Definition Classes
    EntityDecoderInstances
  18. implicit def binaryChunk[F[_]](implicit arg0: Sync[F]): EntityDecoder[F, Chunk[Byte]]

    Permalink
    Definition Classes
    EntityDecoderInstances
  19. package bits

    Permalink
  20. implicit def byteArrayDecoder[F[_]](implicit arg0: Sync[F]): EntityDecoder[F, Array[Byte]]

    Permalink
    Definition Classes
    EntityDecoderInstances
  21. implicit def byteArrayEncoder[F[_]](implicit arg0: Applicative[F]): EntityEncoder[F, Array[Byte]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  22. implicit def charArrayDecoder[F[_]](implicit arg0: Sync[F]): EntityDecoder[F, Array[Char]]

    Permalink
    Definition Classes
    EntityDecoderInstances
  23. implicit def charArrayEncoder[F[_]](implicit F: Applicative[F], charset: Charset): EntityEncoder[F, Array[Char]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  24. implicit def chunkEncoder[F[_]](implicit arg0: Applicative[F]): EntityEncoder[F, Chunk[Byte]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  25. implicit def effectEncoder[F[_], A](implicit F: FlatMap[F], W: EntityEncoder[F, A]): EntityEncoder[F, F[A]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  26. def emptyEncoder[F[_], A](implicit F: Applicative[F]): EntityEncoder[F, A]

    Permalink
    Definition Classes
    EntityEncoderInstances0
  27. implicit def entityBodyEncoder[F[_]](implicit F: Applicative[F]): EntityEncoder[F, EntityBody[F]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  28. implicit def entityEncoderContravariant[F[_]]: Contravariant[[β$0$]EntityEncoder[F, β$0$]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  29. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  30. def error[F[_], T](t: Throwable)(implicit F: Sync[F]): EntityDecoder[F, T]

    Permalink
    Definition Classes
    EntityDecoderInstances
  31. implicit def fileEncoder[F[_]](implicit F: Sync[F]): EntityEncoder[F, File]

    Permalink
    Definition Classes
    EntityEncoderInstances
  32. implicit def filePathEncoder[F[_]](implicit arg0: Sync[F]): EntityEncoder[F, Path]

    Permalink
    Definition Classes
    EntityEncoderInstances
  33. implicit def futureEncoder[F[_], A](implicit F: Async[F], ec: ExecutionContext, W: EntityEncoder[F, A]): EntityEncoder[F, Future[A]]

    Permalink
    Definition Classes
    EntityEncoderInstances0
  34. def hashCode(): Int

    Permalink
    Definition Classes
    Any
  35. implicit val http4sEqForCharsetRange: Eq[CharsetRange]

    Permalink
    Definition Classes
    CharsetRangeInstances
  36. implicit val http4sEqForMethod: Eq[Method]

    Permalink
    Definition Classes
    MethodInstances
  37. implicit def http4sKleisliResponseSyntax[F[_], A](service: Kleisli[[β$0$]OptionT[F, β$0$], A, Response[F]])(implicit arg0: Functor[F]): KleisliResponseOps[F, A]

    Permalink
    Definition Classes
    KleisliSyntax
  38. implicit def http4sLiteralsSyntax(sc: StringContext): LiteralsOps

    Permalink
    Definition Classes
    LiteralsSyntax
  39. implicit def http4sNonEmptyListSyntax[A](l: NonEmptyList[A]): NonEmptyListOps[A]

    Permalink
    Definition Classes
    NonEmptyListSyntax
  40. implicit val http4sShowForCharsetRange: Show[Charset]

    Permalink
    Definition Classes
    CharsetRangeInstances
  41. implicit val http4sShowForMethod: Show[Method]

    Permalink
    Definition Classes
    MethodInstances
  42. implicit def http4sStringSyntax(s: String): StringOps

    Permalink
    Definition Classes
    StringSyntax
  43. implicit def inputStreamEncoder[F[_], IS <: InputStream](implicit arg0: Sync[F]): EntityEncoder[F, F[IS]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  44. object io extends RhoDsl[IO]

    Permalink
  45. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  46. implicit def multipart[F[_]](implicit arg0: Sync[F]): EntityDecoder[F, Multipart[F]]

    Permalink
    Definition Classes
    EntityDecoderInstances
  47. implicit def multipartEncoder[F[_]](implicit arg0: Sync[F]): EntityEncoder[F, Multipart[F]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  48. macro def q(d: Double): QValue

    Permalink
    Definition Classes
    QValueFunctions
  49. implicit val qValueHttpCodec: HttpCodec[QValue]

    Permalink
    Definition Classes
    QValueInstances
  50. implicit val qValueOrder: Order[QValue]

    Permalink
    Definition Classes
    QValueInstances
  51. implicit val qValueShow: Show[QValue]

    Permalink
    Definition Classes
    QValueInstances
  52. implicit def readerEncoder[F[_], R <: Reader](implicit F: Sync[F], charset: Charset): EntityEncoder[F, F[R]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  53. def removeDotSegments(path: Path): Path

    Permalink
    Definition Classes
    UriFunctions
  54. def resolve(base: Uri, reference: Uri): Uri

    Permalink
    Definition Classes
    UriFunctions
  55. implicit def segmentEncoder[F[_]](implicit arg0: Applicative[F]): EntityEncoder[F, Segment[Byte, Unit]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  56. implicit def serverSentEventEncoder[F[_]](implicit arg0: Applicative[F]): EntityEncoder[F, EventStream[F]]

    Permalink
    Definition Classes
    EntityEncoderInstances
  57. def showEncoder[F[_], A](implicit arg0: Applicative[F], charset: Charset, show: Show[A]): EntityEncoder[F, A]

    Permalink
    Definition Classes
    EntityEncoderInstances0
  58. implicit def streamEncoder[F[_], A](implicit F: Applicative[F], W: EntityEncoder[F, A]): EntityEncoder[F, Stream[F, A]]

    Permalink
    Definition Classes
    EntityEncoderInstances0
  59. implicit def stringEncoder[F[_]](implicit F: Applicative[F], charset: Charset): EntityEncoder[F, String]

    Permalink
    Definition Classes
    EntityEncoderInstances
  60. implicit def text[F[_]](implicit arg0: Sync[F], defaultCharset: Charset): EntityDecoder[F, String]

    Permalink
    Definition Classes
    EntityDecoderInstances
  61. def textFile[F[_]](file: File)(implicit F: Sync[F]): EntityDecoder[F, File]

    Permalink
    Definition Classes
    EntityDecoderInstances
  62. def toString(): String

    Permalink
    Definition Classes
    Any
  63. implicit def unitEncoder[F[_]](implicit arg0: Applicative[F]): EntityEncoder[F, Unit]

    Permalink
    Definition Classes
    EntityEncoderInstances
  64. macro def uri(s: String): Uri

    Permalink
    Definition Classes
    UriFunctions
  65. implicit def void[F[_]](implicit arg0: Sync[F]): EntityDecoder[F, Unit]

    Permalink
    Definition Classes
    EntityDecoderInstances

Deprecated Value Members

  1. implicit def http4sEffectRequestSyntax[F[_]](req: F[Request[F]]): EffectRequestOps[F]

    Permalink
    Definition Classes
    EffectRequestSyntax
    Annotations
    @deprecated
    Deprecated

    (Since version 0.18.0-M2) Use map or flatMap directly on the request

  2. implicit def http4sEffectResponseSyntax[F[_]](resp: F[Response[F]]): EffectResponseOps[F]

    Permalink
    Definition Classes
    EffectResponseSyntax
    Annotations
    @deprecated
    Deprecated

    (Since version 0.18.0-M2) Use map or flatMap directly on the response

Inherited from Http4s

Inherited from AllSyntax

Inherited from LiteralsSyntax

Inherited from StringSyntax

Inherited from NonEmptyListSyntax

Inherited from KleisliSyntax

Inherited from EffectRequestSyntax

Inherited from EffectResponseSyntax

Inherited from AsyncSyntax

Inherited from Http4sFunctions

Inherited from UriFunctions

Inherited from QValueFunctions

Inherited from Http4sInstances

Inherited from StatusInstances

Inherited from MethodInstances

Inherited from QValueInstances

Inherited from CharsetRangeInstances

Inherited from EntityEncoderInstances

Inherited from EntityEncoderInstances0

Inherited from HttpVersionInstances

Inherited from EntityDecoderInstances

Inherited from AnyRef

Inherited from Any

Ungrouped