arrow-validation / arrow.validation.refinedTypes.numeric / NonPositive

NonPositive

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

NonPositive defines a subset of all numbers which are non positive (this is x <= 0)

Functions

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

Inheritors

EitherNonPositive interface EitherNonPositive<A : Number> : NonPositive<EitherPartialOf<Nel<RefinedPredicateException>>, A>
ValidatedNonPositive interface ValidatedNonPositive<A : Number> : NonPositive<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Do you like Arrow?

Arrow Org
<