Derives an Associative[These[A, B]]
given an Associative[A]
and an Associative[B]
.
The AssociativeEither
instance for These
.
Derives a Commutative[These[A, B]]
given a Commutative[A]
and a Commutative[B]
.
The CommutativeBoth
instance for These
.
The Covariant
instance for These
.
Derives a Debug[These[A, B]]
given a Debug[A]
and a Debug[B]
.
The DeriveEqual
instance for These
.
Derives an Equal[These[A, B]]
given an Equal[A]
and an Equal[B]
.
The ForEach
instance for These
.
Derives a Hash[These[A, B]]
given a Hash[A]
and a Hash[B]
.
The IdentityBoth
instance for These
.
The IdentityFlatten
instance for These
.
Constucts a Both
with an A
value and a B
value.
Constructs a Both
with an A
value and a B
value, wrapping the A
value in a NonEmptyChunk
.
Constructs a Both
with an A
value and a B
value, wrapping the A
value in a NonEmptyChunk
. This is useful when using These
to model
computations that may both succeed and fail to use the Associative
instance for NonEmptyChunk
to accumulate all errors.
Constructs a These
from an Either
value.
Constructs a These
from an Option
value.
Constructor from two options to an option of These.
Constructs a These
from a Validation
value.
Constructs a Left
with an A
value.
Constructs a Left
with an A
value, wrapping the A
value in a
NonEmptyChunk
.
Constructs a Left
with an A
value, wrapping the A
value in a
NonEmptyChunk
. This is useful when using These
to model computations
that may both succeed and fail to use the Associative
instance for
NonEmptyChunk
to accumulate multiple errors.
Constructs a Right
with an A
value.
A Right
with the Unit
value.