[refined4s-cats] Add derivedOrder to have the instance of Order[A] derived from Coercible[A, B] and Order[B]

[kevin-lee]

Summary

[refined4s-cats] Add derivedOrder to have the instance of Order[A] derived from Coercible[A, B] and Order[B]

Version

0.6.0

Description

Given

import refined4s.*

type MyNum = MyNum.Type
object MyNum extends Newtype[Int]

import cats.*

val n1 = MyNum(1)
val n2 = MyNum(2)

Order[MyNum].compare(n1, n2)
// Int = -1