test/nyaya.test/Domain/Disjunction

Disjunction

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

Value members

Concrete methods

override def apply(i: Int): A \/ B
Definition Classes

Inherited methods

def ***[B](b: Domain[B]): Domain[(A \/ B, B)]
Inherited from
Domain
def +++[B](b: Domain[B]): Domain[A \/ B \/ B]
Inherited from
Domain
def array(r: Range)(t: ClassTag[A \/ B]): Domain[Array[A \/ B]]
Inherited from
Domain
def array(s: Int)(t: ClassTag[A \/ B]): Domain[Array[A \/ B]]
Inherited from
Domain
def either[B](b: Domain[B]): Domain[Either[A \/ B, B]]
Inherited from
Domain
def iterator: Iterator[A \/ B]
Inherited from
Domain
def list(r: Range): Domain[List[A \/ B]]
Inherited from
Domain
def list(s: Int): Domain[List[A \/ B]]
Inherited from
Domain
def map[B](f: A \/ B => B): Domain[B]
Inherited from
Domain
def option: Domain[Option[A \/ B]]
Inherited from
Domain
def pair: Domain[(A \/ B, A \/ B)]
Inherited from
Domain
def seq[S[_]](r: Range)(c: Factory[A \/ B, S[A \/ B]]): Domain[S[A \/ B]]
Inherited from
Domain
def subst[B >: A \/ B]: Domain[B]
Inherited from
Domain
def triple: Domain[(A \/ B, A \/ B, A \/ B)]
Inherited from
Domain
def vector(r: Range): Domain[Vector[A \/ B]]
Inherited from
Domain
def vector(s: Int): Domain[Vector[A \/ B]]
Inherited from
Domain

Concrete fields

override val size: Int