Morphism2

izumi.functional.bio.data.Morphism2
object Morphism2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Morphism2.type

Members list

Type members

Classlikes

object Instance

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Instance.type
trait Instance[-F[_, _], +G[_, _]]

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

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
Supertypes
class Object
trait Matchable
class Any
Self type
Instance[F, G]

Value members

Concrete methods

def apply[F[_, _], G[_, _]](polyFunction: F[UnknownE, UnknownA] => G[UnknownE, UnknownA]): Morphism2[F, G]
def identity[F[_, _]]: Morphism2[F, F]