Eithers

zio.blocks.combinators.Eithers
object Eithers

Attributes

Source
Eithers.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Eithers.type

Members list

Type members

Classlikes

object Eithers

Attributes

Companion
trait
Source
Eithers.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Eithers.type
trait Eithers[L, R]

Attributes

Companion
object
Source
Eithers.scala
Supertypes
class Object
trait Matchable
class Any

Types

type Canonicalize[E] = E match { case Either[l, r] => CanonicalizeEither[l, r] case Any => E }

Attributes

Source
Eithers.scala
type CanonicalizeEither[L, R] = R match { case Either[x, y] => CanonicalizeEither[Either[Canonicalize[L], Canonicalize[x]], y] case Any => Either[Canonicalize[L], Canonicalize[R]] }

Attributes

Source
Eithers.scala
type LeftNest[L, R] = R match { case Either[x, y] => LeftNest[Either[L, x], y] case Any => Either[L, R] }

Attributes

Source
Eithers.scala
type LeftOf[A] = A match { case Either[l, r] => l }

Attributes

Source
Eithers.scala
type RightOf[A] = A match { case Either[l, r] => r }

Attributes

Source
Eithers.scala

Value members

Concrete methods

def combine[L, R](either: Either[L, R])(using e: Eithers[L, R]): e.Out

Attributes

Source
Eithers.scala