KleisliSyntax

com.ovoenergy.natchez.extras.http4s.server.syntax$.KleisliSyntax
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]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def fallthroughTo(b: Kleisli[F, A, B]): Kleisli[F, A, B]