//arrow-core/arrow.core/Validated/Valid

Valid

common data class Valid<out A>(val value: A) : Validated<Nothing, A>

Constructors

   
Valid common fun <out A> Valid(value: A)

Types

Name Summary
Companion common object Companion

Functions

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

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

Do you like Arrow?

Arrow Org
<