fundamentals-bio
API
Generated with
fundamentals-bio/izumi.functional.bio.data/Morphism3

Morphism3

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

Attributes

Note:

if you're using Scala 2.12 and getting "no such method" or implicit-related errors when interacting with Morphism3, 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]
final implicit class Ops[-F[_, _, _], +G[_, _, _]](self: Morphism3[F, G]) extends AnyVal

Attributes

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

Attributes

Graph
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