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]