arrow-refined-types / arrow.refinement.numbers

Package arrow.refinement.numbers

Types

DivisibleBy DivisibleBy constrains an Int to be divisible by Nclass DivisibleBy
Even Even constrains an Int to be DivisibleBy by 2class Even
From From constrains Int to be >= Nclass From
FromTo FromTo constrains Int to be in range of From to Toclass FromTo
GreaterThan GreaterThan constrains Int to be > Nclass GreaterThan
LessThan LessThan constrains Int to be < Nclass LessThan
NegativeInt NegativeInt constrains an Int to be < 0class NegativeInt
NotZero NotZero constrains an Int to be != 0object NotZero : Refined<Int, NotZero>
Odd Odd constrains an Int to not be Evenclass Odd
PositiveInt PositiveInt constrains an Int to be > 0class PositiveInt
To To constrains Int to be <= Nclass To
Zero Zero constrains an Int to be == 0object Zero : Refined<Int, Zero>

Do you like Arrow?

Arrow Org
<