number-positive-or-zero -- r7rs Type

§

Sub-types tree

§

• number-positive:
  • number-positive-not-inf:
    • real-positive-not-inf:
      • ...
  • real-positive:
    • real-positive-not-inf:
      • ...
• number-positive-or-zero-not-inf:
  • number-zero:
    • complex-zero:
      • ...
  • number-positive-not-inf:
    • real-positive-not-inf:
      • ...
  • real-positive-or-zero-not-inf:
    • real-zero:
      • ...
    • real-positive-not-inf:
      • ...
    • rational-positive-or-zero:
      • ...
• real-positive-or-zero:
  • real-positive:
    • real-positive-not-inf:
      • ...
  • real-positive-or-zero-not-inf:
    • real-zero:
      • ...
    • real-positive-not-inf:
      • ...
    • rational-positive-or-zero:
      • ...

Super-types

§

• number-not-nan;

Super-types recursive

§

• number;

Sub-types

§

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

Sub-types recursive

§

• number-zero;
• complex-zero;
• real-zero;
• rational-zero;
• integer-zero;
• exact-integer-zero;
• number-positive-not-inf;
• real-positive;
• real-positive-not-inf;
• rational-positive;
• integer-positive;
• exact-integer-positive;
• real-positive-or-zero-not-inf;
• rational-positive-or-zero;
• integer-positive-or-zero;
• exact-integer-positive-or-zero;
• code-point-unicode;
• code-point-ascii;
• range-value;
• range-offset;
• range-start;
• range-end;
• range-length;
• range-length-zero;
• range-length-not-zero;
• byte;
• byte-ascii;

Predicate

§

(lambda (value) (and (number? value) (or (positive? value) (zero? value))))

Categories

§

• types-numbers;

Categories recursive

§

• types;