rational-positive -- r7rs Type

§

Sub-types tree

§

• integer-positive:
  • exact-integer-positive;

Super-types

§

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

Super-types recursive

§

• number-positive-not-inf;
• number-positive;
• number-not-zero-not-nan;
• number-not-zero;
• number;
• number-not-nan;
• number-positive-or-zero;
• number-positive-or-zero-not-inf;
• number-not-inf;
• real-positive;
• real-positive-or-zero;
• real-not-nan;
• complex-not-nan;
• complex;
• real;
• real-not-zero-not-nan;
• complex-not-zero-not-nan;
• complex-not-zero;
• real-not-zero;
• real-positive-or-zero-not-inf;
• real-not-inf;
• complex-not-inf;
• rational;
• real-not-inf-not-nan;
• complex-not-inf-not-nan;
• number-not-inf-not-nan;

Sub-types

§

• integer-positive;

Sub-types recursive

§

• exact-integer-positive;

Predicate

§

(lambda (value) (and (rational? value) (positive? value)))

Categories

§

• types-numbers;

Categories recursive

§

• types;