arrow-refined-types / arrow.refinement.numbers / To / N

N

class N : Refined<Int, To>

Constructors

<init> N(n: <ERROR CLASS>, msg: (Int) -> String = { "$it should be less than or equal to $n" })

Do you like Arrow?

Arrow Org
<