Luka Jacobowitz comments

Results 78 comments of


                                            Luka Jacobowitz

Flesh out Refined module a bit

Looks like we ran into the infamous Scala 3.1.x and 3.0.x incompatability 😬

Flesh out Refined module a bit

Updated to Scala 3.1.x and FS2 3.2.x

Flesh out Refined module a bit

@tpolecat let me know how you'd like to proceed with this one :)

Eq[Polynomial[C]] throws ArrayIndexOutOfBoundsException for negative exponents

Then we must also fix this line right here, which generates random exponents that could all be negative :) https://github.com/non/spire/blob/master/laws/src/main/scala/spire/laws/gen.scala#L100

Eq[Polynomial[C]] throws ArrayIndexOutOfBoundsException for negative exponents

Submitted a quick fix for that particular problem.

Arbitrary[Algebraic] only generates ConstantLong Exprs

We could potentially restrict the number of values generated for CI only, WDYT?

Allow implicit parameters of polymorphic function types to behave like implicit parameters

Also, I wrote a quick gist on how this could really help with future versions of cats-effect and bifunctor tagless final code: https://gist.github.com/LukaJCB/4440ad2bc351f1d8e98601f247ec4c02

about naming, consistency, name clashes, module organisation

Hey @rvion thanks a lot for bringing this up! :) I can definitely see the issues with the naming clashes in prelude and I'm not happy with it either. However...

provide more helpers like inputRange

It's currently not planned to add these, but I'll gladly accept PRs :)

Inconsistencies in syntax when defining instances

Thank you for pointing this out, I'll try to address it ASAP :)