arrow-validation / arrow.validation.refinedTypes.numeric / ValidatedPositive

ValidatedPositive

@extension interface ValidatedPositive<A : Number> : Positive<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Functions

applicativeError open fun applicativeError(): ApplicativeError<ValidatedPartialOf<Nel<RefinedPredicateException>>, Nel<RefinedPredicateException>>
ORD abstract fun ORD(): Order<A>

Do you like Arrow?

Arrow Org
<