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
  • object Free
    Definition Classes
    data
  • FlatMapped
  • Monad2Instance
  • Pure
  • Suspend

object Monad2Instance extends Monad2Instance[Nothing]

Linear Supertypes
Monad2Instance[Nothing], Monad2[[+β$4$, +γ$5$]Free[Nothing, β$4$, γ$5$]], Applicative2[[+β$4$, +γ$5$]Free[Nothing, β$4$, γ$5$]], Functor2[[+β$4$, +γ$5$]Free[Nothing, β$4$, γ$5$]], RootBifunctor[[+β$4$, +γ$5$]Free[Nothing, β$4$, γ$5$]], Root, PredefinedHelper, DivergenceHelper, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Monad2Instance
  2. Monad2Instance
  3. Monad2
  4. Applicative2
  5. Functor2
  6. RootBifunctor
  7. Root
  8. PredefinedHelper
  9. DivergenceHelper
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

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

Value Members

  1. def *>[E, A, B](f: Free[Nothing, E, A], next: => Free[Nothing, E, B]): Free[Nothing, E, B]

    execute two operations in order, return result of second operation

    execute two operations in order, return result of second operation

    Definition Classes
    Monad2InstanceMonad2Applicative2
    Annotations
    @inline()
  2. def <*[E, A, B](f: Free[Nothing, E, A], next: => Free[Nothing, E, B]): Free[Nothing, 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
    Monad2InstanceMonad2Applicative2
    Annotations
    @inline()
  3. def as[E, A, B](r: Free[Nothing, E, A])(v: => B): Free[Nothing, E, B]
    Definition Classes
    Monad2InstanceFunctor2
    Annotations
    @inline()
  4. def collect[E, A, B](l: Iterable[A])(f: (A) => Free[Nothing, E, Option[B]]): Free[Nothing, E, List[B]]
    Definition Classes
    Applicative2
  5. def collectFirst[E, A, B](l: Iterable[A])(f: (A) => Free[Nothing, E, Option[B]]): Free[Nothing, E, Option[B]]
    Definition Classes
    Monad2
  6. def filter[E, A](l: Iterable[A])(f: (A) => Free[Nothing, E, Boolean]): Free[Nothing, E, List[A]]
    Definition Classes
    Applicative2
  7. def find[E, A](l: Iterable[A])(f: (A) => Free[Nothing, E, Boolean]): Free[Nothing, E, Option[A]]
    Definition Classes
    Monad2
  8. def flatMap[E, A, B](r: Free[Nothing, E, A])(f: (A) => Free[Nothing, E, B]): Free[Nothing, E, B]
    Definition Classes
    Monad2InstanceMonad2
    Annotations
    @inline()
  9. def flatSequence[E, A](l: Iterable[Free[Nothing, E, Iterable[A]]]): Free[Nothing, E, List[A]]
    Definition Classes
    Applicative2
  10. def flatTraverse[E, A, B](l: Iterable[A])(f: (A) => Free[Nothing, E, Iterable[B]]): Free[Nothing, E, List[B]]
    Definition Classes
    Applicative2
  11. def flatten[E, A](r: Free[Nothing, E, Free[Nothing, E, A]]): Free[Nothing, E, A]
    Definition Classes
    Monad2
  12. def foldLeft[E, A, AC](l: Iterable[A])(z: AC)(f: (AC, A) => Free[Nothing, E, AC]): Free[Nothing, E, AC]
    Definition Classes
    Monad2
  13. final def forever[E, A](r: Free[Nothing, E, A]): Free[Nothing, E, Nothing]
    Definition Classes
    Applicative2
    Annotations
    @inline()
  14. def fromOptionF[E, A](fallbackOnNone: => Free[Nothing, E, A], r: Free[Nothing, E, Option[A]]): Free[Nothing, E, A]

    Extracts the optional value, or executes the fallbackOnNone effect

    Extracts the optional value, or executes the fallbackOnNone effect

    Definition Classes
    Monad2
  15. def fromOptionOr[E, A](valueOnNone: => A, r: Free[Nothing, E, Option[A]]): Free[Nothing, E, A]

    Extracts the optional value, or returns the given valueOnNone value

    Extracts the optional value, or returns the given valueOnNone value

    Definition Classes
    Functor2
  16. final def ifThenElse[E, E1, A](cond: Free[Nothing, E, Boolean])(ifTrue: => Free[Nothing, E1, A], ifFalse: => Free[Nothing, E1, A])(implicit ev: <:<[E, E1]): Free[Nothing, E1, A]
    Definition Classes
    Monad2
    Annotations
    @inline()
  17. final def ifThenElse[E, A](cond: Boolean)(ifTrue: => Free[Nothing, E, A], ifFalse: => Free[Nothing, E, A]): Free[Nothing, E, A]
    Definition Classes
    Applicative2
    Annotations
    @inline()
  18. def iterateUntil[E, A](r: Free[Nothing, E, A])(p: (A) => Boolean): Free[Nothing, 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
    Monad2
  19. def iterateUntilF[E, A](init: A)(f: (A) => Free[Nothing, E, A])(p: (A) => Boolean): Free[Nothing, 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
    Monad2
  20. def iterateWhile[E, A](r: Free[Nothing, E, A])(p: (A) => Boolean): Free[Nothing, 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
    Monad2
  21. def iterateWhileF[E, A](init: A)(f: (A) => Free[Nothing, E, A])(p: (A) => Boolean): Free[Nothing, 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
    Monad2
  22. def map[E, A, B](r: Free[Nothing, E, A])(f: (A) => B): Free[Nothing, E, B]
    Definition Classes
    Monad2Functor2
  23. def map2[E, A, B, C](r1: Free[Nothing, E, A], r2: => Free[Nothing, E, B])(f: (A, B) => C): Free[Nothing, E, C]

    execute two operations in order, map their results

    execute two operations in order, map their results

    Definition Classes
    Monad2Applicative2
  24. def pure[A](a: A): Free[Nothing, Nothing, A]
    Definition Classes
    Monad2InstanceApplicative2
    Annotations
    @inline()
  25. def sequence[E, A](l: Iterable[Free[Nothing, E, A]]): Free[Nothing, E, List[A]]
    Definition Classes
    Applicative2
  26. def sequence_[E](l: Iterable[Free[Nothing, E, Unit]]): Free[Nothing, E, Unit]
    Definition Classes
    Applicative2
  27. def tailRecM[E, A, B](a: A)(f: (A) => Free[Nothing, E, Either[A, B]]): Free[Nothing, E, B]
    Definition Classes
    Monad2
  28. def tap[E, A](r: Free[Nothing, E, A], f: (A) => Free[Nothing, E, Unit]): Free[Nothing, E, A]
    Definition Classes
    Monad2
  29. final def traverse[E, A, B](o: Option[A])(f: (A) => Free[Nothing, E, B]): Free[Nothing, E, Option[B]]
    Definition Classes
    Applicative2
    Annotations
    @inline()
  30. def traverse[E, A, B](l: Iterable[A])(f: (A) => Free[Nothing, E, B]): Free[Nothing, E, List[B]]
    Definition Classes
    Applicative2
  31. def traverse_[E, A](l: Iterable[A])(f: (A) => Free[Nothing, E, Unit]): Free[Nothing, E, Unit]
    Definition Classes
    Applicative2
  32. def unit: Free[Nothing, Nothing, Unit]
    Definition Classes
    Applicative2
  33. final def unless[E, E1](cond: Free[Nothing, E, Boolean])(ifFalse: => Free[Nothing, E1, Unit])(implicit ev: <:<[E, E1]): Free[Nothing, E1, Unit]
    Definition Classes
    Monad2
    Annotations
    @inline()
  34. final def unless[E](cond: Boolean)(ifFalse: => Free[Nothing, E, Unit]): Free[Nothing, E, Unit]
    Definition Classes
    Applicative2
    Annotations
    @inline()
  35. def void[E, A](r: Free[Nothing, E, A]): Free[Nothing, E, Unit]
    Definition Classes
    Monad2InstanceFunctor2
    Annotations
    @inline()
  36. final def when[E, E1](cond: Free[Nothing, E, Boolean])(ifTrue: => Free[Nothing, E1, Unit])(implicit ev: <:<[E, E1]): Free[Nothing, E1, Unit]
    Definition Classes
    Monad2
    Annotations
    @inline()
  37. final def when[E](cond: Boolean)(ifTrue: => Free[Nothing, E, Unit]): Free[Nothing, E, Unit]
    Definition Classes
    Applicative2
    Annotations
    @inline()
  38. final def widen[E, A, A1](r: Free[Nothing, E, A])(implicit ev: <:<[A, A1]): Free[Nothing, E, A1]
    Definition Classes
    Functor2
    Annotations
    @inline()