Left

data class Left<out A>(val value: A) : Ior<A, Nothing>

Constructors

Link copied to clipboard
fun <out A> Left(value: A)

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
inline fun all(predicate: (Nothing) -> Boolean): Boolean
Link copied to clipboard
inline fun <C, D> bicrosswalk(fa: (A) -> Iterable<C>, fb: (Nothing) -> Iterable<D>): List<Ior<C, D>>
Link copied to clipboard
inline fun <C, D, K> bicrosswalkMap(fa: (A) -> Map<K, C>, fb: (Nothing) -> Map<K, D>): Map<K, Ior<C, D>>
Link copied to clipboard
inline fun <C, D> bicrosswalkNull(fa: (A) -> C?, fb: (Nothing) -> D?): Ior<C, D>?
Link copied to clipboard
inline fun <C> bifoldLeft(    c: C,     f: (C, A) -> C,     g: (C, Nothing) -> C): C
Link copied to clipboard
inline fun <C> bifoldMap(    MN: Monoid<C>,     f: (A) -> C,     g: (Nothing) -> C): C
Link copied to clipboard
inline fun <C, D> bimap(fa: (A) -> C, fb: (Nothing) -> D): Ior<C, D>

Apply fa if this is a Left or Both to A and apply fb if this is Right or Both to B

Link copied to clipboard
inline fun <AA, C> bitraverse(fa: (A) -> Iterable<AA>, fb: (Nothing) -> Iterable<C>): List<Ior<AA, C>>
Link copied to clipboard
inline fun <AA, C, D> bitraverseEither(fa: (A) -> Either<AA, C>, fb: (Nothing) -> Either<AA, D>): Either<AA, Ior<C, D>>
Link copied to clipboard
inline fun <C, D> bitraverseNullable(fa: (A) -> C?, fb: (Nothing) -> D?): Ior<C, D>?
Link copied to clipboard
inline fun <C, D> bitraverseOption(fa: (A) -> Option<C>, fb: (Nothing) -> Option<D>): Option<Ior<C, D>>
Link copied to clipboard
inline fun <AA, C, D> bitraverseValidated(    SA: Semigroup<AA>,     fa: (A) -> Validated<AA, C>,     fb: (Nothing) -> Validated<AA, D>): Validated<AA, Ior<C, D>>
Link copied to clipboard
inline fun <C> crosswalk(fa: (Nothing) -> Iterable<C>): List<Ior<A, C>>
Link copied to clipboard
inline fun <K, V> crosswalkMap(fa: (Nothing) -> Map<K, V>): Map<K, Ior<A, V>>
Link copied to clipboard
inline fun <A, B, C> crosswalkNull(ior: Ior<A, B>, fa: (B) -> C?): Ior<A, C>?
Link copied to clipboard
inline fun exists(predicate: (Nothing) -> Boolean): Boolean

Returns false if Left or returns the result of the application of the given predicate to the Right value.

Link copied to clipboard
inline fun findOrNull(predicate: (Nothing) -> Boolean): Nothing?
Link copied to clipboard
inline fun <C> fold(    fa: (A) -> C,     fb: (Nothing) -> C,     fab: (A, Nothing) -> C): C

Applies fa if this is a Left, fb if this is a Right or fab if this is a Both

Link copied to clipboard
inline fun <C> foldLeft(c: C, f: (C, Nothing) -> C): C
Link copied to clipboard
inline fun <C> foldMap(MN: Monoid<C>, f: (Nothing) -> C): C
Link copied to clipboard
fun isEmpty(): Boolean
Link copied to clipboard
fun isNotEmpty(): Boolean
Link copied to clipboard
fun leftOrNull(): A?

Returns the Left value or A if this is Left or Both and null if this is a Right.

Link copied to clipboard
inline fun <D> map(f: (Nothing) -> D): Ior<A, D>

The given function is applied if this is a Right or Both to B.

Link copied to clipboard
inline fun <C> mapLeft(fa: (A) -> C): Ior<C, Nothing>

The given function is applied if this is a Left or Both to A.

Link copied to clipboard
fun orNull(): Nothing?

Returns the Right value or B if this is Right or Both and null if this is a Left.

Link copied to clipboard
fun padNull(): Pair<A?, Nothing?>

Return this Ior as Pair of nullables]

Link copied to clipboard
fun swap(): Ior<Nothing, A>

If this is a Left, then return the left value in Right or vice versa, when this is Both , left and right values are swap

Link copied to clipboard
fun toEither(): Either<A, Nothing>

Returns a Either.Right containing the Right value or B if this is Right or Both and Either.Left if this is a Left.

Link copied to clipboard
open override fun toString(): String
Link copied to clipboard
fun toValidated(): Validated<A, Nothing>

Returns a Validated.Valid containing the Right value or B if this is Right or Both and Validated.Invalid if this is a Left.

Link copied to clipboard
inline fun <AA, C> traverse(fa: (Nothing) -> Either<AA, C>): Either<AA, Ior<A, C>>
inline fun <C> traverse(fa: (Nothing) -> Option<C>): Option<Ior<A, C>>
inline fun <AA, C> traverse(fa: (Nothing) -> Validated<AA, C>): Validated<AA, Ior<A, C>>
inline fun <C> traverse(fa: (Nothing) -> Iterable<C>): List<Ior<A, C>>
Link copied to clipboard
inline fun <AA, C> traverseEither(fa: (Nothing) -> Either<AA, C>): Either<AA, Ior<A, C>>
Link copied to clipboard
inline fun <C> traverseNullable(fa: (Nothing) -> C?): Ior<A, C>?
Link copied to clipboard
inline fun <C> traverseOption(fa: (Nothing) -> Option<C>): Option<Ior<A, C>>
Link copied to clipboard
inline fun <AA, C> traverseValidated(fa: (Nothing) -> Validated<AA, C>): Validated<AA, Ior<A, C>>
Link copied to clipboard
fun unwrap(): Either<Either<A, Nothing>, Pair<A, Nothing>>

Return the isomorphic Either of this Ior

Link copied to clipboard
fun void(): Ior<A, Unit>

Properties

Link copied to clipboard
open override val isBoth: Boolean

Returns true if this is a Both, false otherwise.

Link copied to clipboard
open override val isLeft: Boolean

Returns true if this is a Left, false otherwise.

Link copied to clipboard
open override val isRight: Boolean

Returns true if this is a Right, false otherwise.

Link copied to clipboard
val value: A