cons -- r7rs Definition

§

Kind

§

constructor;

Implemented by

§

• cons (from vonuvoli);

Procedure signature

§

Procedure variants:

• ((any any) -> (pair))
  • inputs:
    • a value of type any;
    • a value of type any;
  • output: a value of type pair;

Exports

§

• scheme:base -- (scheme base);

Exports recursive

§

• scheme -- (scheme);

Description

§

(cons obj_1 obj_2)

Returns a newly allocated pair whose car is obj_1 and whose cdr is obj_2. The pair is guaranteed to be different (in the sense of eqv?) from every existing object.

(cons 'a '())           ===>  (a)
(cons '(a) '(b c d))    ===>  ((a) b c d)
(cons "a" '(b c))       ===>  ("a" b c)
(cons 'a 3)             ===>  (a . 3)
(cons '(a b) 'c)        ===>  ((a b) . c)

---

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

Referenced-types

§

• any;
• pair;