microsite
API
Generated with
microsite/izumi/izumi.functional/izumi.functional.bio/izumi.functional.bio.impl/BioIdentity2

BioIdentity2

izumi.functional.bio.impl.BioIdentity2
See theBioIdentity2 companion object
open class BioIdentity2 extends Monad2[Identity2]

Attributes

Companion
object
Graph
Supertypes
trait Monad2[Identity2]
trait Root
class Object
trait Matchable
class Any
Show all
Known subtypes
object BioIdentity2

Members list

Type members

Inherited types

type Divergence = Nondivergent

Attributes

Inherited from:
DivergenceHelper
type IsPredefined = NotPredefined

Attributes

Inherited from:
PredefinedHelper

Value members

Concrete methods

override def *>[E, A, B](firstOp: Identity2[E, A], secondOp: => Identity2[E, B]): Identity2[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
override def <*[E, A, B](firstOp: Identity2[E, A], secondOp: => Identity2[E, B]): Identity2[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
override def flatMap[E, A, B](r: Identity2[E, A])(f: A => Identity2[E, B]): Identity2[E, B]

Attributes

Definition Classes
override def map[E, A, B](r: Identity2[E, A])(f: A => B): Identity2[E, B]

Attributes

Definition Classes
override def map2[E, A, B, C](firstOp: Identity2[E, A], secondOp: => Identity2[E, B])(f: (A, B) => C): Identity2[E, C]

execute two operations in order, map their results

execute two operations in order, map their results

Attributes

Definition Classes
override def pure[A](a: A): Identity2[Nothing, A]

Attributes

Definition Classes
override def traverse[E, A, B](l: Iterable[A])(f: A => Identity2[E, B]): Identity2[E, List[B]]

Attributes

Definition Classes

Inherited methods

def as[E, A, B](r: Identity2[E, A])(v: => B): Identity2[E, B]

Attributes

Inherited from:
Functor2
def collect[E, A, B](l: Iterable[A])(f: A => Identity2[E, Option[B]]): Identity2[E, List[B]]

Attributes

Inherited from:
Applicative2
def collectFirst[E, A, B](l: Iterable[A])(f: A => Identity2[E, Option[B]]): Identity2[E, Option[B]]

Attributes

Inherited from:
Monad2
def filter[E, A](l: Iterable[A])(f: A => Identity2[E, Boolean]): Identity2[E, List[A]]

Attributes

Inherited from:
Applicative2
def find[E, A](l: Iterable[A])(f: A => Identity2[E, Boolean]): Identity2[E, Option[A]]

Attributes

Inherited from:
Monad2
def flatSequence[E, A](l: Iterable[Identity2[E, Iterable[A]]]): Identity2[E, List[A]]

Attributes

Inherited from:
Applicative2
def flatTraverse[E, A, B](l: Iterable[A])(f: A => Identity2[E, Iterable[B]]): Identity2[E, List[B]]

Attributes

Inherited from:
Applicative2
def flatten[E, A](r: Identity2[E, Identity2[E, A]]): Identity2[E, A]

Attributes

Inherited from:
Monad2
def foldLeft[E, A, AC](l: Iterable[A])(z: AC)(f: (AC, A) => Identity2[E, AC]): Identity2[E, AC]

Attributes

Inherited from:
Monad2
final def forever[E, A](r: Identity2[E, A]): Identity2[E, Nothing]

Attributes

Inherited from:
Applicative2
def fromOptionF[E, A](fallbackOnNone: => Identity2[E, A], r: Identity2[E, Option[A]]): Identity2[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: Identity2[E, Option[A]]): Identity2[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 def ifThenElse[E, E1, A](cond: Identity2[E, Boolean])(ifTrue: => Identity2[E1, A], ifFalse: => Identity2[E1, A])(implicit ev: E <:< E1): Identity2[E1, A]

Attributes

Inherited from:
Monad2
final def ifThenElse[E, A](cond: Boolean)(ifTrue: => Identity2[E, A], ifFalse: => Identity2[E, A]): Identity2[E, A]

Attributes

Inherited from:
Applicative2
def iterateUntil[E, A](r: Identity2[E, A])(p: A => Boolean): Identity2[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 => Identity2[E, A])(p: A => Boolean): Identity2[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: Identity2[E, A])(p: A => Boolean): Identity2[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 => Identity2[E, A])(p: A => Boolean): Identity2[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 sequence[E, A](l: Iterable[Identity2[E, A]]): Identity2[E, List[A]]

Attributes

Inherited from:
Applicative2
def sequence_[E](l: Iterable[Identity2[E, Unit]]): Identity2[E, Unit]

Attributes

Inherited from:
Applicative2
def tailRecM[E, A, B](a: A)(f: A => Identity2[E, Either[A, B]]): Identity2[E, B]

Attributes

Inherited from:
Monad2
def tap[E, A](r: Identity2[E, A], f: A => Identity2[E, Unit]): Identity2[E, A]

Attributes

Inherited from:
Monad2
final def traverse[E, A, B](o: Option[A])(f: A => Identity2[E, B]): Identity2[E, Option[B]]

Attributes

Inherited from:
Applicative2
def traverse_[E, A](l: Iterable[A])(f: A => Identity2[E, Unit]): Identity2[E, Unit]

Attributes

Inherited from:
Applicative2
def unit: Identity2[Nothing, Unit]

Attributes

Inherited from:
Applicative2
final def unless[E, E1](cond: Identity2[E, Boolean])(ifFalse: => Identity2[E1, Unit])(implicit ev: E <:< E1): Identity2[E1, Unit]

Attributes

Inherited from:
Monad2
final def unless[E](cond: Boolean)(ifFalse: => Identity2[E, Unit]): Identity2[E, Unit]

Attributes

Inherited from:
Applicative2
def void[E, A](r: Identity2[E, A]): Identity2[E, Unit]

Attributes

Inherited from:
Functor2
final def when[E, E1](cond: Identity2[E, Boolean])(ifTrue: => Identity2[E1, Unit])(implicit ev: E <:< E1): Identity2[E1, Unit]

Attributes

Inherited from:
Monad2
final def when[E](cond: Boolean)(ifTrue: => Identity2[E, Unit]): Identity2[E, Unit]

Attributes

Inherited from:
Applicative2
final def widen[E, A, A1](r: Identity2[E, A])(implicit ev: A <:< A1): Identity2[E, A1]

Attributes

Inherited from:
Functor2
def zip[E, A, B](firstOp: Identity2[E, A], secondOp: => Identity2[E, B]): Identity2[E, (A, B)]

Attributes

Inherited from:
Applicative2
Generated with