Add RuntimeConstraint

main/src/io/github/iltotore/iron/RefinedTypeOps.scala

@@ -48,7 +48,7 @@ object RefinedTypeOps:
      */
     type FinalType = T
 
-trait RefinedTypeOpsImpl[A, C, T]:
+trait RefinedTypeOpsImpl[A, C, T](using rtc: RuntimeConstraint[A, C]):
   /**
    * Implicitly refine at compile-time the given value.
    *
@@ -76,8 +76,8 @@ trait RefinedTypeOpsImpl[A, C, T]:
    * @return a [[Right]] containing this value as [[T]] or a [[Left]] containing the constraint message.
    * @see [[fromIronType]], [[option]], [[applyUnsafe]].
    */
-  inline def either(value: A)(using constraint: Constraint[A, C]): Either[String, T] =
-    Either.cond(constraint.test(value), value.asInstanceOf[T], constraint.message)
+  inline def either(value: A): Either[String, T] =
+    Either.cond(rtc.test(value), value.asInstanceOf[T], rtc.message)
 
   /**
    * Refine the given value at runtime, resulting in an [[Option]].
@@ -86,8 +86,8 @@ trait RefinedTypeOpsImpl[A, C, T]:
    * @return an Option containing this value as [[T]] or [[None]].
    * @see [[fromIronType]], [[either]], [[applyUnsafe]].
    */
-  inline def option(value: A)(using constraint: Constraint[A, C]): Option[T] =
-    Option.when(constraint.test(value))(value.asInstanceOf[T])
+  inline def option(value: A): Option[T] =
+    Option.when(rtc.test(value))(value.asInstanceOf[T])
 
   /**
    * Refine the given value at runtime.
@@ -97,8 +97,8 @@ trait RefinedTypeOpsImpl[A, C, T]:
    * @throws an [[IllegalArgumentException]] if the constraint is not satisfied.
    * @see [[fromIronType]], [[either]], [[option]].
    */
-  inline def applyUnsafe(value: A)(using Constraint[A, C]): T =
-    value.refine[C].asInstanceOf[T]
+  inline def applyUnsafe(value: A): T =
+    if rtc.test(value) then value.asInstanceOf[T] else throw new IllegalArgumentException(rtc.message)
 
   inline def unapply(value: T): Option[A :| C] = Some(value.asInstanceOf[A :| C])
 
@@ -108,12 +108,8 @@ trait RefinedTypeOpsImpl[A, C, T]:
 
   inline given [R]: TypeTest[T, R] = summonInline[TypeTest[A :| C, R]].asInstanceOf[TypeTest[T, R]]
 
-  inline given [L](using inline constraint: Constraint[A, C]): TypeTest[L, T] =
-    val test = summonInline[TypeTest[L, A]]
-
-    new TypeTest:
-      override def unapply(value: L): Option[value.type & T] =
-        test.unapply(value).filter(constraint.test(_)).asInstanceOf
+  given [L](using test: TypeTest[L, A]): TypeTest[L, T] with
+    override def unapply(value: L): Option[value.type & T] = test.unapply(value).filter(rtc.test(_)).asInstanceOf
 
   extension (wrapper: T)
-    inline def value: IronType[A, C] = wrapper.asInstanceOf[IronType[A, C]]
+    inline def value: IronType[A, C] = wrapper.asInstanceOf[IronType[A, C]]

main/src/io/github/iltotore/iron/RuntimeConstraint.scala

@@ -0,0 +1,8 @@
+package io.github.iltotore.iron
+
+final class RuntimeConstraint[A, B](_test: A => Boolean, val message: String):
+  inline def test(value: A): Boolean = _test(value)
+
+object RuntimeConstraint:
+  inline given derived[A, B](using c: Constraint[A, B]): RuntimeConstraint[A, B] =
+    new RuntimeConstraint[A, B](c.test(_), c.message)