How do I validate a single type for multiple constraints?

[i-am-the-slime]

I have this currently:

(oib.refineNec[Numeric], oib.refineNec[FixedLength[11]]).parMapN(
        (_, _)  => oib.asInstanceOf[PlatformOib]
      )

Surely, there's a better way!

[i-am-the-slime]

I'm also surprised I can't do refineUnsafe which I thought would be asInstanceOf really.

[Iltotore]

Hello.

Can you provide the definition of your PlatformOib?

Anyway I think you are looking for refineFurther variants. There is an example in the docs IIRC.

When you just want to cast a raw value to its constrained form without actually checking the constraint, you should use assume.

[i-am-the-slime]

Thanks! I'll try with refineFurther

[Iltotore]

👍

If you solved your issue, feel free to mark the message as answer so this thread will be marked as solved.

[i-am-the-slime]

I'm fighting with something else already, so I'll close this.