Package

dtc

laws

Permalink

package laws

Completely copied from cats-kernel-laws. TODO: use laws directly from cats-kernel-laws when it's released against scalacheck 1.13.*

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. laws
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. implicit class BooleanOps[A] extends AnyRef

    Permalink

  2. implicit class CheckEqOps[A] extends AnyRef

    Permalink

  3. implicit class CheckOrderOps[A] extends AnyRef

    Permalink

  4. trait DateTimeLaws[A] extends AnyRef

    Permalink

    Laws, that must be obeyed by any DateTime typeclass

  5. trait DateTimeTCTests[A] extends Laws

    Permalink

  6. trait OrderLaws[A] extends Laws

    Permalink

Value Members

  1. object DateTimeLaws

    Permalink

  2. object DateTimeTCTests

    Permalink

  3. object Ops

    Permalink

  4. object OrderLaws

    Permalink

    Completely copied from cats-kernel-laws.

    Completely copied from cats-kernel-laws. TODO: use laws directly from cats-kernel-laws when it's released against scalacheck 1.13.*

  5. lazy val falsified: Prop

    Permalink

  6. lazy val proved: Prop

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped