arrow-validation / arrow.validation.refinedTypes.generic

Package arrow.validation.refinedTypes.generic

Types

EitherNonEmpty interface EitherNonEmpty<A> : NonEmpty<EitherPartialOf<Nel<RefinedPredicateException>>, A>
NonEmpty NonEmpty<A> defines a subtype of As which are non empty.interface NonEmpty<F, A> : Refinement<F, A>
ValidatedNonEmpty interface ValidatedNonEmpty<A> : NonEmpty<ValidatedPartialOf<Nel<RefinedPredicateException>>, A>