Morphism2

izumi.functional.bio.data.Morphism2$
object Morphism2

Attributes

Note:

if you're using Scala 2.12 and getting "no such method" or implicit-related errors when interacting with Morphism2, you must enable -Xsource:2.13 or -Xsource:3 compiler option. BIO does not work without -Xsource:2.13 or -Xsource:3 option on 2.12.

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

object Instance

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self 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
Graph
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]