zio-test-refined/zio.test.refined/NumericInstances

NumericInstances

trait NumericInstances
class Object
trait Matchable
class Any
object all.type
object numeric.type

Value members

Concrete methods

def byteGreaterThanGen[N](implicit wn: WitnessAs[N, Byte]): Gen[Random, Refined[Byte, Greater[N]]]
def byteLessThanGen[N](implicit wn: WitnessAs[N, Byte]): Gen[Random, Refined[Byte, Less[N]]]
def doubleLessThanGen[N](implicit wn: WitnessAs[N, Double]): Gen[Random, Refined[Double, Less[N]]]
def intGreaterThanGen[N](implicit wn: WitnessAs[N, Int]): Gen[Random, Refined[Int, Greater[N]]]
def intLessThanGen[N](implicit wn: WitnessAs[N, Int]): Gen[Random, Refined[Int, Less[N]]]
def longGreaterThanGen[N](implicit wn: WitnessAs[N, Long]): Gen[Random, Refined[Long, Greater[N]]]
def longLessThanGen[N](implicit wn: WitnessAs[N, Long]): Gen[Random, Refined[Long, Less[N]]]
def shortLessThanGen[N](implicit wn: WitnessAs[N, Short]): Gen[Random, Refined[Short, Less[N]]]

Implicits

Implicits

implicit def byteGreaterThan[N](implicit wn: WitnessAs[N, Byte]): DeriveGen[Refined[Byte, Greater[N]]]
implicit def byteLessThan[N](implicit wn: WitnessAs[N, Byte]): DeriveGen[Refined[Byte, Less[N]]]
implicit def doubleGreaterThan[N](implicit wn: WitnessAs[N, Double]): DeriveGen[Refined[Double, Greater[N]]]
implicit def doubleLessThan[N](implicit wn: WitnessAs[N, Double]): DeriveGen[Refined[Double, Less[N]]]
implicit def intGreaterThan[N](implicit wn: WitnessAs[N, Int]): DeriveGen[Refined[Int, Greater[N]]]
implicit def intLessThan[N](implicit wn: WitnessAs[N, Int]): DeriveGen[Refined[Int, Less[N]]]
implicit def longGreaterThan[N](implicit wn: WitnessAs[N, Long]): DeriveGen[Refined[Long, Greater[N]]]
implicit def longLessThan[N](implicit wn: WitnessAs[N, Long]): DeriveGen[Refined[Long, Less[N]]]
implicit def shortGreaterThan[N](implicit wn: WitnessAs[N, Short]): DeriveGen[Refined[Short, Greater[N]]]
implicit def shortLessThan[N](implicit wn: WitnessAs[N, Short]): DeriveGen[Refined[Short, Less[N]]]