microsite
API
Generated with
microsite/izumi/izumi.functional/izumi.functional.bio/izumi.functional.bio.data/FreeError/Error2Instance

Error2Instance

izumi.functional.bio.data.FreeError.Error2Instance
See theError2Instance companion class
object Error2Instance extends Error2Instance[Nothing]

Attributes

Companion
class
Graph
Supertypes
class Error2Instance[Nothing]
trait Error2[[_, _] =>> FreeError[Nothing, _$42, _$43]]
trait ErrorAccumulatingOps2[[_, _] =>> FreeError[Nothing, _$42, _$43]]
trait Monad2[[_, _] =>> FreeError[Nothing, _$42, _$43]]
trait ApplicativeError2[[_, _] =>> FreeError[Nothing, _$42, _$43]]
trait Bifunctor2[[_, _] =>> FreeError[Nothing, _$42, _$43]]
trait Guarantee2[[_, _] =>> FreeError[Nothing, _$42, _$43]]
trait Applicative2[[_, _] =>> FreeError[Nothing, _$42, _$43]]
trait Functor2[[_, _] =>> FreeError[Nothing, _$42, _$43]]
trait RootBifunctor[[_, _] =>> FreeError[Nothing, _$42, _$43]]
trait Root
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Inherited types

type Divergence = Nondivergent

Attributes

Inherited from:
DivergenceHelper
type IsPredefined = NotPredefined

Attributes

Inherited from:
PredefinedHelper

Value members

Inherited methods

final override def *>[E, A, B](f: FreeError[Nothing, E, A], next: => FreeError[Nothing, E, B]): FreeError[Nothing, E, B]

execute two operations in order, return result of second operation

execute two operations in order, return result of second operation

Attributes

Definition Classes
Inherited from:
Error2Instance
final override def <*[E, A, B](f: FreeError[Nothing, E, A], next: => FreeError[Nothing, E, B]): FreeError[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

Attributes

Definition Classes
Inherited from:
Error2Instance
override def InnerF: Functor2[[_, _] =>> FreeError[Nothing, _$42, _$43]]

Attributes

Definition Classes
Inherited from:
ApplicativeError2
protected def accumulateErrorsImpl[ColL[_], ColR <: (IterableOnce), E, E1, A, B, B1, AC](col: ColR[A])(effect: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, B], onLeft: E => IterableOnce[E1], init: AC, onRight: (AC, B) => AC, end: AC => B1)(implicit buildL: Factory[E1, ColL[E1]]): [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E1], B1]

Attributes

Inherited from:
ErrorAccumulatingOps2
final override def as[E, A, B](r: FreeError[Nothing, E, A])(v: => B): FreeError[Nothing, E, B]

Attributes

Definition Classes
Inherited from:
Error2Instance
def attempt[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]): [_, _] =>> FreeError[Nothing, _$42, _$43][Nothing, Either[E, A]]

Attributes

