The given function is applied as a fire and forget effect if this is Valid. When applied the result is ignored and the original Validated value is returned

tapInvalid

inline fun tapInvalid(f: (Nothing) -> Unit): Validated<Nothing, A>

The given function is applied as a fire and forget effect if this is Invalid. When applied the result is ignored and the original Validated value is returned

toEither

fun toEither(): Either<Nothing, A>

Converts the value to an Either

toList

fun toList(): List<A>

Convert this value to a single element List if it is Valid, otherwise return an empty List

toOption

fun toOption(): Option<A>

Returns Valid values wrapped in Some, and None for Invalid values

toString

open override fun toString(): String

toValidatedNel

fun toValidatedNel(): ValidatedNel<Nothing, A>

Lift the Invalid value into a NonEmptyList.

traverse

inline fun <EE, B> traverse(fa: (A) -> Either<EE, B>): Either<EE, Validated<Nothing, B>>

inline fun traverse(fa: (A) -> Option): Option<Validated<Nothing, B>>

inline fun traverse(fa: (A) -> Iterable): List<Validated<Nothing, B>>

traverseEither

~~inline~~ ~~fun~~ <EE, B> ~~traverseEither~~(fa: (A) -> Either<EE, B>): Either<EE, Validated<Nothing, B>>

traverseNullable

inline fun traverseNullable(fa: (A) -> B?): Validated<Nothing, B>?

traverseOption

~~inline~~ ~~fun~~ ~~traverseOption~~(fa: (A) -> Option): Option<Validated<Nothing, B>>

void

fun void(): Validated<Nothing, Unit>

Discards the A value inside Validated signaling this container may be pointing to a noop or an effect whose return value is deliberately ignored. The singleton value Unit serves as signal.

withEither

inline fun <EE, B> withEither(f: (Either<Nothing, A>) -> Either<EE, B>): Validated<EE, B>

Convert to an Either, apply a function, convert back. This is handy when you want to use the Monadic properties of the Either type.

Properties

isInvalid

val isInvalid: Boolean

isValid

val isValid: Boolean

value

val value: A