arrow-validation / arrow.validation.refinedTypes.numeric / GreaterEqual

GreaterEqual

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

GreaterEqual defines a subset of Numbers which are greater or equal than min

Functions

greaterEqual Commented method or classopen fun A.greaterEqual(): Kind<F, A>open fun <B> A.greaterEqual(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

EitherGreaterEqual interface EitherGreaterEqual<A : Number> : GreaterEqual<EitherPartialOf<Nel<RefinedPredicateException>>, A>
ValidatedGreaterEqual interface ValidatedGreaterEqual<A : Number> : GreaterEqual<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Do you like Arrow?

Arrow Org
<