Domain

trait Domain[A]
Companion
object
class Object
trait Matchable
class Any
class Mapped[A, B]
class OptionT[A]
class Disjunction[A, B]
class Pair[A, B]
class OverSeq[A]
class IntoSeq[S, A]

Value members

Abstract methods

def apply(i: Int): A

Concrete methods

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

Abstract fields

val size: Int