arrow-validation / arrow.validation.refinedTypes.numeric / Greater

Greater

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

Greater defines a subset of Numbers wich are greater than min.

Functions

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

Inheritors

EitherGreater interface EitherGreater<A : Number> : Greater<EitherPartialOf<Nel<RefinedPredicateException>>, A>
ValidatedGreater interface ValidatedGreater<A : Number> : Greater<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Do you like Arrow?

Arrow Org
<