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)

    [Functor3]<--[Bifunctor3]
[Bifunctor3]<--[ApplicativeError3]
[Functor3]<--[Applicative3]
[Applicative3]<--[Guarantee3]
[Applicative3]<--[Monad3]
[Guarantee3]<--[ApplicativeError3]
[ApplicativeError3]<--[Error3]
[Monad3]<--[Error3]
[Error3]<--[Bracket3]
[Bracket3]<--[Panic3]
[Panic3]<--[IO3]
[IO3]<--[Async3]

[Monad3]<--[Parallel3]
[Parallel3]<--[Concurrent3]
[Concurrent3]<--[Async3]

[Error3]<--[Temporal3]

[Functor3]<--[Profunctor3]
[Profunctor3]<--[Arrow3]
[Arrow3]<--[ArrowChoice3]
[ArrowChoice3]<--[Local3]

[Applicative3]<--[Ask3]
[Monad3]<--[MonadAsk3]
[Ask3]<--[MonadAsk3]
[MonadAsk3]<--[Local3]

    Auxiliary algebras:

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

[Fork3]<:--[Fiber3]

[BlockingIO3]<:--[BlockingIO2]

[Primitives2]<:--[Primitives3]
[Primitives3]<:--[Ref3]

[Primitives3]<:--[Semaphore3]
[Primitives3]<:--[Promise3]

[Entropy]<:--[Entropy2]

[Entropy2]<:--[Entropy3]

    inheritance hierarchy:

    [Functor3]<--[Applicative3]
[Applicative3]<--[Guarantee3]
[Applicative3]<--[Monad3]
[Guarantee3]<--[ApplicativeError3]
[Bifunctor3]<--[ApplicativeError3]
[ApplicativeError3]<--[Error3]
[Monad3]<--[Error3]
[Error3]<--[Bracket3]
[Bracket3]<--[Panic3]
[Panic3]<--[IO3]

[Parallel3]<--[Concurrent3]
[Concurrent3]<--[Async3]
[IO3]<--[Async3]

[Temporal3]

[Profunctor3]<--[Arrow3]
[Arrow3]<--[ArrowChoice3]
[ArrowChoice3]<--[Local3]
[Ask3]<--[MonadAsk3]
[MonadAsk3]<--[Local3]

    current hierarchy roots:

    bifunctor:

    • Functor3
    • Bifunctor3
    • Parallel3
    • Temporal3

    trifunctor:

    • Profunctor3
    • Ask3

    standalone:

    • Fork3
    • BlockingIO3
    • Primitives3
    Definition Classes
    functional
  • package impl
    Definition Classes
    bio
  • AsyncZio
  • BioEither
  • BioIdentity3
  • ForkZio
  • MiniBIO
  • PrimitivesFromBIOAndCats
  • PrimitivesMFromBIO
  • PrimitivesMZio
  • PrimitivesZio
  • SchedulerImpl
  • TemporalZio

class BioIdentity3 extends Monad3[Identity3]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BioIdentity3
  2. Monad3
  3. Applicative3
  4. Functor3
  5. RootBifunctor
  6. Root
  7. PredefinedHelper
  8. DivergenceHelper
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new BioIdentity3()

