//arrow-core/arrow.core/Validated/Invalid

Invalid

common data class Invalid<out E>(val value: E) : Validated<E, Nothing>

Constructors

   
Invalid common fun <out E> Invalid(value: E)

Functions

Name Summary
all common inline fun all(predicate: (Nothing) -> Boolean): Boolean
bifoldLeft common inline fun <B> bifoldLeft(c: B, fe: (B, E) -> B, fa: (B, Nothing) -> B): B
bifoldMap common inline fun <B> bifoldMap(MN: Monoid<B>, g: (E) -> B, f: (Nothing) -> B): B
bimap common inline fun <EE, B> bimap(fe: (E) -> EE, fa: (Nothing) -> B): Validated<EE, B>
From arrow.typeclasses.Bifunctor, maps both types of this Validated.
bitraverse common inline fun <EE, B> bitraverse(fe: (E) -> Iterable<EE>, fa: (Nothing) -> Iterable<B>): List<Validated<EE, B»
bitraverseEither common inline fun <EE, B, C> bitraverseEither(fe: (E) -> Either<EE, B>, fa: (Nothing) -> Either<EE, C>): Either<EE, Validated<B, C»
bitraverseNullable common inline fun <B, C> bitraverseNullable(fe: (E) -> B?, fa: (Nothing) -> C?): Validated<B, C>?
bitraverseOption common inline fun <B, C> bitraverseOption(fe: (E) -> Option<B>, fa: (Nothing) -> Option<C>): Option<Validated<B, C»
exist common inline fun exist(predicate: (Nothing) -> Boolean): Boolean
Is this Valid and matching the given predicate
findOrNull common inline fun findOrNull(predicate: (Nothing) -> Boolean): Nothing?
fold common inline fun <B> fold(fe: (E) -> B, fa: (Nothing) -> B): B
foldLeft common inline fun <B> foldLeft(b: B, f: (B, Nothing) -> B): B
apply the given function to the value with the given B when valid, otherwise return the given B
foldMap common inline fun <B> foldMap(MB: Monoid<B>, f: (Nothing) -> B): B
isEmpty common fun isEmpty(): Boolean
isNotEmpty common fun isNotEmpty(): Boolean
map common inline fun <B> map(f: (Nothing) -> B): Validated<E, B>
Apply a function to a Valid value, returning a new Valid value
mapLeft common inline fun <EE> mapLeft(f: (E) -> EE): Validated<EE, Nothing>
Apply a function to an Invalid value, returning a new Invalid value. Or, if the original valid was Valid, return it.
swap common fun swap(): Validated<Nothing, E>
tap common inline fun tap(f: (Nothing) -> Unit): Validated<E, Nothing>
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 common 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 common fun toEither(): Either<E, Nothing>
Converts the value to an Either
toList common fun toList(): List<Nothing>
Convert this value to a single element List if it is Valid, otherwise return an empty List
toOption common fun toOption(): Option<Nothing>
Returns Valid values wrapped in Some, and None for Invalid values
toString common open override fun toString(): String
toValidatedNel common fun toValidatedNel(): ValidatedNel<E, Nothing>
Lift the Invalid value into a NonEmptyList.
traverse common inline fun <B> traverse(fa: (Nothing) -> Iterable<B>): List<Validated<E, B»
traverseEither common inline fun <EE, B> traverseEither(fa: (Nothing) -> Either<EE, B>): Either<EE, Validated<E, B»
traverseNullable common inline fun <B> traverseNullable(fa: (Nothing) -> B?): Validated<E, B>?
traverseOption common inline fun <B> traverseOption(fa: (Nothing) -> Option<B>): Option<Validated<E, B»
void common 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 common 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

Name Summary
isInvalid common val isInvalid: Boolean
isValid common val isValid: Boolean
value common val value: E

Do you like Arrow?

Arrow Org
<