trait
AssociativeFlattenCovariantDeriveEqual[F[+_]] extends AssociativeFlatten[F] with Covariant[F] with DeriveEqual[F]
Abstract Value Members
-
abstract
def
derive[A](implicit arg0: Equal[A]): Equal[F[A]]
-
abstract
def
flatten[A](ffa: F[F[A]]): F[A]
-
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
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