• Home
• eu.timepit
• refined_sjs1_2.12
• 0.9.28
• source code
• numeric.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

eu.timepit.refined.predicates.numeric.scala Maven / Gradle / Ivy

package eu.timepit.refined.predicates

import eu.timepit.refined

object numeric extends NumericPredicates with NumericPredicatesBinCompat1

trait NumericPredicates {
  final type Less[N] = refined.numeric.Less[N]
  final val Less = refined.numeric.Less

  final type Greater[N] = refined.numeric.Greater[N]
  final val Greater = refined.numeric.Greater

  final type Modulo[N, O] = refined.numeric.Modulo[N, O]
  final val Modulo = refined.numeric.Modulo

  final type LessEqual[N] = refined.numeric.LessEqual[N]

  final type GreaterEqual[N] = refined.numeric.GreaterEqual[N]

  final type Positive = refined.numeric.Positive

  final type NonPositive = refined.numeric.NonPositive

  final type Negative = refined.numeric.Negative

  final type NonNegative = refined.numeric.NonNegative

  final type Divisible[N] = refined.numeric.Divisible[N]

  final type NonDivisible[N] = refined.numeric.NonDivisible[N]

  final type Even = refined.numeric.Even

  final type Odd = refined.numeric.Odd

  final val Interval = refined.numeric.Interval
}

trait NumericPredicatesBinCompat1 {
  final type NonNaN = refined.numeric.NonNaN
  final val NonNaN = refined.numeric.NonNaN
}