Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
adjointToLan[F[_], G[_], A](ga: G[A])(implicit A: Adjunction[F, G]): Lan[F, Id.Id, A]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
composedAdjointToLan[F[_], G[_], H[_], A](h: H[G[A]])(implicit A: Adjunction[F, G]): Lan[F, H, A]
-
-
-
def
finalize(): Unit
-
def
fromLan[F[_], G[_], H[_], B](h: H[B])(s: ~>[[γ$5$]Lan[G, H, γ$5$], F]): F[G[B]]
-
final
def
getClass(): Class[_]
-
def
glan[G[_], H[_], A](h: H[A]): Lan[G, H, G[A]]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
implicit
def
lanApplicative[G[_], H[_]](implicit arg0: Functor[G], arg1: Applicative[H]): Applicative[[γ$3$]Lan[G, H, γ$3$]]
-
implicit
def
lanApply[F[_], G[_]](implicit arg0: Functor[F], arg1: Apply[G]): Apply[[γ$7$]Lan[F, G, γ$7$]]
-
implicit
def
lanFunctor[F[_], G[_]]: Functor[[γ$6$]Lan[F, G, γ$6$]]
-
def
lanToAdjoint[F[_], G[_], A](lan: Lan[F, Id.Id, A])(implicit A: Adjunction[F, G]): G[A]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
