//arrow-core/arrow.core/Validated/Valid
common data class Valid<out A>(val value: A) : Validated<Nothing, A>
Valid | common fun <out A> Valid(value: A) |
Name | Summary |
---|---|
Companion | common object Companion |
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. |
Name | Summary |
---|---|
isInvalid | common val isInvalid: Boolean |
isValid | common val isValid: Boolean |
value | common val value: A |
Do you like Arrow?
✖