arrow-core/arrow.core/Eval/Defer

Defer

data class Defer<out A>(val thunk: () -> Eval<A>) : Eval<A>

Defer is a type of Eval that is used to defer computations which produce Eval .

Users should not instantiate Defer instances themselves. Instead, they will be automatically created when needed.

Constructors

fun <out A> Defer(thunk: () -> Eval<A>)

Functions

inline fun <B> coflatMap(crossinline f: (Eval<A>) -> B): Eval<B>

fun <B> flatMap(f: (A) -> Eval<B>): Eval<B>

inline fun <B> map(crossinline f: (A) -> B): Eval<B>

open override fun memoize(): Eval<A>

open override fun toString(): String

open override fun value(): A

Properties

val thunk: () -> Eval<A>

Extensions

fun <A> Eval<A>.replicate(n: Int): Eval<List<A>>

fun <A> Eval<A>.replicate(n: Int, MA: Monoid<A>): Eval<A>

fun <A, B, Z> Eval<A>.zip(b: Eval<B>, map: (A, B) -> Z): Eval<Z>

fun <A, B> Eval<A>.zip(b: Eval<B>): Eval<Pair<A, B>>

fun <A, B, C, D> Eval<A>.zip(b: Eval<B>, c: Eval<C>, map: (A, B, C) -> D): Eval<D>

fun <A, B, C, D, E> Eval<A>.zip(b: Eval<B>, c: Eval<C>, d: Eval<D>, map: (A, B, C, D) -> E): Eval<E>

fun <A, B, C, D, E, F> Eval<A>.zip(b: Eval<B>, c: Eval<C>, d: Eval<D>, e: Eval<E>, map: (A, B, C, D, E) -> F): Eval<F>

fun <A, B, C, D, E, F, G> Eval<A>.zip(b: Eval<B>, c: Eval<C>, d: Eval<D>, e: Eval<E>, f: Eval<F>, map: (A, B, C, D, E, F) -> G): Eval<G>

fun <A, B, C, D, E, F, G, H> Eval<A>.zip(b: Eval<B>, c: Eval<C>, d: Eval<D>, e: Eval<E>, f: Eval<F>, g: Eval<G>, map: (A, B, C, D, E, F, G) -> H): Eval<H>

fun <A, B, C, D, E, F, G, H, I> Eval<A>.zip(b: Eval<B>, c: Eval<C>, d: Eval<D>, e: Eval<E>, f: Eval<F>, g: Eval<G>, h: Eval<H>, map: (A, B, C, D, E, F, G, H) -> I): Eval<I>

fun <A, B, C, D, E, F, G, H, I, J> Eval<A>.zip(b: Eval<B>, c: Eval<C>, d: Eval<D>, e: Eval<E>, f: Eval<F>, g: Eval<G>, h: Eval<H>, i: Eval<I>, map: (A, B, C, D, E, F, G, H, I) -> J): Eval<J>

fun <A, B, C, D, E, F, G, H, I, J, K> Eval<A>.zip(b: Eval<B>, c: Eval<C>, d: Eval<D>, e: Eval<E>, f: Eval<F>, g: Eval<G>, h: Eval<H>, i: Eval<I>, j: Eval<J>, map: (A, B, C, D, E, F, G, H, I, J) -> K): Eval<K>