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: (E) -> Unit): Validated<E, Nothing>

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<E, Nothing>

Converts the value to an Either

toList

fun toList(): List<Nothing>

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

toOption

fun toOption(): Option<Nothing>

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

toString

open override fun toString(): String

toValidatedNel

fun toValidatedNel(): ValidatedNel<E, Nothing>

Lift the Invalid value into a NonEmptyList.

traverse

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

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

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

traverseEither

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

traverseNullable

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

traverseOption

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

void

fun void(): Validated<E, 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<E, Nothing>) -> 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: E