h8io.stages.cats.IOr
See theIOr companion class
object IOr
Companion object for IOr, containing the private evolution and projections.
Attributes
Members list
Type members
Classlikes
object Left extends LeftProjection[Ior]
Extracts the left value from a cats.data.Ior, yielding it when present in both Ior.Left and Ior.Both.
Extracts the left value from a cats.data.Ior, yielding it when present in both Ior.Left and Ior.Both.
Ior.Left(l)→Yield.Some(l, ...)Ior.Both(l, _)→Yield.Some(l, ...)Ior.Right(_)→Yield.None(...)
Use IOr.Left[T] to get a typed Projection[Ior[T, Any], T].
Attributes
- Supertypes
- Self type
-
Left.type
object Right extends RightProjection[Ior]
Extracts the right value from a cats.data.Ior, yielding it when present in both Ior.Right and Ior.Both.
Extracts the right value from a cats.data.Ior, yielding it when present in both Ior.Right and Ior.Both.
Ior.Right(r)→Yield.Some(r, ...)Ior.Both(_, r)→Yield.Some(r, ...)Ior.Left(_)→Yield.None(...)
Use IOr.Right[T] to get a typed Projection[Ior[Any, T], T].
Attributes
- Supertypes
- Self type
-
Right.type
Inherited and Abstract types
The names of the product elements.
The names of the product elements.
Attributes
- Inherited from:
- Mirror
The name of the type.
The name of the type.
Attributes
- Inherited from:
- Mirror
In this article