arrow-validation / arrow.validation.refinedTypes.numeric / Less

Less

interface Less<F, A : Number> : Refinement<F, A>

Less defines a subset of Numbers which are less than max

Functions

invalidValueMsg open fun invalidValueMsg(a: A): String
less Commented method or classopen fun A.less(): Kind<F, A>open fun <B> A.less(f: (A) -> B): Kind<F, B>
max abstract fun max(): A
ORD abstract fun ORD(): Order<A>
refinement open fun A.refinement(): Boolean

Inheritors

EitherLess interface EitherLess<A : Number> : Less<EitherPartialOf<Nel<RefinedPredicateException>>, A>
ValidatedLess interface ValidatedLess<A : Number> : Less<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Do you like Arrow?

Arrow Org
<