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

zio.prelude.experimental.laws

package zio.prelude.experimental.laws

Members list

Type members

Classlikes

object AbsorptionLaws extends Lawful[AbsorptionEqual]

Attributes

Supertypes
trait ZLawful[AbsorptionEqual, Any]
class Object
trait Matchable
class Any
Self type
object AnnihilationLaws extends Lawful[AnnihilationEqual]

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 DistributiveAbsorptionLaws extends Lawful[DistributiveAbsorptionEqual]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object DistributiveProdLaws extends Lawful[DistributiveProdEqual]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object ExcludedMiddleLaws extends Lawful[ExcludedMiddleEqual]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object InvolutionLaws extends Lawful[InvolutionEqual]

Attributes

Supertypes
trait ZLawful[InvolutionEqual, Any]
class Object
trait Matchable
class Any
Self type
object NoncontradictionLaws extends Lawful[NoncontradictionEqual]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Generated with