microsite
API
Generated with
microsite/izumi/izumi.functional/izumi.functional.bio/izumi.functional.bio.data/Morphism3

Morphism3

izumi.functional.bio.data.Morphism3
object Morphism3 extends LowPriorityMorphismInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Morphism3.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]
final implicit class Ops[-F[_, _, _], +G[_, _, _]](self: Morphism3[F, G]) extends AnyVal

Attributes

Supertypes
class AnyVal
trait Matchable
class Any
final implicit class SyntaxToCats[F[_], G[_]](self: Morphism1[F, G]) extends AnyVal

Attributes

Supertypes
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

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

Implicits

Implicits

implicit def Convert2To1[F[_, _], G[_, _], E](implicit f: Morphism2[F, G]): Morphism1[[_] =>> F[E, _$92], [_] =>> G[E, _$93]]
implicit def Convert3To2[F[_, _, _], G[_, _, _], R](implicit f: Morphism3[F, G]): Morphism2[[_, _] =>> F[R, _$80, _$81], [_, _] =>> G[R, _$82, _$83]]
final implicit def Ops[F[_, _, _], G[_, _, _]](self: Morphism3[F, G]): Ops[F, G]
final implicit def SyntaxToCats[F[_], G[_]](self: Morphism1[F, G]): SyntaxToCats[F, G]
implicit def conversion2To1[F[_, _], G[_, _], E](f: Morphism2[F, G]): Morphism1[[_] =>> F[E, _$70], [_] =>> G[E, _$71]]
implicit def conversion3To2[F[_, _, _], G[_, _, _], R](f: Morphism3[F, G]): Morphism2[[_, _] =>> F[R, _$58, _$59], [_, _] =>> G[R, _$60, _$61]]
implicit def fromCats[F[_], G[_]](fn: FunctionK[F, G]): Morphism1[F, G]
implicit def identity1[F[_]]: Morphism1[F, F]

If requested implicitly, an identity morphism is always available

If requested implicitly, an identity morphism is always available

Attributes

Inherited implicits

implicit def Convert2To1Nothing[F[_, _], G[_, _]](implicit f: Morphism2[F, G]): Morphism1[[_] =>> F[Nothing, _$110], [_] =>> G[Nothing, _$111]]

Attributes

Inherited from:
LowPriorityMorphismInstances
implicit def conversion2To1Nothing[F[_, _], G[_, _]](f: Morphism2[F, G]): Morphism1[[_] =>> F[Nothing, _$102], [_] =>> G[Nothing, _$103]]

Attributes

Inherited from:
LowPriorityMorphismInstances
implicit def identity2[F[_, _]]: Morphism2[F, F]

Attributes

Inherited from:
LowPriorityMorphismInstances
implicit def identity3[F[_, _, _]]: Morphism3[F, F]

Attributes

Inherited from:
LowPriorityMorphismInstances1
Generated with