true -- r7rs Type

§

Super-types

§

• boolean;

Referent definitions as input

§

• not;
• exit;
• emergency-exit;

Referent definitions as input (recursive)

§

• boolean?;
• boolean=?;

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

Referent definitions as output

§

• boolean?;
• not;
• symbol?;
• number?;
• integer?;
• real?;
• rational?;
• complex?;
• exact?;
• inexact?;
• exact-integer?;
• zero?;
• positive?;
• negative?;
• odd?;
• even?;
• finite?;
• infinite?;
• nan?;
• pair?;
• null?;
• list?;
• vector?;
• string?;
• bytevector?;
• port?;
• binary-port?;
• textual-port?;
• input-port?;
• input-port-open?;
• output-port?;
• output-port-open?;
• u8-ready?;
• char-ready?;
• eof-object?;
• char?;
• char-alphabetic?;
• char-upper-case?;
• char-lower-case?;
• char-numeric?;
• char-whitespace?;
• procedure?;
• error-object?;
• promise?;
• proper-or-empty-list?;
• equivalent-by-identity?;
• equivalent-by-value-strict?;
• equivalent-by-value-strict-recursive?;
• boolean=?;
• <;
• <=;
• =;
• >=;
• >;
• symbol=?;

Predicate

§

true?

Categories

§

• types-constants;

Categories recursive

§

• types;