arrow-validation / arrow.validation.refinedTypes.numeric / Positive

Positive

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

Positive defines a subset of all numbers which are positive (this is x > 0)

Functions

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

Inheritors

EitherPositive interface EitherPositive<A : Number> : Positive<EitherPartialOf<Nel<RefinedPredicateException>>, A>
ValidatedPositive interface ValidatedPositive<A : Number> : Positive<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Do you like Arrow?

Arrow Org
<