exact-real -- r7rs Type

§

Sub-types tree

§

• exact-rational:
  • exact-integer:
    • exact-integer-not-zero:
      • ...
    • exact-integer-positive-or-zero:
      • ...
    • exact-integer-negative-or-zero:
      • ...

Super-types

§

• exact-complex;
• real-not-inf-not-nan;

Super-types recursive

§

• exact-number;
• number-not-inf-not-nan;
• number-not-inf;
• number;
• number-not-nan;
• complex-not-inf-not-nan;
• complex-not-inf;
• complex;
• complex-not-nan;
• real-not-inf;
• real;
• real-not-nan;

Sub-types

§

• exact-rational;

Sub-types recursive

§

• exact-integer;
• exact-integer-zero;
• exact-integer-not-zero;
• exact-integer-positive;
• exact-integer-negative;
• exact-integer-positive-or-zero;
• exact-integer-negative-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 (real? value) (exact? value)))

Categories

§

• types-numbers;

Categories recursive

§

• types;