Type Members

  1. type Divergence = Nondivergent
    Definition Classes
    DivergenceHelper
  2. type IsPredefined = NotPredefined
    Definition Classes
    PredefinedHelper

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def *>[R, E, A, B](firstOp: Identity3[R, E, A], secondOp: => Identity3[R, E, B]): Identity3[R, E, B]

    execute two operations in order, return result of second operation

    execute two operations in order, return result of second operation

    Definition Classes
    BioIdentity3 → Monad3 → Applicative3
  4. def <*[R, E, A, B](firstOp: Identity3[R, E, A], secondOp: => Identity3[R, E, B]): Identity3[R, E, A]

    execute two operations in order, same as *>, but return result of first operation

    execute two operations in order, same as *>, but return result of first operation

    Definition Classes
    BioIdentity3 → Monad3 → Applicative3
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. def as[R, E, A, B](r: Identity3[R, E, A])(v: => B): Identity3[R, E, B]
    Definition Classes
    Functor3
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  12. def flatMap[R, E, A, B](r: Identity3[R, E, A])(f: (A) => Identity3[R, E, B]): Identity3[R, E, B]
    Definition Classes
    BioIdentity3 → Monad3
  13. def flatten[R, E, A](r: Identity3[R, E, Identity3[R, E, A]]): Identity3[R, E, A]
    Definition Classes
    Monad3
  14. final def forever[R, E, A](r: Identity3[R, E, A]): Identity3[R, E, Nothing]
    Definition Classes
    Applicative3
    Annotations
    @inline()
  15. def fromOptionF[R, E, A](fallbackOnNone: => Identity3[R, E, A], r: Identity3[R, E, Option[A]]): Identity3[R, E, A]

    Extracts the optional value, or executes the fallbackOnNone effect

    Extracts the optional value, or executes the fallbackOnNone effect

    Definition Classes
    Monad3
  16. def fromOptionOr[R, E, A](valueOnNone: => A, r: Identity3[R, E, Option[A]]): Identity3[R, E, A]

    Extracts the optional value, or returns the given valueOnNone value

    Extracts the optional value, or returns the given valueOnNone value

    Definition Classes
    Functor3
  17. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. final def ifThenElse[R, E, E1, A](cond: Identity3[R, E, Boolean])(ifTrue: => Identity3[R, E1, A], ifFalse: => Identity3[R, E1, A])(implicit ev: <:<[E, E1]): Identity3[R, E1, A]
    Definition Classes
    Monad3
    Annotations
    @inline()
  20. final def ifThenElse[R, E, A](cond: Boolean)(ifTrue: => Identity3[R, E, A], ifFalse: => Identity3[R, E, A]): Identity3[R, E, A]
    Definition Classes
    Applicative3
    Annotations
    @inline()
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. def iterateUntil[R, E, A](r: Identity3[R, E, A])(p: (A) => Boolean): Identity3[R, E, A]

    Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.

    Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.

    Definition Classes
    Monad3
  23. def iterateUntilF[R, E, A](init: A)(f: (A) => Identity3[R, E, A])(p: (A) => Boolean): Identity3[R, E, A]

    Apply an effectful function iteratively until its result satisfies the given predicate and return that result.

    Apply an effectful function iteratively until its result satisfies the given predicate and return that result.

    Definition Classes
    Monad3
  24. def iterateWhile[R, E, A](r: Identity3[R, E, A])(p: (A) => Boolean): Identity3[R, E, A]

    Execute an action repeatedly until its result fails to satisfy the given predicate and return that result, discarding all others.

    Execute an action repeatedly until its result fails to satisfy the given predicate and return that result, discarding all others.

    Definition Classes
    Monad3
  25. def iterateWhileF[R, E, A](init: A)(f: (A) => Identity3[R, E, A])(p: (A) => Boolean): Identity3[R, E, A]

    Apply an effectful function iteratively until its result fails to satisfy the given predicate and return that result.

    Apply an effectful function iteratively until its result fails to satisfy the given predicate and return that result.

    Definition Classes
    Monad3
  26. def map[R, E, A, B](r: Identity3[R, E, A])(f: (A) => B): Identity3[R, E, B]
    Definition Classes
    BioIdentity3 → Monad3 → Functor3
  27. def map2[R, E, A, B, C](firstOp: Identity3[R, E, A], secondOp: => Identity3[R, E, B])(f: (A, B) => C): Identity3[R, E, C]

    execute two operations in order, map their results

    execute two operations in order, map their results

    Definition Classes
    BioIdentity3 → Monad3 → Applicative3
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. def pure[A](a: A): Identity3[Any, Nothing, A]
    Definition Classes
    BioIdentity3 → Applicative3
  32. def sequence[R, E, A](l: Iterable[Identity3[R, E, A]]): Identity3[R, E, List[A]]
    Definition Classes
    Applicative3
  33. def sequence_[R, E](l: Iterable[Identity3[R, E, Unit]]): Identity3[R, E, Unit]
    Definition Classes
    Applicative3
  34. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  35. def tailRecM[R, E, A, B](a: A)(f: (A) => Identity3[R, E, Either[A, B]]): Identity3[R, E, B]
    Definition Classes
    Monad3
  36. def tap[R, E, A](r: Identity3[R, E, A], f: (A) => Identity3[R, E, Unit]): Identity3[R, E, A]
    Definition Classes
    Monad3
  37. def toString(): String
    Definition Classes
    AnyRef → Any
  38. def traverse[R, E, A, B](l: Iterable[A])(f: (A) => Identity3[R, E, B]): Identity3[R, E, List[B]]
    Definition Classes
    BioIdentity3 → Applicative3
  39. final def traverse[R, E, A, B](o: Option[A])(f: (A) => Identity3[R, E, B]): Identity3[R, E, Option[B]]
    Definition Classes
    Applicative3
    Annotations
    @inline()
  40. def traverse_[R, E, A](l: Iterable[A])(f: (A) => Identity3[R, E, Unit]): Identity3[R, E, Unit]
    Definition Classes
    Applicative3
  41. def unit: Identity3[Any, Nothing, Unit]
    Definition Classes
    Applicative3
  42. final def unless[R, E, E1](cond: Identity3[R, E, Boolean])(ifFalse: => Identity3[R, E1, Unit])(implicit ev: <:<[E, E1]): Identity3[R, E1, Unit]
    Definition Classes
    Monad3
    Annotations
    @inline()
  43. final def unless[R, E](cond: Boolean)(ifFalse: => Identity3[R, E, Unit]): Identity3[R, E, Unit]
    Definition Classes
    Applicative3
    Annotations
    @inline()
  44. def void[R, E, A](r: Identity3[R, E, A]): Identity3[R, E, Unit]
    Definition Classes
    Functor3
  45. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  46. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  47. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  48. final def when[R, E, E1](cond: Identity3[R, E, Boolean])(ifTrue: => Identity3[R, E1, Unit])(implicit ev: <:<[E, E1]): Identity3[R, E1, Unit]
    Definition Classes
    Monad3
    Annotations
    @inline()
  49. final def when[R, E](cond: Boolean)(ifTrue: => Identity3[R, E, Unit]): Identity3[R, E, Unit]
    Definition Classes
    Applicative3
    Annotations
    @inline()
  50. final def widen[R, E, A, A1](r: Identity3[R, E, A])(implicit ev: <:<[A, A1]): Identity3[R, E, A1]
    Definition Classes
    Functor3
    Annotations
    @inline()

Inherited from Monad3[Identity3]

Inherited from Applicative3[Identity3]

Inherited from Functor3[Identity3]

Inherited from RootBifunctor[Identity3]

Inherited from Root

Inherited from PredefinedHelper

Inherited from DivergenceHelper

Inherited from AnyRef

Inherited from Any

Ungrouped