zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.coherent/CovariantIdentityBoth

CovariantIdentityBoth

zio.prelude.coherent.CovariantIdentityBoth
See theCovariantIdentityBoth companion object
trait CovariantIdentityBoth[F[_]] extends Covariant[F], IdentityBoth[F]

Attributes

Companion
object
Graph
Supertypes
trait IdentityBoth[F]
trait AssociativeBoth[F]
trait Covariant[F]
trait Invariant[F]
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

def collectM[A, B, Collection <: (Iterable)](in: Collection[A])(f: A => F[Option[B]])(implicit bf: BuildFrom[Collection[A], B, Collection[B]]): F[Collection[B]]
def forEach[A, B, Collection <: (Iterable)](in: Collection[A])(f: A => F[B])(implicit bf: BuildFrom[Collection[A], B, Collection[B]]): F[Collection[B]]
def forEach_[A, B](in: Iterable[A])(f: A => F[Any]): F[Unit]

Inherited methods

def any: F[Any]

The identity for combining two values of types F[A] and F[B] to produce an F[(A, B)].

The identity for combining two values of types F[A] and F[B] to produce an F[(A, B)].

Attributes

Inherited from:
IdentityBoth
def both[A, B](fa: => F[A], fb: => F[B]): F[(A, B)]

Combines two values of types F[A] and F[B] to produce an F[(A, B)].

Combines two values of types F[A] and F[B] to produce an F[(A, B)].

Attributes

Inherited from:
AssociativeBoth
final def compose[G[_]](implicit g: Contravariant[G]): Contravariant[{ type lambda = [A] =>> F[G[A]]; }#<none>]

Compose covariant and contravariant functors.

Compose covariant and contravariant functors.

Attributes

Inherited from:
Covariant
final def compose[G[_]](implicit g: Covariant[G]): Covariant[{ type lambda = [A] =>> F[G[A]]; }#<none>]

Compose two covariant functors.

Compose two covariant functors.

Attributes

Inherited from:
Covariant
final def compose[G[_]](implicit g: Invariant[G]): Invariant[{ type lambda = [A] =>> F[G[A]]; }#<none>]

Compose two invariant functors.

Compose two invariant functors.

Attributes

Inherited from:
Invariant
def compositionLaw[A, B, C](fa: F[A], f: Equivalence[A, B], g: Equivalence[B, C])(implicit equal: Equal[F[C]]): Boolean

Attributes

Inherited from:
Invariant
def fproduct[A, B](f: A => B): (F[A]) => F[(A, B)]

Attributes

Inherited from:
Covariant
def fproductLeft[A, B](f: A => B): (F[A]) => F[(B, A)]

Attributes

Inherited from:
Covariant
def identityLaw1[A](fa: F[A])(implicit equal: Equal[F[A]]): Boolean

Attributes

Inherited from:
Invariant
final def invmap[A, B](f: Equivalence[A, B]): Equivalence[F[A], F[B]]

Attributes

Inherited from:
Covariant
def map[A, B](f: A => B): (F[A]) => F[B]

Lift a function from A to B to a function from F[A] to F[B].

Lift a function from A to B to a function from F[A] to F[B].

Attributes

Inherited from:
Covariant
final def mapSubset[A, B : AnyType](f: A => B): (F[A]) => F[B]

Attributes

Inherited from:
Covariant
Generated with