Package

eu.timepit.refined.scalacheck

util

Permalink

package util

Visibility
  1. Public
  2. All

Type Members

  1. trait Adjacent[T] extends AnyRef

    Permalink

    Auxiliary type class that provides the next smaller or next greater value for a given argument.

    Auxiliary type class that provides the next smaller or next greater value for a given argument. This is needed for the Arbitrary instances of numeric refined types.

  2. trait Bounded[T] extends AnyRef

    Permalink

    Auxiliary type class that provides the upper and lower bounds of a type T.

    Auxiliary type class that provides the upper and lower bounds of a type T. This is needed for the Arbitrary instances of numeric refined types.

Value Members

  1. object Adjacent

    Permalink
  2. object Bounded

    Permalink
  3. object OurMath

    Permalink

Ungrouped