PreviousUpNext

14.4.43  Lazy

The standard library Lazy api defines access to functionality for delaying and resuming computations. This functionality is used by the Mythryl compiler support for lazy computation.

The Lazy api is diffusely implemented by a combination of inlined assembly support pulled together in the core (src/lib/core/init/core.pkg) and then proxied by the package lazy.

The Lazy api source code is in src/lib/std/src/nj/lazy.api.

The above information is manually maintained and may contain errors.

api {
    Suspension X;
    delay : (Void -> X) -> Suspension(X );
    force : Suspension(X ) -> X;};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext