object
Lan extends AnyRef
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
def
adjointToLan[F[_], G[_], A](ga: G[A])(implicit A: Adjunction[F, G]): Lan[F, 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]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
fromLan[F[_], G[_], H[_], B](h: H[B])(s: ~>[[α]Lan[G, H, α], F]): F[G[B]]
-
final
def
getClass(): java.lang.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[[α]Lan[G, H, α]]
-
implicit
def
lanFunctor[F[_], G[_]]: Functor[[α]Lan[F, G, α]]
-
def
lanToAdjoint[F[_], G[_], A](lan: Lan[F, Id, A])(implicit A: Adjunction[F, G]): G[A]
-
final
def
ne(arg0: AnyRef): Boolean
-
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
Inherited from AnyRef
Inherited from Any