• Home
• edu.gemini
• lucuma-core_3
• 0.105.0
• 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.

lucuma.core.refined.numeric.scala Maven / Gradle / Ivy

// Copyright (c) 2016-2023 Association of Universities for Research in Astronomy, Inc. (AURA)
// For license information see LICENSE or https://opensource.org/licenses/BSD-3-Clause

package lucuma.core.refined

import eu.timepit.refined.api.Refined
import eu.timepit.refined.api.RefinedTypeOps
import eu.timepit.refined.boolean.Not
import eu.timepit.refined.generic.Equal

object numeric {
  type NonZero = Not[Equal[0]]

  type NonZeroInt  = Int Refined NonZero
  object NonZeroInt extends RefinedTypeOps.Numeric[NonZeroInt, Int]

  type NonZeroBigDecimal = BigDecimal Refined NonZero
  object NonZeroBigDecimal extends RefinedTypeOps[NonZeroBigDecimal, BigDecimal]
}