Packages

  • package root
    Definition Classes
    root
  • package izumi
    Definition Classes
    root
  • package functional
    Definition Classes
    izumi
  • package bio

    Current hierarchy (use http://www.nomnoml.com/ to render, rendered: https://izumi.7mind.io/bio/media/bio-relationship-hierarchy.svg)

    Current hierarchy (use http://www.nomnoml.com/ to render, rendered: https://izumi.7mind.io/bio/media/bio-relationship-hierarchy.svg)

    [Functor2]<--[Bifunctor2]
[Bifunctor2]<--[ApplicativeError2]
[Functor2]<--[Applicative2]
[Applicative2]<--[Guarantee2]
[Applicative2]<--[Monad2]
[Guarantee2]<--[ApplicativeError2]
[ApplicativeError2]<--[Error2]
[Monad2]<--[Error2]
[Error2]<--[Bracket2]
[Bracket2]<--[Panic2]
[Panic2]<--[IO2]
[IO2]<--[Async2]

[Monad2]<--[Parallel2]
[Parallel2]<--[Concurrent2]
[Concurrent2]<--[Async2]

[Error2]<--[Temporal2]

    Auxiliary algebras:

    [cats.effect.*]<:--[CatsConversions]

[Fork2]<:--[Fiber2]

[BlockingIO2]

[Primitives2]

[Primitives2]<:--[Ref2]
[Primitives2]<:--[Semaphore2]
[Primitives2]<:--[Promise2]

[PrimitivesM2]
[PrimitivesM2]<:--[RefM2]
[PrimitivesM2]<:--[Mutex2]

[Entropy1]<:--[Entropy2]
[Clock1]<:--[Clock2]

[UnsafeRun2]

    Raw inheritance hierarchy:

    [Functor2]<--[Applicative2]
[Applicative2]<--[Guarantee2]
[Applicative2]<--[Monad2]
[Guarantee2]<--[ApplicativeError2]
[Bifunctor2]<--[ApplicativeError2]
[ApplicativeError2]<--[Error2]
[Monad2]<--[Error2]
[Error2]<--[Bracket2]
[Bracket2]<--[Panic2]
[Panic2]<--[IO2]

[Parallel2]<--[Concurrent2]
[Concurrent2]<--[Async2]
[IO2]<--[Async2]

[Temporal2]

    current hierarchy roots:

    bifunctor:

    • Functor3
    • Bifunctor3
    • Parallel3
    • Temporal3

    standalone:

    • Fork3
    • BlockingIO3
    • Primitives3
    • PrimitivesM3
    Definition Classes
    functional
  • package data
    Definition Classes
    bio
  • Free
  • FreeError
  • FreePanic
  • Isomorphism1
  • Isomorphism2
  • Isomorphism3
  • LowPriorityIsomorphismInstances
  • LowPriorityIsomorphismInstances1
  • LowPriorityMorphismInstances
  • LowPriorityMorphismInstances1
  • Morphism1
  • Morphism2
  • Morphism3

object Morphism3 extends LowPriorityMorphismInstances

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.

Linear Supertypes
LowPriorityMorphismInstances, LowPriorityMorphismInstances1, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Morphism3
  2. LowPriorityMorphismInstances
  3. LowPriorityMorphismInstances1
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait Instance[-F[_, _, _], +G[_, _, _]] extends AnyRef

    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)))
  2. abstract type Morphism3[-F[_, _, _], +G[_, _, _]]
    Attributes
    protected[data]
  3. implicit final class Ops[-F[_, _, _], +G[_, _, _]] extends AnyVal
  4. implicit final class SyntaxToCats[F[_], G[_]] extends AnyVal

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. implicit def Convert2To1[F[_, _], G[_, _], E](implicit f: Morphism2[F, G]): Morphism1[[β$20$]F[E, β$20$], [β$21$]G[E, β$21$]]
  5. implicit def Convert2To1Nothing[F[_, _], G[_, _]](implicit f: Morphism2[F, G]): Morphism1[[β$28$]F[Nothing, β$28$], [β$29$]G[Nothing, β$29$]]
    Definition Classes
    LowPriorityMorphismInstances
  6. implicit def Convert3To2[F[_, _, _], G[_, _, _], R](implicit f: Morphism3[F, G]): Morphism2[[β$12$, γ$13$]F[R, β$12$, γ$13$], [β$14$, γ$15$]G[R, β$14$, γ$15$]]
  7. def apply[F[_, _, _], G[_, _, _]](polyFunction: (F[UnknownR, UnknownE, UnknownA]) => G[UnknownR, UnknownE, UnknownA]): Morphism3[F, G]
    Annotations
    @inline()
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  10. implicit def conversion2To1[F[_, _], G[_, _], E](f: Morphism2[F, G]): Morphism1[[β$8$]F[E, β$8$], [β$9$]G[E, β$9$]]
  11. implicit def conversion2To1Nothing[F[_, _], G[_, _]](f: Morphism2[F, G]): Morphism1[[β$24$]F[Nothing, β$24$], [β$25$]G[Nothing, β$25$]]
    Definition Classes
    LowPriorityMorphismInstances
  12. implicit def conversion3To2[F[_, _, _], G[_, _, _], R](f: Morphism3[F, G]): Morphism2[[β$0$, γ$1$]F[R, β$0$, γ$1$], [β$2$, γ$3$]G[R, β$2$, γ$3$]]
  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  15. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  16. implicit def fromCats[F[_], G[_]](fn: FunctionK[F, G]): Morphism1[F, G]
    Annotations
    @inline()
  17. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. def identity[F[_, _, _]]: Morphism3[F, F]
    Annotations
    @inline()
  20. 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

    Annotations
    @inline()
  21. implicit def identity2[F[_, _]]: Morphism2[F, F]
    Definition Classes
    LowPriorityMorphismInstances
    Annotations
    @inline()
  22. implicit def identity3[F[_, _, _]]: data.Morphism3[F, F]
    Definition Classes
    LowPriorityMorphismInstances1
    Annotations
    @inline()
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  28. def toString(): String
    Definition Classes
    AnyRef → Any
  29. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  32. object Instance

Inherited from LowPriorityMorphismInstances

Inherited from LowPriorityMorphismInstances1

Inherited from AnyRef

Inherited from Any

Ungrouped