prop/nyaya.prop/EvalOver

EvalOver

final case class EvalOver(input: Any)
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def allPresent[B, C](name: => String, required: Set[B], testData: => IterableOnce[C])(ev: B <:< C): EvalL

Test that all Bs are present in Cs.

Test that all Bs are present in Cs.

def atom(name: => String, failure: FailureReasonO): EvalL
def blacklist[B, C](name: => String, blacklist: Set[B], testData: => IterableOnce[C])(ev: C <:< B): EvalL

Test that no Cs are on a blacklist.

Test that no Cs are on a blacklist.

def distinct[A](name: => String, as: Iterable[A]): EvalL
def distinctI[A](name: => String, as: Iterator[A]): EvalL
def either[A](name: => String, data: String \/ A)(f: A => EvalL): EvalL
def equal[A](name: => String, actual: A, expect: A)(`evidence$1`: Equal[A]): EvalL
def fail(name: => String, reason: String): EvalL
def forall[F[_], B](fb: F[B])(each: B => EvalL)(`evidence$2`: Foldable[F]): EvalL
def pass: EvalL
def test[A](name: => String, t: Boolean): EvalL
def whitelist[B, C](name: => String, whitelist: Set[B], testData: => IterableOnce[C])(ev: C <:< B): EvalL

Test that all Cs are on a whitelist.

Test that all Cs are on a whitelist.

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product