Expose RefinementProvider methods

[msosnicki]

It is useful to have access to these methods sometimes in more dynamic context, when for example implicit def enumLengthConstraint[E <: Enumeration.Value] cannot be invoked, due to constraints, but it is very easy to provide a size.

EDIT: Weird, fails on [aws-sandbox] (aws-sandbox / Compile / compileIncremental) Compilation failed, it works locally, is it known to be flaky in CI for some reason?

[kubukoz]

I've seen similar flakiness in CI recently, looks like some nondeterminism in the compiler. Will retry

[kubukoz]

did the trick :)

[kubukoz]

LGTM, any objections @Baccata ?

[Baccata]

LGTM, any objections @Baccata ?

I think it's fine. Just a minor comment on the parameter name.

[msosnicki]

Hmm, failed again on

[error] [aws-sandbox] /home/runner/work/smithy4s/smithy4s/modules/aws-sandbox/target/jvm-2.13/src_managed/main/com/amazonaws/ec2/package.scala:5:13: not found: value EC2Gen
[error] [aws-sandbox]   val EC2 = EC2Gen
[error] [aws-sandbox]             ^
[error] [aws-sandbox] /home/runner/work/smithy4s/smithy4s/modules/aws-sandbox/target/jvm-2.13/src_managed/main/com/amazonaws/ec2/package.scala:4:50: not found: type EC2Gen
[error] [aws-sandbox]   type EC2[F[_]] = smithy4s.kinds.FunctorAlgebra[EC2Gen, F]
[error] [aws-sandbox]                                                  ^
[error] [aws-sandbox] two errors found
[error] [aws-sandbox] (aws-sandbox / Compile / compileIncremental) Compilation failed
[error] Total time: 43 s, completed Feb 6, 2024, 12:55:27 PM

[Baccata]

that's a bit concerning 😸