Disjunction

final class Disjunction[A, B](a: Domain[A], b: Domain[B]) extends Domain[Either[A, B]]
trait Domain[Either[A, B]]
class Object
trait Matchable
class Any

Value members

Concrete methods

override def apply(i: Int): Either[A, B]
Definition Classes

Inherited methods

def ***[B](b: Domain[B]): Domain[(Either[A, B], B)]
Inherited from
Domain
def +++[B](b: Domain[B]): Domain[Either[Either[A, B], B]]
Inherited from
Domain
@inline
def either[B](b: Domain[B]): Domain[Either[Either[A, B], B]]
Inherited from
Domain
def iterator: Iterator[Either[A, B]]
Inherited from
Domain
def map[B](f: Either[A, B] => B): Domain[B]
Inherited from
Domain
def option: Domain[Option[Either[A, B]]]
Inherited from
Domain
def pair: Domain[(Either[A, B], Either[A, B])]
Inherited from
Domain
def subst[B >: Either[A, B]]: Domain[B]
Inherited from
Domain
def triple: Domain[(Either[A, B], Either[A, B], Either[A, B])]
Inherited from
Domain

Concrete fields

override val size: Int