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