arrow-validation / arrow.validation.refinedTypes.numeric / NonNegative

NonNegative

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

NonNegative defines a subset of all Numbers which are non negative (this is x >= 0)

Functions

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

Inheritors

EitherNonNegative interface EitherNonNegative<A : Number> : NonNegative<EitherPartialOf<Nel<RefinedPredicateException>>, A>
ValidatedNonNegative interface ValidatedNonNegative<A : Number> : NonNegative<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Do you like Arrow?

Arrow Org
<