integer -- r7rs Type

§

Sub-types tree

§

• exact-integer:
  • exact-integer-not-zero:
    • exact-integer-positive;
    • exact-integer-negative;
    • range-length-not-zero;
  • exact-integer-positive-or-zero:
    • exact-integer-zero:
      • ...
    • exact-integer-positive;
    • code-point-unicode:
      • ...
    • range-value:
      • ...
    • byte:
      • ...
  • exact-integer-negative-or-zero:
    • exact-integer-zero:
      • ...
    • exact-integer-negative;
• inexact-integer;
• integer-not-zero:
  • exact-integer-not-zero:
    • exact-integer-positive;
    • exact-integer-negative;
    • range-length-not-zero;
  • integer-positive:
    • exact-integer-positive;
  • integer-negative:
    • exact-integer-negative;
• integer-even;
• integer-odd;
• integer-positive-or-zero:
  • integer-zero:
    • exact-integer-zero:
      • ...
  • integer-positive:
    • exact-integer-positive;
  • exact-integer-positive-or-zero:
    • exact-integer-zero:
      • ...
    • exact-integer-positive;
    • code-point-unicode:
      • ...
    • range-value:
      • ...
    • byte:
      • ...
• integer-negative-or-zero:
  • integer-zero:
    • exact-integer-zero:
      • ...
  • integer-negative:
    • exact-integer-negative;
  • exact-integer-negative-or-zero:
    • exact-integer-zero:
      • ...
    • exact-integer-negative;

Super-types

§

• rational;

Super-types recursive

§

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

Sub-types

§

• exact-integer;
• inexact-integer;
• integer-not-zero;
• integer-even;
• integer-odd;
• integer-positive-or-zero;
• integer-negative-or-zero;

Sub-types recursive

§

• integer-zero;
• exact-integer-zero;
• exact-integer-not-zero;
• integer-positive;
• exact-integer-positive;
• integer-negative;
• 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;

Referent definitions as input

§

• number?;
• integer?;
• real?;
• rational?;
• complex?;
• odd?;
• even?;
• floor;
• ceiling;
• truncate;
• round;
• gcd;
• lcm;
• numerator;
• denominator;

Referent definitions as input (recursive)

§

• exact?;
• inexact?;
• exact-integer?;
• zero?;
• =;
• +;
• -;
• *;
• /;
• expt;
• square;
• inexact;
• sqrt;
• exp;
• log;
• sin;
• cos;
• tan;
• asin;
• acos;
• atan;
• number->string;
• <;
• <=;
• >=;
• >;
• positive?;
• negative?;
• abs;
• floor/;
• floor-quotient;
• floor-remainder;
• truncate/;
• truncate-quotient;
• truncate-remainder;
• min;
• max;
• exact;
• finite?;
• infinite?;
• nan?;
• real-part;
• imag-part;
• magnitude;
• angle;
• rationalize;
• make-rectangular;
• make-polar;

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

Referent definitions as output

§

• floor;
• ceiling;
• truncate;
• round;
• gcd;
• lcm;
• numerator;

Referent definitions as output (recursive)

§

• exact-integer-sqrt;
• denominator;
• digit-value;
• char->integer;
• length;
• vector-length;
• string-length;
• bytevector-length;
• bytevector-u8-ref;
• bytevector-u8-set!;

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

Predicate

§

integer?

Categories

§

• types-numbers;

Categories recursive

§

• types;