Packages

trait IdentityFlatten[F[+_]] extends AssociativeFlatten[F]

IdentityFlatten described a type that can be "flattened" in an associative way and has an identity element with respect to that operation. For example, with a list we can always vacuously add a layer by wrapping a list in another list constructor and flattening the resulting list always returns the original list unchanged.

Self Type
IdentityFlatten[F]
Annotations
@implicitNotFound()
Linear Supertypes
AssociativeFlatten[F], AnyRef, Any
Known Subclasses
CovariantDeriveEqualIdentityFlatten
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IdentityFlatten
  2. AssociativeFlatten
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def any: F[Any]

    The identity element.

  2. 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