test/nyaya.test/Domain

Domain

object Domain
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

final class Disjunction[A, B](a: Domain[A], b: Domain[B]) extends Domain[A \/ B]
final class IntoSeq[S[_], A](a: Domain[A], r: Range)(c: Factory[A, S[A]]) extends Domain[S[A]]
final class Mapped[A, B](u: Domain[A], f: A => B) extends Domain[B]
final class OptionT[A](u: Domain[A]) extends Domain[Option[A]]
final class OverSeq[A](as: IndexedSeq[A]) extends Domain[A]
final class Pair[A, B](a: Domain[A], b: Domain[B]) extends Domain[(A, B)]

Value members

Concrete methods

def ofRange(r: Range): Domain[Int]
def ofRangeN[A](r: NumericRange[A]): Domain[A]
def ofValues[A](as: A*): Domain[A]

Concrete fields

val boolean: Domain[Boolean]
lazy val byte: Domain[Byte]

Implicits

Implicits

implicit val domainInstance: Functor[[A] =>> Domain[A]]