integer-not-zero -- r7rs Type

§

Sub-types tree

§

• exact-integer-not-zero:
  • exact-integer-positive;
  • exact-integer-negative;
  • range-length-not-zero;
• integer-positive:
  • exact-integer-positive;
• integer-negative:
  • exact-integer-negative;

Super-types

§

• rational-not-zero;
• integer;

Super-types recursive

§

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

Sub-types

§

• exact-integer-not-zero;
• integer-positive;
• integer-negative;

Sub-types recursive

§

• exact-integer-positive;
• exact-integer-negative;
• range-length-not-zero;

Referent definitions as output

§

• numerator;

Referent definitions as output (recursive)

§

• denominator;
• exact-integer-sqrt;
• length;
• vector-length;
• string-length;
• bytevector-length;

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

Predicate

§

(lambda (value) (and (integer? value) (not (zero? value))))

Categories

§

• types-numbers;

Categories recursive

§

• types;