Module eff::lazy

A lazy computation with no effects.

This module provides lazy and pure function. lazy creates a computation with no effects that just executes the passed function. pure converts the given value into a pure computation.

Structs

Lazy	A lazy computation with no effects

Functions

lazy	Converts a thunk into a one-shot effectful computation This function is usually used to convert closures into an effect handler (which must be effectful)
pure	Converts a value into a one-shot effectful computation that immediately resolves to said value