trait
CovariantIdentityBoth[F[+_]] extends Covariant[F] with IdentityBoth[F]
Abstract Value Members
-
abstract
def
any: F[Any]
-
abstract
def
both[A, B](fa: ⇒ F[A], fb: ⇒ F[B]): F[(A, B)]
-
abstract
def
map[A, B](f: (A) ⇒ B): (F[A]) ⇒ F[B]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
compose[G[-_]](implicit g: Contravariant[G]): Contravariant[[-A]F[G[A]]]
-
final
def
compose[G[+_]](implicit g: Covariant[G]): Covariant[[+A]F[G[A]]]
-
final
def
compose[G[_]](implicit g: Invariant[G]): Invariant[[A]F[G[A]]]
-
def
compositionLaw[A, B, C](fa: F[A], f: <=>[A, B], g: <=>[B, C])(implicit equal: Equal[F[C]]): Boolean
-
-
-
def
finalize(): Unit
-
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)]
-
def
fproductLeft[A, B](f: (A) ⇒ B): (F[A]) ⇒ F[(B, A)]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
identityLaw1[A](fa: F[A])(implicit equal: Equal[F[A]]): Boolean
-
final
def
invmap[A, B](f: <=>[A, B]): <=>[F[A], F[B]]
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
mapSubset[A, B](f: (A) ⇒ B)(implicit arg0: AnyType[B]): (F[A]) ⇒ F[B]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit