number-not-zero-not-nan -- r7rs Type

§

Sub-types tree

§

• complex-not-zero-not-nan:
  • real-not-zero-not-nan:
    • real-positive:
      • ...
    • real-negative:
      • ...
• number-positive:
  • number-positive-not-inf:
    • real-positive-not-inf:
      • ...
  • real-positive:
    • real-positive-not-inf:
      • ...
• number-negative:
  • number-negative-not-inf:
    • real-negative-not-inf:
      • ...
  • real-negative:
    • real-negative-not-inf:
      • ...

Super-types

§

• number-not-zero;
• number-not-nan;

Super-types recursive

§

• number;

Sub-types

§

• complex-not-zero-not-nan;
• number-positive;
• number-negative;

Sub-types recursive

§

• real-not-zero-not-nan;
• number-positive-not-inf;
• real-positive;
• real-positive-not-inf;
• rational-positive;
• integer-positive;
• exact-integer-positive;
• number-negative-not-inf;
• real-negative;
• real-negative-not-inf;
• rational-negative;
• integer-negative;
• exact-integer-negative;

Referent definitions as input

§

• /;

Referent definitions as input (recursive)

§

• number?;
• integer?;
• real?;
• rational?;
• complex?;
• exact?;
• inexact?;
• exact-integer?;
• zero?;
• =;
• +;
• -;
• *;
• expt;
• square;
• inexact;
• sqrt;
• exp;
• log;
• sin;
• cos;
• tan;
• asin;
• acos;
• atan;
• number->string;
• <;
• <=;
• >=;
• >;

Note: These definitions consume an input that is a super-type.

Referent definitions as output

§

• /;

Referent definitions as output (recursive)

§

• -;
• abs;
• sqrt;
• denominator;
• exact-integer-sqrt;

Note: These definitions produce an output that is a sub-type.

Predicate

§

(lambda (value) (and (number? value) (not (zero? value)) (not (nan? value))))

Categories

§

• types-numbers;

Categories recursive

§

• types;