complex -- r7rs Type

§

Sub-types tree

§

• real:
  • inexact-real:
    • inexact-real-not-inf:
      • ...
    • inexact-real-not-nan:
      • ...
  • real-not-zero:
    • rational-not-zero:
      • ...
    • real-not-zero-not-nan:
      • ...
  • real-not-inf:
    • real-not-inf-not-nan:
      • ...
    • real-positive-or-zero-not-inf:
      • ...
    • real-negative-or-zero-not-inf:
      • ...
    • inexact-real-not-inf:
      • ...
  • real-not-nan:
    • real-not-inf-not-nan:
      • ...
    • real-not-zero-not-nan:
      • ...
    • real-positive-or-zero:
      • ...
    • real-negative-or-zero:
      • ...
    • inexact-real-not-nan:
      • ...
• inexact-complex:
  • inexact-real:
    • inexact-real-not-inf:
      • ...
    • inexact-real-not-nan:
      • ...
  • inexact-complex-not-inf:
    • complex-nan:
      • ...
    • inexact-real-not-inf:
      • ...
    • inexact-complex-not-inf-not-nan:
      • ...
  • inexact-complex-not-nan:
    • complex-inf:
      • ...
    • inexact-real-not-nan:
      • ...
    • inexact-complex-not-inf-not-nan:
      • ...
• complex-not-zero:
  • real-not-zero:
    • rational-not-zero:
      • ...
    • real-not-zero-not-nan:
      • ...
  • complex-not-zero-not-nan:
    • real-not-zero-not-nan:
      • ...
• complex-not-inf:
  • real-not-inf:
    • real-not-inf-not-nan:
      • ...
    • real-positive-or-zero-not-inf:
      • ...
    • real-negative-or-zero-not-inf:
      • ...
    • inexact-real-not-inf:
      • ...
  • complex-not-inf-not-nan:
    • exact-complex:
      • ...
    • complex-zero:
      • ...
    • real-not-inf-not-nan:
      • ...
    • inexact-complex-not-inf-not-nan:
      • ...
  • inexact-complex-not-inf:
    • complex-nan:
      • ...
    • inexact-real-not-inf:
      • ...
    • inexact-complex-not-inf-not-nan:
      • ...
• complex-not-nan:
  • real-not-nan:
    • real-not-inf-not-nan:
      • ...
    • real-not-zero-not-nan:
      • ...
    • real-positive-or-zero:
      • ...
    • real-negative-or-zero:
      • ...
    • inexact-real-not-nan:
      • ...
  • complex-not-inf-not-nan:
    • exact-complex:
      • ...
    • complex-zero:
      • ...
    • real-not-inf-not-nan:
      • ...
    • inexact-complex-not-inf-not-nan:
      • ...
  • complex-not-zero-not-nan:
    • real-not-zero-not-nan:
      • ...
  • inexact-complex-not-nan:
    • complex-inf:
      • ...
    • inexact-real-not-nan:
      • ...
    • inexact-complex-not-inf-not-nan:
      • ...

Super-types

§

• number;

Sub-types

§

• real;
• inexact-complex;
• complex-not-zero;
• complex-not-inf;
• complex-not-nan;

Sub-types recursive

§

• rational;
• integer;
• exact-complex;
• exact-real;
• exact-rational;
• exact-integer;
• inexact-real;
• inexact-rational;
• inexact-integer;
• complex-zero;
• real-zero;
• rational-zero;
• integer-zero;
• exact-integer-zero;
• real-not-zero;
• rational-not-zero;
• integer-not-zero;
• exact-integer-not-zero;
• integer-even;
• integer-odd;
• complex-inf;
• real-inf;
• complex-nan;
• real-nan;
• real-not-inf;
• real-not-nan;
• complex-not-inf-not-nan;
• real-not-inf-not-nan;
• complex-not-zero-not-nan;
• real-not-zero-not-nan;
• real-positive;
• real-positive-not-inf;
• rational-positive;
• integer-positive;
• exact-integer-positive;
• real-negative;
• real-negative-not-inf;
• rational-negative;
• integer-negative;
• exact-integer-negative;
• real-positive-or-zero;
• real-positive-or-zero-not-inf;
• rational-positive-or-zero;
• integer-positive-or-zero;
• exact-integer-positive-or-zero;
• real-negative-or-zero;
• real-negative-or-zero-not-inf;
• rational-negative-or-zero;
• integer-negative-or-zero;
• exact-integer-negative-or-zero;
• inexact-complex-not-inf;
• inexact-real-not-inf;
• inexact-complex-not-nan;
• inexact-real-not-nan;
• inexact-complex-not-inf-not-nan;
• inexact-real-not-inf-not-nan;
• 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;

Referent definitions as input

§

• number?;
• integer?;
• real?;
• rational?;
• complex?;

Referent definitions as input (recursive)

§

• 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.

Predicate

§

complex?

Categories

§

• types-numbers;

Categories recursive

§

• types;