Http

object Http

Functions for creating Http kleislis.

Source:
Http.scala
class Object
trait Matchable
class Any
Http.type

Value members

Concrete methods

def apply[F[_], G[_]](run: Request[G] => F[Response[G]])(implicit F: Monad[F]): Http[F, G]

Lifts a function into an Http kleisli. The application of run is suspended in F to permit more efficient combination of routes via SemigroupK.

Lifts a function into an Http kleisli. The application of run is suspended in F to permit more efficient combination of routes via SemigroupK.

Type parameters:
F

the effect of the Response returned by the Http

G

the effect of the bodies of the Request and Response

Value parameters:
run

the function to lift

Returns:

an Http that suspends run.

Source:
Http.scala
def liftF[F[_], G[_]](fr: F[Response[G]]): Http[F, G]

Lifts an effectful Response into an Http kleisli.

Lifts an effectful Response into an Http kleisli.

Type parameters:
F

the effect of the Response returned by the Http

G

the effect of the bodies of the Request and Response

Value parameters:
fr

the effectful Response to lift

Returns:

an Http that always returns fr

Source:
Http.scala
def local[F[_], G[_]](f: Request[G] => Request[G])(fa: Http[F, G])(implicit F: Monad[F]): Http[F, G]

Transforms an Http on its input. The application of the transformed function is suspended in F to permit more efficient combination of routes via SemigroupK.

Transforms an Http on its input. The application of the transformed function is suspended in F to permit more efficient combination of routes via SemigroupK.

Type parameters:
F

the effect of the Response returned by the Http

G

the effect of the bodies of the Request and Response

Value parameters:
f

a function to apply to the Request

fa

the Http to transform

Returns:

An Http whose input is transformed by f before being applied to fa

Source:
Http.scala
def pure[F[_] : Applicative, G[_]](r: Response[G]): Http[F, G]

Lifts a Response into an Http kleisli.

Lifts a Response into an Http kleisli.

Type parameters:
F

the effect of the Response returned by the Http

G

the effect of the bodies of the Request and Response

Value parameters:
r

the Response to lift

Returns:

an Http that always returns r in effect F

Source:
Http.scala