package laws
- Alphabetic
 - By Inheritance
 
- laws
 - TestAssertions
 - AnyRef
 - Any
 
- Hide All
 - Show All
 
- Public
 - Protected
 
Type Members
-   implicit final  class AssertionSyntax[A] extends AnyVal
Provides implicit syntax for assertions.
 
Value Members
-    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
 
 -    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
 
 -    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
 
 -    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
 
 -    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
 
 -    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
 
 -    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
 
 -  object AssociativeBothLaws extends test.laws.LawfulF.Invariant[AssociativeBothDeriveEqualInvariant, Equal]
 -  object AssociativeEitherLaws extends test.laws.LawfulF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]
 -  object AssociativeFlattenLaws extends test.laws.LawfulF.Covariant[AssociativeFlattenCovariantDeriveEqual, Equal]
 -  object AssociativeLaws extends Lawful[AssociativeEqual]
 -    case object BuildInfo extends Product with Serializable
This object was generated by sbt-buildinfo.
 -  object CommutativeBothLaws extends test.laws.LawfulF.Invariant[CommutativeBothDeriveEqualInvariant, Equal]
 -  object CommutativeEitherLaws extends test.laws.LawfulF.Invariant[CommutativeEitherDeriveEqualInvariant, Equal]
 -  object CommutativeLaws extends Lawful[CommutativeEqual]
 -  object ContravariantLaws extends test.laws.LawfulF.Contravariant[ContravariantDeriveEqual, Equal]
 -  object CovariantLaws extends test.laws.LawfulF.Covariant[CovariantDeriveEqual, Equal]
 -  object EqualLaws extends Lawful[Equal]
 -  object EquivalenceLaws extends Lawful2[Equivalence, Equal, Equal]
 -  object ForEachLaws extends test.laws.LawfulF.Covariant[DeriveEqualForEach, Equal]
 -    object GenFs
Provides higher kinded generators.
 -    object Gens
Provides generators for data types from _ZIO Prelude_.
 -  object HashLaws extends Lawful[Hash]
 -  object IdempotentLaws extends Lawful[EqualIdempotent]
 -  object IdentityBothLaws extends test.laws.LawfulF.Invariant[DeriveEqualIdentityBothInvariant, Equal]
 -  object IdentityEitherlaws extends test.laws.LawfulF.Invariant[DeriveEqualIdentityEitherInvariant, Equal]
 -  object IdentityFlattenLaws extends test.laws.LawfulF.Covariant[CovariantDeriveEqualIdentityFlatten, Equal]
 -  object IdentityLaws extends Lawful[EqualIdentity]
 -  object InverseLaws extends Lawful[EqualInverse]
 -  object NonEmptyForEachLaws extends test.laws.LawfulF.Covariant[DeriveEqualNonEmptyForEach, Equal]
 -  object OrdLaws extends Lawful[Ord]
 -  object PartialOrdLaws extends Lawful[PartialOrd]