inexact-number-not-inf -- r7rs Type

§

Sub-types tree

§

• number-nan:
  • complex-nan:
    • real-nan;
• inexact-complex-not-inf:
  • complex-nan:
    • real-nan;
  • inexact-real-not-inf:
    • real-nan;
    • inexact-real-not-inf-not-nan:
      • ...
  • inexact-complex-not-inf-not-nan:
    • inexact-real-not-inf-not-nan:
      • ...
• inexact-number-not-inf-not-nan:
  • inexact-complex-not-inf-not-nan:
    • inexact-real-not-inf-not-nan:
      • ...

Super-types

§

• inexact-number;
• number-not-inf;

Super-types recursive

§

• number;

Sub-types

§

• number-nan;
• inexact-complex-not-inf;
• inexact-number-not-inf-not-nan;

Sub-types recursive

§

• inexact-rational;
• inexact-integer;
• complex-nan;
• real-nan;
• inexact-real-not-inf;
• inexact-complex-not-inf-not-nan;
• inexact-real-not-inf-not-nan;

Predicate

§

(lambda (value) (and (number? value) (inexact? value) (not (infinite? value))))

Categories

§

• types-numbers;

Categories recursive

§

• types;