finite? -- r7rs Definition

§

Kind

§

predicate;

Implemented by

§

• finite? (from vonuvoli);

Procedure signature

§

Procedure variants:

• ((number-nan) -> (false))
  • input: a value of type number-nan;
  • output: a value of type false;
• ((number-inf) -> (false))
  • input: a value of type number-inf;
  • output: a value of type false;
• ((number-not-inf-not-nan) -> (true))
  • input: a value of type number-not-inf-not-nan;
  • output: a value of type true;

Exports

§

• scheme:inexact -- (scheme inexact);

Exports recursive

§

• scheme -- (scheme);

Description

§

(finite? z)

The finite? procedure returns #t on all real numbers except +inf.0, -inf.0, and +nan.0, and on complex numbers if their real and imaginary parts are both finite. Otherwise it returns #f.

(finite? 3)            ===>  #t
(finite? +inf.0)       ===>  #f
(finite? 3.0+inf.0i)   ===>  #f

---

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

Referenced-types

§

• number-nan;
• false;
• number-inf;
• number-not-inf-not-nan;
• true;