natchez-extras-http4s-stable/com.ovoenergy.natchez.extras.http4s.server/syntax

syntax

object syntax
class Object
trait Matchable
class Any
syntax.type

Type members

Classlikes

implicit class KleisliSyntax[F[_], A, B](a: Kleisli[[_] =>> OptionT[F, _$2], A, B])(implicit evidence$1: Monad[F])

Given an A => F[Option[B]] and an A => F[B] run the first function and if it returns F[None] then fall through to the second function. This is useful for composing HttpRoutes[F] with HttpApp[F]

Given an A => F[Option[B]] and an A => F[B] run the first function and if it returns F[None] then fall through to the second function. This is useful for composing HttpRoutes[F] with HttpApp[F]

Implicits

Implicits

final implicit def KleisliSyntax[F[_] : Monad, A, B](a: Kleisli[[_] =>> OptionT[F, _$2], A, B]): KleisliSyntax[F, A, B]

Given an A => F[Option[B]] and an A => F[B] run the first function and if it returns F[None] then fall through to the second function. This is useful for composing HttpRoutes[F] with HttpApp[F]

Given an A => F[Option[B]] and an A => F[B] run the first function and if it returns F[None] then fall through to the second function. This is useful for composing HttpRoutes[F] with HttpApp[F]