trait CovariantDeriveEqualIdentityFlatten[F[+_]] extends IdentityFlatten[F] with AssociativeFlattenCovariantDeriveEqual[F]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CovariantDeriveEqualIdentityFlatten
  2. AssociativeFlattenCovariantDeriveEqual
  3. Derive
  4. Covariant
  5. Invariant
  6. CovariantSubset
  7. IdentityFlatten
  8. AssociativeFlatten
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def any: F[Any]

    The identity element.

    The identity element.

    Definition Classes
    IdentityFlatten
  2. abstract def derive[A](implicit arg0: Equal[A]): Equal[F[A]]
    Definition Classes
    Derive
  3. abstract def flatten[A](ffa: F[F[A]]): F[A]

    Flattens a value of type F[F[A]] to produce an F[A].

    Flattens a value of type F[F[A]] to produce an F[A].

    Definition Classes
    AssociativeFlatten
  4. abstract 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].

    Definition Classes
    Covariant

Concrete Value Members

  1. 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
  2. final def compose[G[+_]](implicit g: Covariant[G]): Covariant[[+A]F[G[A]]]

    Compose two covariant functors.

    Compose two covariant functors.

    Definition Classes
    Covariant
  3. final def compose[G[_]](implicit g: Invariant[G]): Invariant[[A]F[G[A]]]

    Compose two invariant functors.

    Compose two invariant functors.

    Definition Classes
    Invariant
  4. def compositionLaw[A, B, C](fa: F[A], f: <=>[A, B], g: <=>[B, C])(implicit equal: Equal[F[C]]): Boolean
    Definition Classes
    Invariant
  5. def fproduct[A, B](f: (A) => B): (F[A]) => F[(A, B)]
    Definition Classes
    Covariant
  6. def fproductLeft[A, B](f: (A) => B): (F[A]) => F[(B, A)]
    Definition Classes
    Covariant
  7. def identityLaw1[A](fa: F[A])(implicit equal: Equal[F[A]]): Boolean
    Definition Classes
    Invariant
  8. final def invmap[A, B](f: <=>[A, B]): <=>[F[A], F[B]]
    Definition Classes
    Covariant → Invariant
  9. final def mapSubset[A, B](f: (A) => B)(implicit arg0: AnyType[B]): (F[A]) => F[B]
    Definition Classes
    Covariant → CovariantSubset