zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.laws

zio.prelude.laws

package zio.prelude.laws

Members list

Type members

Classlikes

final implicit class AssertionSyntax[A](self: A) extends AnyVal

Provides implicit syntax for assertions.

Provides implicit syntax for assertions.

Attributes

Supertypes
class AnyVal
trait Matchable
class Any
object AssociativeBothLaws extends Invariant[[F[_]] =>> AssociativeBothDeriveEqualInvariant[F], Equal]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object AssociativeEitherLaws extends Invariant[[F[_]] =>> AssociativeEitherDeriveEqualInvariant[F], Equal]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object AssociativeFlattenLaws extends Covariant[[F[_]] =>> AssociativeFlattenCovariantDeriveEqual[F], Equal]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object AssociativeLaws extends Lawful[AssociativeEqual]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
case object BuildInfo

This object was generated by sbt-buildinfo.

This object was generated by sbt-buildinfo.

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
BuildInfo.type
object CommutativeBothLaws extends Invariant[[F[_]] =>> CommutativeBothDeriveEqualInvariant[F], Equal]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object CommutativeEitherLaws extends Invariant[[F[_]] =>> CommutativeEitherDeriveEqualInvariant[F], Equal]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object CommutativeLaws extends Lawful[CommutativeEqual]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object ContravariantLaws extends Contravariant[[F[_]] =>> ContravariantDeriveEqual[F], Equal]

Attributes

Supertypes
trait Contravariant[[F[_]] =>> ContravariantDeriveEqual[F], Equal, Any]
class Object
trait Matchable
class Any
Self type
object CovariantLaws extends Covariant[[F[_]] =>> CovariantDeriveEqual[F], Equal]

Attributes

Supertypes
trait Covariant[[F[_]] =>> CovariantDeriveEqual[F], Equal, Any]
class Object
trait Matchable
class Any
Self type
object EqualLaws extends Lawful[Equal]

Attributes

Supertypes
trait ZLawful[Equal, Any]
class Object
trait Matchable
class Any
Self type
EqualLaws.type
object EquivalenceLaws extends Lawful2[Equivalence, Equal, Equal]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object ForEachLaws extends Covariant[[F[_]] =>> DeriveEqualForEach[F], Equal]

Attributes

Supertypes
trait Covariant[[F[_]] =>> DeriveEqualForEach[F], Equal, Any]
class Object
trait Matchable
class Any
Self type
object GenFs

Provides higher kinded generators.

Provides higher kinded generators.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
GenFs.type
object Gens

Provides generators for data types from ZIO Prelude.

Provides generators for data types from ZIO Prelude.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Gens.type
object HashLaws extends Lawful[Hash]

Attributes

Supertypes
trait ZLawful[Hash, Any]
class Object
trait Matchable
class Any
Self type
HashLaws.type
object IdempotentLaws extends Lawful[EqualIdempotent]

Attributes

Supertypes
trait ZLawful[EqualIdempotent, Any]
class Object
trait Matchable
class Any
Self type
object IdentityBothLaws extends Invariant[[F[_]] =>> DeriveEqualIdentityBothInvariant[F], Equal]

Attributes

Supertypes
trait Invariant[[F[_]] =>> DeriveEqualIdentityBothInvariant[F], Equal, Any]
class Object
trait Matchable
class Any
Self type
object IdentityEitherlaws extends Invariant[[F[_]] =>> DeriveEqualIdentityEitherInvariant[F], Equal]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object IdentityFlattenLaws extends Covariant[[F[_]] =>> CovariantDeriveEqualIdentityFlatten[F], Equal]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object IdentityLaws extends Lawful[EqualIdentity]

Attributes

Supertypes
trait ZLawful[EqualIdentity, Any]
class Object
trait Matchable
class Any
Self type
object InverseLaws extends Lawful[EqualInverse]

Attributes

Supertypes
trait ZLawful[EqualInverse, Any]
class Object
trait Matchable
class Any
Self type
object NonEmptyForEachLaws extends Covariant[[F[_]] =>> DeriveEqualNonEmptyForEach[F], Equal]

Attributes

Supertypes
trait Covariant[[F[_]] =>> DeriveEqualNonEmptyForEach[F], Equal, Any]
class Object
trait Matchable
class Any
Self type
object OrdLaws extends Lawful[Ord]

Attributes

Supertypes
trait ZLawful[Ord, Any]
class Object
trait Matchable
class Any
Self type
OrdLaws.type
object PartialInverseLaws extends Lawful[EqualPartialInverse]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object PartialOrdLaws extends Lawful[PartialOrd]

Attributes

Supertypes
trait ZLawful[PartialOrd, Any]
class Object
trait Matchable
class Any
Self type

Value members

Inherited methods

def assertionRec[A, B](name: String)(assertion: Assertion[B])(get: (=> A) => Option[B]): Assertion[A]

Attributes

Inherited from:
TestAssertions
def equalTo[A : Equal](expected: A): 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.

Attributes

Inherited from:
TestAssertions
def isFailureV[E](assertion: Assertion[NonEmptyChunk[E]]): 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.

Attributes

Inherited from:
TestAssertions
def isGreaterThan[A](reference: A)(implicit ord: PartialOrd[A]): 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.

Attributes

Inherited from:
TestAssertions
def isGreaterThanEqualTo[A](reference: A)(implicit ord: PartialOrd[A]): 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.

Attributes

Inherited from:
TestAssertions
def isLessThan[A](reference: A)(implicit ord: PartialOrd[A]): 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.

Attributes

Inherited from:
TestAssertions
def isLessThanEqualTo[A](reference: A)(implicit ord: PartialOrd[A]): 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.

Attributes

Inherited from:
TestAssertions
def isSuccessV[A](assertion: Assertion[A]): 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.

Attributes

Inherited from:
TestAssertions

Implicits

Implicits

final implicit def AssertionSyntax[A](self: A): AssertionSyntax[A]

Provides implicit syntax for assertions.

Provides implicit syntax for assertions.

Attributes

Generated with