call-with-values -- r7rs Definition

§

Kind

§

procedure;

Implemented by

§

• call-with-values (from vonuvoli);

Procedure signature

§

Procedure variants:

• (((producer procedure) (consumer procedure)) -> (any))
  • inputs:
    • producer of type procedure;
    • consumer of type procedure;
  • output: a value of type any;

Exports

§

• scheme:base -- (scheme base);

Exports recursive

§

• scheme -- (scheme);

Description

§

(call-with-values producer consumer)

Calls its producer argument with no arguments and a continuation that, when passed some values, calls the consumer procedure with those values as arguments. The continuation for the call to consumer is the continuation of the call to call-with-values.

(call-with-values (lambda () (values 4 5))
                  (lambda (a b) b))
                                                   ===>  5

(call-with-values * -)                             ===>  -1

---

The text herein was sourced and adapted as described in the "R7RS attribution of various text snippets" appendix.

Referenced-types

§

• procedure;
• any;