Merge remote-tracking branch 'origin/topic/epoch' into topic/scala3

Author: armanbilge

…ain/scala-2/lucuma/core/math/Epoch.scala …/main/scala/lucuma/core/math/Epoch.scalamodules/core/shared/src/main/scala-2/lucuma/core/math/Epoch.scala renamed to modules/core/shared/src/main/scala/lucuma/core/math/Epoch.scala modules/core/shared/src/main/scala-2/lucuma/core/math/Epoch.scala renamed to modules/core/shared/src/main/scala/lucuma/core/math/Epoch.scala

@@ -13,6 +13,7 @@ import eu.timepit.refined.cats._
 import eu.timepit.refined.numeric.{ Interval => RefinedInterval }
 import eu.timepit.refined.refineV
 import lucuma.core.math.parser.EpochParsers
+import lucuma.core.math.refined.refineMV
 import lucuma.core.optics.Format
 import lucuma.core.optics.syntax.all._
 import lucuma.core.syntax.parser._
@@ -78,13 +79,13 @@ object Epoch extends EpochOptics {
     * Standard epoch.
     * @group Constructors
     */
-  val J2000: Epoch = Julian.fromIntegralYears(refineMV[Year](2000))
+  val J2000: Epoch = Julian.fromIntegralYears(refineMV[Int, Year](2000))
 
   /**
     * Standard epoch prior to J2000. Obsolete but still in use.
     * @group Constructors
     */
-  val B1950: Epoch = Besselian.fromIntegralYears(refineMV[Year](1950))
+  val B1950: Epoch = Besselian.fromIntegralYears(refineMV[Int, Year](1950))
 
   /**
     * The scheme defines year zero and length of a year in terms of Julian days. There are two

…cala-2/lucuma/core/math/JulianDate.scala …/scala/lucuma/core/math/JulianDate.scalamodules/core/shared/src/main/scala-2/lucuma/core/math/JulianDate.scala renamed to modules/core/shared/src/main/scala/lucuma/core/math/JulianDate.scala modules/core/shared/src/main/scala-2/lucuma/core/math/JulianDate.scala renamed to modules/core/shared/src/main/scala/lucuma/core/math/JulianDate.scala

@@ -0,0 +1,23 @@
+// Copyright (c) 2016-2022 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.math.refined
+
+import eu.timepit.refined.api.Refined
+import eu.timepit.refined.numeric.Interval
+
+import scala.compiletime.constValue
+
+inline def refineMV[T, P](inline t: T)(using inline p: Predicate[T, P]): Refined[T, P] = {
+  inline if (p.isValid(t)) Refined.unsafeApply(t) else scala.compiletime.error("no")
+}
+
+trait Predicate[T, P] {
+  transparent inline def isValid(inline t: T): Boolean
+}
+
+object Predicate {
+
+  inline given [M <: Int, N <: Int]: Predicate[Int, Interval.Closed[M, N]] with
+    transparent inline def isValid(inline t: Int): Boolean = constValue[M] <= t && t <= constValue[N]
+}