arrow-validation / arrow.validation.refinedTypes.numeric / Negative

Negative

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

Negative defines a subset of all negative Numbers (this is x < 0)

Functions

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

Inheritors

EitherNegative interface EitherNegative<A : Number> : Negative<EitherPartialOf<Nel<RefinedPredicateException>>, A>
ValidatedNegative interface ValidatedNegative<A : Number> : Negative<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Do you like Arrow?

Arrow Org
<