real-inf -- r7rs Type

§

Super-types

§

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

Super-types recursive

§

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

Referent definitions as input

§

• floor;
• ceiling;
• truncate;
• round;

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;
• <;
• <=;
• >=;
• >;
• positive?;
• negative?;
• abs;
• floor/;
• floor-quotient;
• floor-remainder;
• truncate/;
• truncate-quotient;
• truncate-remainder;
• min;
• max;
• finite?;
• infinite?;
• nan?;

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

Referent definitions as output

§

• floor;
• ceiling;
• truncate;
• round;

Predicate

§

(lambda (value) (and (real? value) (infinite? value)))

Categories

§

• types-numbers;

Categories recursive

§

• types;