not -- r7rs Definition

§

Kind

§

predicate;

Implemented by

§

• not (from vonuvoli);

Procedure signature

§

Procedure variants:

• ((true) -> (false))
  • input: a value of type true;
  • output: a value of type false;
• ((false) -> (true))
  • input: a value of type false;
  • output: a value of type true;
• ((any) -> (false))
  • input: a value of type any;
  • output: a value of type false;

Exports

§

• scheme:base -- (scheme base);

Exports recursive

§

• scheme -- (scheme);

Description

§

(not obj)

The not procedure returns #t if obj is false, and returns #f otherwise.

(not #t)         ===>  #f
(not 3)          ===>  #f
(not (list 3))   ===>  #f
(not #f)         ===>  #t
(not '())        ===>  #f
(not (list))     ===>  #f
(not 'nil)       ===>  #f

---

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

Referenced-types

§

• true;
• false;
• any;