nxt.effects

User-Defined Effects.

Mathematical total function (Koka's total) is already present in D via the pure qualifier.

Members

allocates_on_gc_heap enum allocates_on_gc_heap: UDA of function that allocates memory with the built-in GC.
allocates_on_heap enum allocates_on_heap: UDA of function that (dynamically) allocates memory either with GC or malloc().
caches_return_value enum caches_return_value: UDA of (member) function whose returned value is (internally) cached in RAM.
caches_return_value_to_disk enum caches_return_value_to_disk: UDA of (member) function whose returned value is (externally) cached (to disk).
never_terminates enum never_terminates: UDA of function that never terminates. In Koka this is div.
non_deterministic enum non_deterministic: UDA of function that has non-deterministic behaviour. Typically reads an extern resource such as the system clock. In Koka this is ndet.
throws enum throws: UDA of function that may throw an Exception|Error. In Koka this is exn.
writes_to_console enum writes_to_console: UDA of function that writes to stdout or stderr. In Koka this is console.