exact-integer-positive-or-zero -- r7rs Type

§

Sub-types tree

§

• exact-integer-zero:
  • range-length-zero;
• exact-integer-positive;
• 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:
    • code-point-ascii;

Super-types

§

• integer-positive-or-zero;
• exact-integer;

Super-types recursive

§

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

Sub-types

§

• exact-integer-zero;
• exact-integer-positive;
• code-point-unicode;
• range-value;
• byte;

Sub-types recursive

§

• code-point-ascii;
• range-offset;
• range-start;
• range-end;
• range-length;
• range-length-zero;
• range-length-not-zero;
• byte-ascii;

Referent definitions as output

§

• exact-integer-sqrt;
• digit-value;

Referent definitions as output (recursive)

§

• 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

§

(lambda (value) (and (exact-integer? value) (or (positive? value) (zero? value))))

Categories

§

• types-numbers;

Categories recursive

§

• types;