These are chat archives for fthomas/refined
scala.math.BigDecimal? seems that if i only use
Positiveit works but when i include a predicate with witness it stops working, or maybe i dont know how a BD literal looks like
P1 => P2, e.g.
Int Refined Greater[_10] => Int Refined Positive
auto._which can do this:
scala> val x: Int Refined Greater[_10] = 20 x: Refined[Int, Greater[_10]] = 20 scala> val y: Int Refined Positive = x y: Refined[Int, Positive] = 20
xis not a literal?