Inherited from:
Error2
override def bimap[E, A, E2, B](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(f: E => E2, g: A => B): [_, _] =>> FreeError[Nothing, _$42, _$43][E2, B]

Attributes

Definition Classes
Inherited from:
Error2
final override def catchAll[E, A, E2](r: FreeError[Nothing, E, A])(f: E => FreeError[Nothing, E2, A]): FreeError[Nothing, E2, A]

Attributes

Definition Classes
Inherited from:
Error2Instance
final override def catchSome[E, A, E1 >: E](r: FreeError[Nothing, E, A])(f: PartialFunction[E, FreeError[Nothing, E1, A]]): FreeError[Nothing, E1, A]

Attributes

Definition Classes
Inherited from:
Error2Instance
def collect[E, A, B](l: Iterable[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Option[B]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, List[B]]

Attributes

Inherited from:
Applicative2
def collectFirst[E, A, B](l: Iterable[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Option[B]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, Option[B]]

Attributes

Inherited from:
Monad2
final override def fail[E](v: => E): FreeError[Nothing, E, Nothing]

Attributes

Definition Classes
Inherited from:
Error2Instance
def filter[E, A](l: Iterable[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Boolean]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, List[A]]

Attributes

Inherited from:
Applicative2
def find[E, A](l: Iterable[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Boolean]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, Option[A]]

Attributes

Inherited from:
Monad2
final override def flatMap[E, A, B](r: FreeError[Nothing, E, A])(f: A => FreeError[Nothing, E, B]): FreeError[Nothing, E, B]

Attributes

Definition Classes
Inherited from:
Error2Instance
def flatSequence[E, A](l: Iterable[[_, _] =>> FreeError[Nothing, _$42, _$43][E, Iterable[A]]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, List[A]]

Attributes

Inherited from:
Applicative2
def flatSequenceAccumErrors[ColR <: (IterableOnce), ColIn <: (IterableOnce), ColL[_], E, A](col: ColR[[_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], ColIn[A]]])(implicit buildR: Factory[A, ColR[A]], buildL: Factory[E, ColL[E]], iterL: ColL[E] => IterableOnce[E]): [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], ColR[A]]

flatSequence with error accumulation

flatSequence with error accumulation

Attributes

Inherited from:
ErrorAccumulatingOps2
def flatTraverse[E, A, B](l: Iterable[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Iterable[B]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, List[B]]

Attributes

Inherited from:
Applicative2
def flatTraverseAccumErrors[ColR <: (IterableOnce), ColIn <: (IterableOnce), ColL[_], E, A, B](col: ColR[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], ColIn[B]])(implicit buildR: Factory[B, ColR[B]], buildL: Factory[E, ColL[E]], iterL: ColL[E] => IterableOnce[E]): [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], ColR[B]]

flatTraverse with error accumulation

flatTraverse with error accumulation

Attributes

Inherited from:
ErrorAccumulatingOps2
def flatten[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Attributes

Inherited from:
Monad2
def flip[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]): [_, _] =>> FreeError[Nothing, _$42, _$43][A, E]

Attributes

Inherited from:
Error2
def foldLeft[E, A, AC](l: Iterable[A])(z: AC)(f: (AC, A) => [_, _] =>> FreeError[Nothing, _$42, _$43][E, AC]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, AC]

Attributes

Inherited from:
Monad2
final def forever[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, Nothing]

Attributes

Inherited from:
Applicative2
final override def fromAttempt[A](effect: => A): FreeError[Nothing, Throwable, A]

For lazy monads: alias for IO2#syncThrowable. For strict monads, shorthand for F.fromTry(Try(effect))

For lazy monads: alias for IO2#syncThrowable. For strict monads, shorthand for F.fromTry(Try(effect))

Attributes

Definition Classes
Inherited from:
Error2Instance
final override def fromEither[E, V](effect: => Either[E, V]): FreeError[Nothing, E, V]

Attributes

Definition Classes
Inherited from:
Error2Instance
final override def fromOption[E, A](errorOnNone: => E)(effect: => Option[A]): FreeError[Nothing, E, A]

Attributes

Definition Classes
Inherited from:
Error2Instance
def fromOption[E, A](errorOnNone: => E, r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, Option[A]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Extracts the optional value or fails with the errorOnNone error

Extracts the optional value or fails with the errorOnNone error

Attributes

Inherited from:
Error2
def fromOptionF[E, A](fallbackOnNone: => [_, _] =>> FreeError[Nothing, _$42, _$43][E, A], r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, Option[A]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Extracts the optional value, or executes the fallbackOnNone effect

Extracts the optional value, or executes the fallbackOnNone effect

Attributes

Inherited from:
Monad2
def fromOptionOr[E, A](valueOnNone: => A, r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, Option[A]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Extracts the optional value, or returns the given valueOnNone value

Extracts the optional value, or returns the given valueOnNone value

Attributes

Inherited from:
Functor2
final override def fromTry[A](effect: => Try[A]): FreeError[Nothing, Throwable, A]

Attributes

Definition Classes
Inherited from:
Error2Instance
final override def guarantee[E, A](f: FreeError[Nothing, E, A], cleanup: FreeError[Nothing, Nothing, Unit]): FreeError[Nothing, E, A]

Attributes

Definition Classes
Inherited from:
Error2Instance
final def ifThenElse[E, E1, A](cond: [_, _] =>> FreeError[Nothing, _$42, _$43][E, Boolean])(ifTrue: => [_, _] =>> FreeError[Nothing, _$42, _$43][E1, A], ifFalse: => [_, _] =>> FreeError[Nothing, _$42, _$43][E1, A])(implicit ev: E <:< E1): [_, _] =>> FreeError[Nothing, _$42, _$43][E1, A]

Attributes

Inherited from:
Monad2
final def ifThenElse[E, A](cond: Boolean)(ifTrue: => [_, _] =>> FreeError[Nothing, _$42, _$43][E, A], ifFalse: => [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Attributes

Inherited from:
Applicative2
final def ifThenFail[E](cond: Boolean)(errorIfTrue: => E): [_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]

Attributes

Inherited from:
ApplicativeError2
def iterateUntil[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(p: A => Boolean): [_, _] =>> FreeError[Nothing, _$42, _$43][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.

Attributes

Inherited from:
Monad2
def iterateUntilF[E, A](init: A)(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(p: A => Boolean): [_, _] =>> FreeError[Nothing, _$42, _$43][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.

Attributes

Inherited from:
Monad2
def iterateWhile[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(p: A => Boolean): [_, _] =>> FreeError[Nothing, _$42, _$43][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.

Attributes

Inherited from:
Monad2
def iterateWhileF[E, A](init: A)(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(p: A => Boolean): [_, _] =>> FreeError[Nothing, _$42, _$43][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.

Attributes

Inherited from:
Monad2
def leftFlatMap[E, A, E2](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(f: E => [_, _] =>> FreeError[Nothing, _$42, _$43][Nothing, E2]): [_, _] =>> FreeError[Nothing, _$42, _$43][E2, A]

Attributes

Inherited from:
Error2
def leftMap[E, A, E2](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(f: E => E2): [_, _] =>> FreeError[Nothing, _$42, _$43][E2, A]

Attributes

Inherited from:
Bifunctor2
override def leftMap2[E, A, E2, E3](firstOp: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A], secondOp: => [_, _] =>> FreeError[Nothing, _$42, _$43][E2, A])(f: (E, E2) => E3): [_, _] =>> FreeError[Nothing, _$42, _$43][E3, A]

map errors from two operations into a new error if both fail

map errors from two operations into a new error if both fail

Attributes

Definition Classes
Inherited from:
Error2
override def map[E, A, B](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(f: A => B): [_, _] =>> FreeError[Nothing, _$42, _$43][E, B]

Attributes

Definition Classes
Inherited from:
Monad2
override def map2[E, A, B, C](r1: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A], r2: => [_, _] =>> FreeError[Nothing, _$42, _$43][E, B])(f: (A, B) => C): [_, _] =>> FreeError[Nothing, _$42, _$43][E, C]

execute two operations in order, map their results

execute two operations in order, map their results

Attributes

Definition Classes
Inherited from:
Monad2
override def orElse[E, A, E2](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A], f: => [_, _] =>> FreeError[Nothing, _$42, _$43][E2, A]): [_, _] =>> FreeError[Nothing, _$42, _$43][E2, A]

execute second operation only if the first one fails

execute second operation only if the first one fails

Attributes

Definition Classes
Inherited from:
Error2
def partition[E, A](l: Iterable[[_, _] =>> FreeError[Nothing, _$42, _$43][E, A]]): [_, _] =>> FreeError[Nothing, _$42, _$43][Nothing, (List[E], List[A])]

Attributes

Inherited from:
Error2
final override def pure[A](a: A): FreeError[Nothing, Nothing, A]

Attributes

Definition Classes
Inherited from:
Error2Instance
def redeem[E, A, E2, B](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(err: E => [_, _] =>> FreeError[Nothing, _$42, _$43][E2, B], succ: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E2, B]): [_, _] =>> FreeError[Nothing, _$42, _$43][E2, B]

Attributes

Inherited from:
Error2
def redeemPure[E, A, B](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(err: E => B, succ: A => B): [_, _] =>> FreeError[Nothing, _$42, _$43][Nothing, B]

Attributes

Inherited from:
Error2
def retryUntil[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(f: E => Boolean): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Retries this effect until its error satisfies the specified predicate.

Retries this effect until its error satisfies the specified predicate.

Attributes

Inherited from:
Error2
def retryUntilF[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(f: E => [_, _] =>> FreeError[Nothing, _$42, _$43][Nothing, Boolean]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Retries this effect until its error satisfies the specified effectful predicate.

Retries this effect until its error satisfies the specified effectful predicate.

Attributes

Inherited from:
Error2
def retryWhile[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(f: E => Boolean): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Retries this effect while its error satisfies the specified predicate.

Retries this effect while its error satisfies the specified predicate.

Attributes

Inherited from:
Error2
def retryWhileF[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(f: E => [_, _] =>> FreeError[Nothing, _$42, _$43][Nothing, Boolean]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Retries this effect while its error satisfies the specified effectful predicate.

Retries this effect while its error satisfies the specified effectful predicate.

Attributes

Inherited from:
Error2
def sequence[E, A](l: Iterable[[_, _] =>> FreeError[Nothing, _$42, _$43][E, A]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, List[A]]

Attributes

Inherited from:
Applicative2
def sequenceAccumErrors[ColR <: (IterableOnce), ColL[_], E, A](col: ColR[[_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], A]])(implicit buildR: Factory[A, ColR[A]], buildL: Factory[E, ColL[E]], iterL: ColL[E] => IterableOnce[E]): [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], ColR[A]]

sequence with error accumulation

sequence with error accumulation

Attributes

Inherited from:
ErrorAccumulatingOps2
def sequenceAccumErrorsNEList[ColR <: (IterableOnce), E, A](col: ColR[[_, _] =>> FreeError[Nothing, _$42, _$43][E, A]])(implicit buildR: Factory[A, ColR[A]]): [_, _] =>> FreeError[Nothing, _$42, _$43][NEList[E], ColR[A]]

sequence with error accumulation

sequence with error accumulation

Attributes

Inherited from:
ErrorAccumulatingOps2
def sequenceAccumErrors_[ColR <: (IterableOnce), ColL[_], E, A](col: ColR[[_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], A]])(implicit buildL: Factory[E, ColL[E]], iterL: ColL[E] => IterableOnce[E]): [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], Unit]

sequence_ with error accumulation

sequence_ with error accumulation

Attributes

Inherited from:
ErrorAccumulatingOps2
def sequence_[E](l: Iterable[[_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]

Attributes

Inherited from:
Applicative2
def tailRecM[E, A, B](a: A)(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Either[A, B]]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, B]

Attributes

Inherited from:
Monad2
def tap[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A], f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

Attributes

Inherited from:
Monad2
def tapBoth[E, A, E1 >: E](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(err: E => [_, _] =>> FreeError[Nothing, _$42, _$43][E1, Unit], succ: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E1, Unit]): [_, _] =>> FreeError[Nothing, _$42, _$43][E1, A]

Attributes

Inherited from:
Error2
def tapError[E, A, E1 >: E](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(f: E => [_, _] =>> FreeError[Nothing, _$42, _$43][E1, Unit]): [_, _] =>> FreeError[Nothing, _$42, _$43][E1, A]

Attributes

Inherited from:
Error2
final def traverse[E, A, B](o: Option[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, B]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, Option[B]]

Attributes

Inherited from:
Applicative2
def traverse[E, A, B](l: Iterable[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, B]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, List[B]]

Attributes

Inherited from:
Applicative2
def traverseAccumErrors[ColR <: (IterableOnce), ColL[_], E, A, B](col: ColR[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], B])(implicit buildR: Factory[B, ColR[B]], buildL: Factory[E, ColL[E]], iterL: ColL[E] => IterableOnce[E]): [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], ColR[B]]

traverse with error accumulation

traverse with error accumulation

Attributes

Inherited from:
ErrorAccumulatingOps2
def traverseAccumErrorsNEList[ColR <: (IterableOnce), E, A, B](col: ColR[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, B])(implicit buildR: Factory[B, ColR[B]]): [_, _] =>> FreeError[Nothing, _$42, _$43][NEList[E], ColR[B]]

traverse with error accumulation

traverse with error accumulation

Attributes

Inherited from:
ErrorAccumulatingOps2
def traverseAccumErrors_[ColR <: (IterableOnce), ColL[_], E, A](col: ColR[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], Unit])(implicit buildL: Factory[E, ColL[E]], iterL: ColL[E] => IterableOnce[E]): [_, _] =>> FreeError[Nothing, _$42, _$43][ColL[E], Unit]

traverse_ with error accumulation

traverse_ with error accumulation

Attributes

Inherited from:
ErrorAccumulatingOps2
def traverse_[E, A](l: Iterable[A])(f: A => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]

Attributes

Inherited from:
Applicative2
def unit: [_, _] =>> FreeError[Nothing, _$42, _$43][Nothing, Unit]

Attributes

Inherited from:
Applicative2
final def unless[E, E1](cond: [_, _] =>> FreeError[Nothing, _$42, _$43][E, Boolean])(ifFalse: => [_, _] =>> FreeError[Nothing, _$42, _$43][E1, Unit])(implicit ev: E <:< E1): [_, _] =>> FreeError[Nothing, _$42, _$43][E1, Unit]

Attributes

Inherited from:
Monad2
final def unless[E](cond: Boolean)(ifFalse: => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]

Attributes

Inherited from:
Applicative2
final override def void[E, A](r: FreeError[Nothing, E, A]): FreeError[Nothing, E, Unit]

Attributes

Definition Classes
Inherited from:
Error2Instance
final def when[E, E1](cond: [_, _] =>> FreeError[Nothing, _$42, _$43][E, Boolean])(ifTrue: => [_, _] =>> FreeError[Nothing, _$42, _$43][E1, Unit])(implicit ev: E <:< E1): [_, _] =>> FreeError[Nothing, _$42, _$43][E1, Unit]

Attributes

Inherited from:
Monad2
final def when[E](cond: Boolean)(ifTrue: => [_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, Unit]

Attributes

Inherited from:
Applicative2
final def widen[E, A, A1](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(implicit ev: A <:< A1): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A1]

Attributes

Inherited from:
Functor2
final def widenBoth[E, A, E1, A1](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(implicit ev: E <:< E1, ev2: A <:< A1): [_, _] =>> FreeError[Nothing, _$42, _$43][E1, A1]

Attributes

Inherited from:
Bifunctor2
final def widenError[E, A, E1](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(implicit ev: E <:< E1): [_, _] =>> FreeError[Nothing, _$42, _$43][E1, A]

Attributes

Inherited from:
Bifunctor2
final def withFilter[E, A](r: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A])(predicate: A => Boolean)(implicit filter: WithFilter[E], pos: SourceFilePositionMaterializer): [_, _] =>> FreeError[Nothing, _$42, _$43][E, A]

for-comprehensions sugar:

for-comprehensions sugar:

 for {
   (1, 2) &lt;- F.pure((2, 1))
 } yield ()

Use widenError to for pattern matching with non-Throwable errors:

 val f = for {
   (1, 2) &lt;- F.pure((2, 1)).widenError[Option[Unit]]
 } yield ()
 // f: F[Option[Unit], Unit] = F.fail(Some(())

Attributes

Inherited from:
Error2
def zip[E, A, B](firstOp: [_, _] =>> FreeError[Nothing, _$42, _$43][E, A], secondOp: => [_, _] =>> FreeError[Nothing, _$42, _$43][E, B]): [_, _] =>> FreeError[Nothing, _$42, _$43][E, (A, B)]

Attributes

Inherited from:
Applicative2
Generated with