prop/nyaya.prop/Prop

Prop

object Prop
class Object
trait Matchable
class Any
Prop.type

Type members

Classlikes

final class AllPresentB[A](name: String) extends AnyVal
final class BlacklistB[A](name: String) extends AnyVal
final class EqualB[A](name: String) extends AnyVal
final class WhitelistB[A](name: String) extends AnyVal

Value members

Concrete methods

@inline
def allPresent[A](name: String): AllPresentB[A]

Test that all (A's) Bs are present in A's Cs.

Test that all (A's) Bs are present in A's Cs.

@elidable
def assert[A](l: => Prop[A])(a: => A): Unit
def atom[A](name: => String, t: A => FailureReasonO): Prop[A]
@inline
def blacklist[A](name: String): BlacklistB[A]

Test that none of A's Cs are on a blacklist.

Test that none of A's Cs are on a blacklist.

def distinct[A, B](name: => String, f: A => Iterable[B]): Prop[A]
def distinct[A](name: => String): Prop[Iterable[A]]
def distinctC[C[_], A](name: => String)(implicit ev: C[A] <:< Iterable[A]): Prop[C[A]]
def distinctI[A, B](name: => String, f: A => Iterator[B]): Prop[A]
def either[A, B](name: => String, f: A => Either[String, B])(p: Prop[B]): Prop[A]
def equal[A, B : Eq](name: => String, actual: A => B, expect: A => B): Prop[A]
def equal[A](name: => String): EqualB[A]
def equalSelf[A : Eq](name: => String, f: A => A): Prop[A]
def eval[A](q: A => EvalL): Prop[A]
def evaln[A](name: => String, q: A => EvalL): Prop[A]
def fail[A](name: => String, reason: String): Prop[A]
def forall[A, F[_] : Foldable, B](f: A => F[B])(prop: A => Prop[B]): Prop[A]
def forallS[A, F[_] : Foldable, B, C](f: A => F[B])(prop: A => Prop[C])(implicit evidence$5: Foldable[F], ev: B <:< C): Prop[A]
def pass[A](name: String): Prop[A]
def reason(b: Boolean, r: => String): FailureReasonO
def reasonBool(b: Boolean, input: => Any): FailureReasonO
def reasonEq[A : Eq](a: A, e: A): FailureReasonO
def run[A](l: Prop[A])(a: A): Eval
def test[A](name: => String, t: A => Boolean): Prop[A]
@inline
def whitelist[A](name: String): WhitelistB[A]

Test that all of A's Cs are on a whitelist.

Test that all of A's Cs are on a whitelist.