Skip to main content

Module send_thunk

Module send_thunk 

Source
Expand description

Thread-safe deferred, non-memoized computation.

Like Thunk but with a Send bound on the inner closure, enabling thread-safe deferred computation chains and truly lazy into_arc_lazy without eager evaluation.

Standard HKT traits (Functor, Semimonad, etc.) cannot be implemented because their signatures do not require Send on mapping functions. Use the inherent methods (map, bind) instead. The corresponding brand is SendThunkBrand.

Structsยง

SendThunk
A thread-safe deferred computation that produces a value of type A.