arrow-validation / arrow.validation.refinedTypes.numeric / NonZero

NonZero

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

NonZero defines a subset of Numbers which are not 0

Functions

EQ abstract fun EQ(): Eq<A>
nonZero Commented method or classopen fun A.nonZero(): Kind<F, A>open fun <B> A.nonZero(f: A.() -> B): Kind<F, B>
refinement open fun A.refinement(): Boolean

Companion Object Functions

errorMsg fun errorMsg(x: Number): String

Inheritors

EitherNonZero interface EitherNonZero<A : Number> : NonZero<EitherPartialOf<Nel<RefinedPredicateException>>, A>
ValidatedNonZero interface ValidatedNonZero<A : Number> : NonZero<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Do you like Arrow?

Arrow Org
<