Instance

izumi.functional.bio.data.Morphism2$.Instance
See theInstance companion object
trait Instance[-F[_, _], +G[_, _]]

When it's more convenient to write a polymorphic function using a class or kind-projector's lambda syntax:

 Lambda[FunctionKK.Instance[F, G]](a => f(b(a)))

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Instance[F, G]

Members list

Concise view

Value members

Abstract methods

def apply[E, A](fa: F[E, A]): G[E, A]

Concrete methods

final def andThen[H[_, _]](f: Morphism2[G, H]): Morphism2[F, H]
final def compose[F1[_, _]](f: Morphism2[F1, F]): Morphism2[F1, G]