Derives a Idempotent[F[A]]
given a Derive[F, Idempotent]
and a
Idempotent[A]
.
Derives a Idempotent[Map[K, V]]
given a Idempotent[V]
.
Derives a Idempotent[Option[A]]
given a Idempotent[A]
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Derives a Idempotent
for a product type given a Idempotent
for each
element of the product type.
Summons an implicit Idempotent[A]
.
The idempotent law states that for some binary operator *
, for all
values a
, the following must hold:
The idempotent law states that for some binary operator *
, for all
values a
, the following must hold:
a * a === a
The set of all laws that instances of Idempotent
must satisfy.
The set of all laws that instances of Idempotent
must satisfy.
Constructs an Idempotent
instance from a associative binary operator.
Constructs an Idempotent
instance from a associative instance.