arrow-validation / arrow.validation.refinedTypes.generic / ValidatedNonEmpty

ValidatedNonEmpty

@extension interface ValidatedNonEmpty<A> : NonEmpty<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>

Functions

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

Do you like Arrow?

Arrow Org