package laws

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. laws
  2. TestAssertions
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. implicit final class AssertionSyntax[A] extends AnyVal

    Provides implicit syntax for assertions.

Value Members

  1. def equalTo[A](expected: A)(implicit arg0: Equal[A]): test.Assertion[A]

    Makes a new assertion that requires a value equal the specified value.

    Makes a new assertion that requires a value equal the specified value.

    Definition Classes
    TestAssertions
  2. def isFailureV[E](assertion: test.Assertion[NonEmptyChunk[E]]): test.Assertion[ZValidation[Any, E, Any]]

    Makes a new assertion that requires a validation failure satisfying a specified assertion.

    Makes a new assertion that requires a validation failure satisfying a specified assertion.

    Definition Classes
    TestAssertions
  3. def isGreaterThan[A](reference: A)(implicit ord: PartialOrd[A]): test.Assertion[A]

    Makes a new assertion that requires the value be greater than the specified reference value.

    Makes a new assertion that requires the value be greater than the specified reference value.

    Definition Classes
    TestAssertions
  4. def isGreaterThanEqualTo[A](reference: A)(implicit ord: PartialOrd[A]): test.Assertion[A]

    Makes a new assertion that requires the value be greater than or equal to the specified reference value.

    Makes a new assertion that requires the value be greater than or equal to the specified reference value.

    Definition Classes
    TestAssertions
  5. def isLessThan[A](reference: A)(implicit ord: PartialOrd[A]): test.Assertion[A]

    Makes a new assertion that requires the value be less than the specified reference value.

    Makes a new assertion that requires the value be less than the specified reference value.

    Definition Classes
    TestAssertions
  6. def isLessThanEqualTo[A](reference: A)(implicit ord: PartialOrd[A]): test.Assertion[A]

    Makes a new assertion that requires the value be less than or equal to the specified reference value.

    Makes a new assertion that requires the value be less than or equal to the specified reference value.

    Definition Classes
    TestAssertions
  7. def isSuccessV[A](assertion: test.Assertion[A]): test.Assertion[ZValidation[Any, Any, A]]

    Makes a new assertion that requires a validation failure satisfying a specified assertion.

    Makes a new assertion that requires a validation failure satisfying a specified assertion.

    Definition Classes
    TestAssertions
  8. object AssociativeBothLaws extends test.laws.LawfulF.Invariant[AssociativeBothDeriveEqualInvariant, Equal]
  9. object AssociativeEitherLaws extends test.laws.LawfulF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]
  10. object AssociativeFlattenLaws extends test.laws.LawfulF.Covariant[AssociativeFlattenCovariantDeriveEqual, Equal]
  11. object AssociativeLaws extends Lawful[AssociativeEqual]
  12. case object BuildInfo extends Product with Serializable

    This object was generated by sbt-buildinfo.

  13. object CommutativeBothLaws extends test.laws.LawfulF.Invariant[CommutativeBothDeriveEqualInvariant, Equal]
  14. object CommutativeEitherLaws extends test.laws.LawfulF.Invariant[CommutativeEitherDeriveEqualInvariant, Equal]
  15. object CommutativeLaws extends Lawful[CommutativeEqual]
  16. object ContravariantLaws extends test.laws.LawfulF.Contravariant[ContravariantDeriveEqual, Equal]
  17. object CovariantLaws extends test.laws.LawfulF.Covariant[CovariantDeriveEqual, Equal]
  18. object EqualLaws extends Lawful[Equal]
  19. object EquivalenceLaws extends Lawful2[Equivalence, Equal, Equal]
  20. object ForEachLaws extends test.laws.LawfulF.Covariant[DeriveEqualForEach, Equal]
  21. object GenFs

    Provides higher kinded generators.

  22. object Gens

    Provides generators for data types from _ZIO Prelude_.

  23. object HashLaws extends Lawful[Hash]
  24. object IdempotentLaws extends Lawful[EqualIdempotent]
  25. object IdentityBothLaws extends test.laws.LawfulF.Invariant[DeriveEqualIdentityBothInvariant, Equal]
  26. object IdentityEitherlaws extends test.laws.LawfulF.Invariant[DeriveEqualIdentityEitherInvariant, Equal]
  27. object IdentityFlattenLaws extends test.laws.LawfulF.Covariant[CovariantDeriveEqualIdentityFlatten, Equal]
  28. object IdentityLaws extends Lawful[EqualIdentity]
  29. object InverseLaws extends Lawful[EqualInverse]
  30. object NonEmptyForEachLaws extends test.laws.LawfulF.Covariant[DeriveEqualNonEmptyForEach, Equal]
  31. object OrdLaws extends Lawful[Ord]
  32. object PartialOrdLaws extends Lawful[PartialOrd]

Inherited from TestAssertions

Inherited from AnyRef

Inherited from Any

Ungrouped