Package

zio.prelude.experimental

laws

Permalink

package laws

Visibility
  1. Public
  2. All

Value Members

  1. object AbsorptionLaws extends Lawful[AbsorptionEqual]

    Permalink

  2. object BuildInfo extends Product with Serializable

    Permalink

    This object was generated by sbt-buildinfo.

  3. object DistributiveAbsorptionLaws extends Lawful[DistributiveAbsorptionEqual]

    Permalink

  4. object ExcludedMiddleLaws extends Lawful[ExcludedMiddleEqual]

    Permalink

  5. object InvolutionLaws extends Lawful[InvolutionEqual]

    Permalink

  6. object NoncontradictionLaws extends Lawful[NoncontradictionEqual]

    Permalink

Ungrouped