zio.prelude.IdentityFlatten
See theIdentityFlatten companion object
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.
Attributes
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
-
trait CovariantDeriveEqualIdentityFlatten[F]
- Self type
Members list
In this article