alice
library
manual.

Alice Project

The ByNeed functor


________ Synopsis ____________________________________________________

    functor ByNeed (signature S functor F() : S) : S
  

The polymorphic ByNeed functor allows arbitrary module expressions to be evaluated lazily. For example, if mod is a module expression with signature SIG, then evaluation can be suspended as follows:

    structure Mod = ByNeed (signature S = SIG functor F() = mod)

See also: Component


________ Import ______________________________________________________

Imported implicitly.


________ Interface ___________________________________________________

    signature S
    functor F () : S
  

________ Description _________________________________________________

signature S

The signature of the module to be evaluated lazily.

functor F

A functorial suspension of the module expression to be evaluated.



last modified 1970/01/01 01:00