Types
Functions
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Lift the Invalid value into a NonEmptyList.
Link copied to clipboard
Link copied to clipboard
Properties
Inheritors
Extensions
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
inline fun <E, A> Validated<E, A>.findValid(SE: Semigroup<E>, that: () -> Validated<E, A>): Validated<E, A>
Content copied to clipboard
If this
is valid return this
, otherwise if that
is valid return that
, otherwise combine the failures. This is similar to orElse except that here failures are accumulated.
Link copied to clipboard
inline fun <E, A> Validated<E, A>.orElse(default: () -> Validated<E, A>): Validated<E, A>
Content copied to clipboard
Return this if it is Valid, or else fall back to the given default. The functionality is similar to that of findValid except for failure accumulation, where here only the error on the right is preserved and the error on the left is ignored.
Link copied to clipboard
Link copied to clipboard
fun <E, A, B> Validated<E, A>.zip(SE: Semigroup<E>, fb: Validated<E, B>): Validated<E, Pair<A, B>>
Content copied to clipboard
inline fun <E, A, B, Z> Validated<E, A>.zip( SE: Semigroup<E>, b: Validated<E, B>, f: (A, B) -> Z): Validated<E, Z>
Content copied to clipboard
inline fun <E, A, B, C, Z> Validated<E, A>.zip( SE: Semigroup<E>, b: Validated<E, B>, c: Validated<E, C>, f: (A, B, C) -> Z): Validated<E, Z>
Content copied to clipboard
inline fun <E, A, B, C, D, Z> Validated<E, A>.zip( SE: Semigroup<E>, b: Validated<E, B>, c: Validated<E, C>, d: Validated<E, D>, f: (A, B, C, D) -> Z): Validated<E, Z>
Content copied to clipboard
inline fun <E, A, B, C, D, EE, Z> Validated<E, A>.zip( SE: Semigroup<E>, b: Validated<E, B>, c: Validated<E, C>, d: Validated<E, D>, e: Validated<E, EE>, f: (A, B, C, D, EE) -> Z): Validated<E, Z>
Content copied to clipboard
inline fun <E, A, B, C, D, EE, FF, Z> Validated<E, A>.zip( SE: Semigroup<E>, b: Validated<E, B>, c: Validated<E, C>, d: Validated<E, D>, e: Validated<E, EE>, ff: Validated<E, FF>, f: (A, B, C, D, EE, FF) -> Z): Validated<E, Z>
Content copied to clipboard
inline fun <E, A, B, C, D, EE, F, G, Z> Validated<E, A>.zip( SE: Semigroup<E>, b: Validated<E, B>, c: Validated<E, C>, d: Validated<E, D>, e: Validated<E, EE>, ff: Validated<E, F>, g: Validated<E, G>, f: (A, B, C, D, EE, F, G) -> Z): Validated<E, Z>
Content copied to clipboard
inline fun <E, A, B, C, D, EE, F, G, H, Z> Validated<E, A>.zip( SE: Semigroup<E>, b: Validated<E, B>, c: Validated<E, C>, d: Validated<E, D>, e: Validated<E, EE>, ff: Validated<E, F>, g: Validated<E, G>, h: Validated<E, H>, f: (A, B, C, D, EE, F, G, H) -> Z): Validated<E, Z>
Content copied to clipboard
inline fun <E, A, B, C, D, EE, F, G, H, I, Z> Validated<E, A>.zip( SE: Semigroup<E>, b: Validated<E, B>, c: Validated<E, C>, d: Validated<E, D>, e: Validated<E, EE>, ff: Validated<E, F>, g: Validated<E, G>, h: Validated<E, H>, i: Validated<E, I>, f: (A, B, C, D, EE, F, G, H, I) -> Z): Validated<E, Z>
Content copied to clipboard
inline fun <E, A, B, C, D, EE, F, G, H, I, J, Z> Validated<E, A>.zip( SE: Semigroup<E>, b: Validated<E, B>, c: Validated<E, C>, d: Validated<E, D>, e: Validated<E, EE>, ff: Validated<E, F>, g: Validated<E, G>, h: Validated<E, H>, i: Validated<E, I>, j: Validated<E, J>, f: (A, B, C, D, EE, F, G, H, I, J) -> Z): Validated<E, Z>
Content copied to clipboard