arrow-validation / arrow.validation.refinedTypes.generic / EitherNonEmpty

EitherNonEmpty

@extension interface EitherNonEmpty<A> : NonEmpty<EitherPartialOf<Nel<RefinedPredicateException>>, A>

Functions

applicativeError open fun applicativeError(): ApplicativeError<EitherPartialOf<Nel<RefinedPredicateException>>, Nel<RefinedPredicateException>>
empty abstract fun empty(): A