laws

Value Members

1. object AssociativeBothLaws extends test.laws.LawfulF.Invariant[AssociativeBothDeriveEqualInvariant, Equal]

   

2. object AssociativeEitherLaws extends test.laws.LawfulF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]

   

3. object AssociativeFlattenLaws extends test.laws.LawfulF.Covariant[AssociativeFlattenCovariantDeriveEqual, Equal]

   

4. object AssociativeLaws extends Lawful[AssociativeEqual]

   

5. object BuildInfo extends Product with Serializable

   

   This object was generated by sbt-buildinfo.

6. object CommutativeBothLaws extends test.laws.LawfulF.Invariant[CommutativeBothDeriveEqualInvariant, Equal]

   

7. object CommutativeEitherLaws extends test.laws.LawfulF.Invariant[CommutativeEitherDeriveEqualInvariant, Equal]

   

8. object CommutativeLaws extends Lawful[CommutativeEqual]

   

9. object ContravariantLaws extends test.laws.LawfulF.Contravariant[ContravariantDeriveEqual, Equal]

   

10. object CovariantLaws extends test.laws.LawfulF.Covariant[CovariantDeriveEqual, Equal]

    

11. object EqualLaws extends Lawful[Equal]

    

12. object EquivalenceLaws extends Lawful2[Equivalence, Equal, Equal]

    

13. object ForEachLaws extends test.laws.LawfulF.Covariant[DeriveEqualForEach, Equal]

    

14. object GenFs

    

    Provides higher kinded generators.

15. object Gens

    

    Provides generators for data types from _ZIO Prelude_.

16. object HashLaws extends Lawful[Hash]

    

17. object IdempotentLaws extends Lawful[EqualIdempotent]

    

18. object IdentityBothLaws extends test.laws.LawfulF.Invariant[DeriveEqualIdentityBothInvariant, Equal]

    

19. object IdentityEitherlaws extends test.laws.LawfulF.Invariant[DeriveEqualIdentityEitherInvariant, Equal]

    

20. object IdentityFlattenLaws extends test.laws.LawfulF.Covariant[CovariantDeriveEqualIdentityFlatten, Equal]

    

21. object IdentityLaws extends Lawful[EqualIdentity]

    

22. object InverseLaws extends Lawful[EqualInverse]

    

23. object NonEmptyForEachLaws extends test.laws.LawfulF.Covariant[DeriveEqualNonEmptyForEach, Equal]

    

24. object OrdLaws extends Lawful[Ord]

    

25. object PartialOrdLaws extends Lawful[PartialOrd]

    

26. def assertionRec[A, B](name: String)(assertion: test.Assertion[B])(get: (⇒ A) ⇒ Option[B]): test.Assertion[A]

    

    Definition Classes

    TestAssertions

27. 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

28. 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

29. 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

30. 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

31. 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

32. 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

33. 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