This is the type-i Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Tue Jul 15 06:57:46 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
type-iType Inference Utility on Fundamentally 1-arg Predicates
Masataro Asai
LLGPL
0.1
introspect-environment (system).
alexandria (system).
trivia.trivial (system).
lisp-namespace (system).
package.lisp (file).
infer-typep.lisp (file).
infer-unary.lisp (file).
infer-derived.lisp (file).
infer-constants.lisp (file).
infer-compound.lisp (file).
infer-numbers.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
type-i/type-i.asdtype-i/package.lisptype-i/infer-typep.lisptype-i/infer-unary.lisptype-i/infer-derived.lisptype-i/infer-constants.lisptype-i/infer-compound.lisptype-i/infer-numbers.lisptype-i/package.lisptype-i (system).
? (function).
define-inference-rule (macro).
failed-type-inference (condition).
test-type (function).
type-tests (function).
*inference-rules-doc-table* (special variable).
*inference-rules-table* (special variable).
inference-rules-boundp (function).
inference-rules-let (macro).
inference-rules-type (type).
symbol-inference-rules (function).
(setf symbol-inference-rules) (function).
unbound-inference-rules (condition).
type-i/infer-typep.lisppackage.lisp (file).
type-i (system).
*compound-infer-level* (special variable).
*max-compound-type-arguments* (special variable).
all-compound-types (function).
predicate-p (function).
predicate-p-function (function).
predicatep (function).
predicatep-function (function).
valid-type-specifier-p (function).
type-i/infer-unary.lispinfer-typep.lisp (file).
type-i (system).
typep-form (function).
type-i/infer-derived.lispinfer-unary.lisp (file).
type-i (system).
type-i/infer-constants.lispinfer-derived.lisp (file).
type-i (system).
+null-tests+ (special variable).
type-i/infer-compound.lispinfer-constants.lisp (file).
type-i (system).
type-i/infer-numbers.lispinfer-compound.lisp (file).
type-i (system).
Packages are listed by definition order.
type-ialexandria.
common-lisp.
introspect-environment.
trivia.level2.
? (function).
define-inference-rule (macro).
failed-type-inference (condition).
test-type (function).
type-tests (function).
*compound-infer-level* (special variable).
*inference-rules-doc-table* (special variable).
*inference-rules-table* (special variable).
*max-compound-type-arguments* (special variable).
+null-tests+ (special variable).
all-compound-types (function).
inference-rules-boundp (function).
inference-rules-let (macro).
inference-rules-type (type).
predicate-p (function).
predicate-p-function (function).
predicatep (function).
predicatep-function (function).
symbol-inference-rules (function).
(setf symbol-inference-rules) (function).
typep-form (function).
unbound-inference-rules (condition).
valid-type-specifier-p (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
substitute symbol with ’?, canonicalizing the test form amenable for comparison
infer the type which the given test form is trying to test against.
If the values are NIL,T , it means the type is definitely NIL.
If the values are NIL,NIL , it means the type is not successfully inferred.
Automatically defined boolean function.
Automatically defined getter function. When DEFAULT is supplied, the value is set automatically.
Automatically defined setter function.
unbound-variable.
| Jump to: | (
?
A D F I M P S T V |
|---|
| Jump to: | (
?
A D F I M P S T V |
|---|
| Jump to: | *
+
S T |
|---|
| Jump to: | *
+
S T |
|---|
| Jump to: | C F I P S T U |
|---|
| Jump to: | C F I P S T U |
|---|