zio.prelude.Identity
See theIdentity companion object
trait Identity[A] extends Associative[A]
The Identity type class describes an associative binary operator for a type A that also has an identity element. Combining any value with the identity element on either the left or the right must return the original value unchanged. For example, zero is an identity element for integer addition and the empty string is an identity element for string concatenation.
Operators with an identity element are useful because the identity element provides a sensible default value when combining values of a type and no values exist.
Attributes
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
-
trait CommutativeIdentity[A]trait EqualIdentity[A]trait EqualPartialInverse[A]trait EqualInverse[A]trait PartialInverse[A]trait Inverse[A]
Members list
In this article