prop/nyaya.prop/Prop

Prop

object Prop
class Object
trait Matchable
class Any

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)(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 => String \/ B)(p: Prop[B]): Prop[A]
def equal[A, B](name: => String, actual: A => B, expect: A => B)(`evidence$2`: Equal[B]): Prop[A]
def equal[A](name: => String): EqualB[A]
def equalSelf[A](name: => String, f: A => A)(`evidence$1`: Equal[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[_], B](f: A => F[B])(prop: A => Prop[B])(`evidence$4`: Foldable[F]): Prop[A]
def forallS[A, F[_], B, C](f: A => F[B])(prop: A => Prop[C])(`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](a: A, e: A)(`evidence$3`: Equal[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.