trait CovariantIdentityBoth[F[+_]] extends Covariant[F] with IdentityBoth[F]
- Self Type
- CovariantIdentityBoth[F]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- CovariantIdentityBoth
- IdentityBoth
- AssociativeBoth
- Covariant
- Invariant
- CovariantSubset
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Abstract Value Members
- abstract def any: F[Any]
The identity for combining two values of types
F[A]andF[B]to produce anF[(A, B)].The identity for combining two values of types
F[A]andF[B]to produce anF[(A, B)].- Definition Classes
- IdentityBoth
- abstract def both[A, B](fa: => F[A], fb: => F[B]): F[(A, B)]
Combines two values of types
F[A]andF[B]to produce anF[(A, B)].Combines two values of types
F[A]andF[B]to produce anF[(A, B)].- Definition Classes
- AssociativeBoth
- abstract def map[A, B](f: (A) => B): (F[A]) => F[B]
Lift a function from
AtoBto a function fromF[A]toF[B].Lift a function from
AtoBto a function fromF[A]toF[B].- Definition Classes
- Covariant
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def collectM[A, B, Collection[+Element] <: Iterable[Element]](in: Collection[A])(f: (A) => F[Option[B]])(implicit bf: zio.BuildFrom[Collection[A], B, Collection[B]]): F[Collection[B]]
- final def compose[G[-_]](implicit g: Contravariant[G]): Contravariant[[-A]F[G[A]]]
Compose covariant and contravariant functors.
Compose covariant and contravariant functors.
- Definition Classes
- Covariant
- final def compose[G[+_]](implicit g: Covariant[G]): Covariant[[+A]F[G[A]]]
Compose two covariant functors.
Compose two covariant functors.
- Definition Classes
- Covariant
- final def compose[G[_]](implicit g: Invariant[G]): Invariant[[A]F[G[A]]]
Compose two invariant functors.
Compose two invariant functors.
- Definition Classes
- Invariant
- def compositionLaw[A, B, C](fa: F[A], f: <=>[A, B], g: <=>[B, C])(implicit equal: Equal[F[C]]): Boolean
- Definition Classes
- Invariant
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def forEach[A, B, Collection[+Element] <: Iterable[Element]](in: Collection[A])(f: (A) => F[B])(implicit bf: zio.BuildFrom[Collection[A], B, Collection[B]]): F[Collection[B]]
- def forEach_[A, B](in: Iterable[A])(f: (A) => F[Any]): F[Unit]
- def fproduct[A, B](f: (A) => B): (F[A]) => F[(A, B)]
- Definition Classes
- Covariant
- def fproductLeft[A, B](f: (A) => B): (F[A]) => F[(B, A)]
- Definition Classes
- Covariant
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def identityLaw1[A](fa: F[A])(implicit equal: Equal[F[A]]): Boolean
- Definition Classes
- Invariant
- final def invmap[A, B](f: <=>[A, B]): <=>[F[A], F[B]]
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def mapSubset[A, B](f: (A) => B)(implicit arg0: AnyType[B]): (F[A]) => F[B]
- Definition Classes
- Covariant → CovariantSubset
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()