Hi, I'm trying to replace refined types with arrow...

# arrow

[than_]

Hi, I'm trying to replace refined types with arrow analysis. Everything goes reasonably well (some NotImplementedErrors here and there). But I encountered:

@JvmInline
@Serializable
value class Email(val value: String) {
    init {
        pre(value.matches(emailRegex)){ "Must be a valid email" }
    }

    override fun toString(): String = value
}

which of course won't work since

You can only create Boolean expressions using basic arithmetic operations (addition, subtraction, …), comparisons, and simple Boolean operations (and, or, not). In particular, you cannot define a Boolean function and use it in a condition;

Will there be possibility of regex matching in the future or should we use a runtime solution?

[raulraja]

hi @than_ , I answered about the status of that here https://kotlinlang.slack.com/archives/C5UPMM0A0/p1643828528324469?thread_ts=1643306895.095900&cid=C5UPMM0A0

[than_]

thanks for clarification Raul