How to refine for ValidUUID?

[sergeda]

When I try:

import io.github.iltotore.iron.*
import io.github.iltotore.iron.constraint.all.*

UUID.randomUUID().refineEither[ValidUUID]
I got compilation error:

No given instance of type io.github.iltotore.iron.Constraint[java.util.UUID,
  io.github.iltotore.iron.constraint.all.ValidUUID] was found for parameter constraint of method refineEither in package io.github.iltotore.iron.
I found:

    io.github.iltotore.iron.constraint.any.DescribedAs.
      given_DescribedAsConstraint_A_C_Impl_V[java.util.UUID,
      
        io.github.iltotore.iron.constraint.string.Match[
          (
            "^([0-9a-fA-F]{8}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{12})"
             : String)
        ]
      ,
    Impl, ("Should be an UUID" : String)](
      io.github.iltotore.iron.Constraint.given_UnionConstraint_A_C[java.util.UUID,
        
          io.github.iltotore.iron.constraint.string.Match[
            (
              "^([0-9a-fA-F]{8}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{12})"
               : String)
          ]
        
      ](<empty>)
    )

But given instance given_IsUnion_A in object IsUnion does not match type io.github.iltotore.iron.macros.union.IsUnion[
  io.github.iltotore.iron.constraint.string.Match[
    (
      "^([0-9a-fA-F]{8}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{4}\\-[0-9a-fA-F]{12})"
       : String)
  ]
].

I'm wondering if I'm doing something incorrectly. It's Scala 3.3.0

[Iltotore]

Since the standard UUID data type is always valid, there's no ValidUUID constraint for it. By default, ValidUUID is only implemented for String.

You can implement it yourself (a Constraint instance that always returns true) but in the case you sent you probably don't need ValidUUID at all.