arrow-validation / arrow.validation.refinedTypes.generic / NonEmpty

NonEmpty

interface NonEmpty<F, A> : Refinement<F, A>

NonEmpty<A> defines a subtype of As which are non empty.

Functions

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

Inheritors

EitherNonEmpty interface EitherNonEmpty<A> : NonEmpty<EitherPartialOf<Nel<RefinedPredicateException>>, A>
ValidatedNonEmpty interface ValidatedNonEmpty<A> : NonEmpty<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>