Refined types

[EstebanMarin]

Hello
I was thinking that it would be great to add to some type refinement.

Something link this

case class Person(name: String, age: Int :| Positive)

object Person:
  given Schema[Person] = Schema.derived

val jsonCodec = Schema[Person].derive(JsonFormat)

I was playing around with the concept, and chose Iron as its scala3 macro based, and hoped 🙏 it worked but maybe I was pushing too far.

I was wondering how hard can it be to implement and what should be a good starting point. Or is it better to desist from the idea.

[jdegoes]

I would think about adding schema-iron that derives Schema[A :| B] assuming Schema[A] exists, and does that by using .transform on the schema, ensuring runtime validation.

[EstebanMarin]

@jdegoes I played with the concept #1097 I added schema-iron and Kind of worked but there was impedance through the way both libraries handle opaque types.

Instead of using Iron should there be a zio-block interoperable refined type?