real-negative-or-zero-not-inf -- r7rs Type

§

Sub-types tree

§

• real-zero:
  • rational-zero:
    • integer-zero:
      • ...
• real-negative-not-inf:
  • rational-negative:
    • integer-negative:
      • ...
• rational-negative-or-zero:
  • rational-zero:
    • integer-zero:
      • ...
  • rational-negative:
    • integer-negative:
      • ...
  • integer-negative-or-zero:
    • integer-zero:
      • ...
    • integer-negative:
      • ...
    • exact-integer-negative-or-zero:
      • ...

Super-types

§

• number-negative-or-zero-not-inf;
• real-negative-or-zero;
• real-not-inf;

Super-types recursive

§

• number-negative-or-zero;
• number-not-nan;
• number;
• number-not-inf;
• real-not-nan;
• complex-not-nan;
• complex;
• real;
• complex-not-inf;

Sub-types

§

• real-zero;
• real-negative-not-inf;
• rational-negative-or-zero;

Sub-types recursive

§

• rational-zero;
• integer-zero;
• exact-integer-zero;
• rational-negative;
• integer-negative;
• exact-integer-negative;
• integer-negative-or-zero;
• exact-integer-negative-or-zero;
• range-length-zero;

Predicate

§

(lambda (value) (and (real? value) (or (negative? value) (zero? value)) (not (infinite? value))))

Categories

§

• types-numbers;

Categories recursive

§

• types;