scalaz-core/scalaz/Lan

Lan

object Lan extends LanInstances
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def adjointToLan[F[_], G[_], A](ga: G[A])(implicit A: Adjunction[F, G]): Lan[F, Id, A]
def composedAdjointToLan[F[_], G[_], H[_], A](h: H[G[A]])(implicit A: Adjunction[F, G]): Lan[F, H, A]
def fromLan[F[_], G[_], H[_], B](h: H[B])(s: NaturalTransformation[[_] =>> Lan[G, H, _$37], F]): F[G[B]]

fromLan and toLan witness an adjunction from Lan[G,_,_] to Compose[G,_,_]:

fromLan and toLan witness an adjunction from Lan[G,_,_] to Compose[G,_,_]:

def glan[G[_], H[_], A](h: H[A]): Lan[G, H, G[A]]

The natural transformation that defines a left Kan extension

The natural transformation that defines a left Kan extension

def lanToAdjoint[F[_], G[_], A](lan: Lan[F, Id, A])(implicit A: Adjunction[F, G]): G[A]

Implicits

Implicits

implicit
def lanApplicative[G[_] : Functor, H[_] : Applicative]: Applicative[[_] =>> Lan[G, H, _$32]]

Inherited implicits

implicit
def lanApply[F[_] : Functor, G[_] : Apply]: Apply[[_] =>> Lan[F, G, _$52]]
Inherited from
LanInstances
implicit
def lanFunctor[F[_], G[_]]: Functor[[_] =>> Lan[F, G, _$49]]
Inherited from
LanInstances0