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

N

class N : Refined<Int, LessThan>

Constructors

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

Do you like Arrow?

Arrow Org
<