This is the trivialib.type-unify Reference Manual, version 0.1, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Jul 13 22:15:43 2025 GMT+0.
The main system appears first, followed by any subsystem dependency.
trivialib.type-unifyunifies a polimorphic type specifier with type variables against actual type specifiers
Masataro Asai
LLGPL
0.1
alexandria (system).
trivia (system).
introspect-environment (system).
type-r (system).
src (module).
Modules are listed depth-first from the system components tree.
trivialib.type-unify/srctrivialib.type-unify (system).
package.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
trivialib.type-unify/trivialib.type-unify.asdtrivialib.type-unify (system).
trivialib.type-unify/src/package.lispsrc (module).
type-unify (function).
type-unify1 (function).
%unify-numeroid (function).
merge-dimensions (function).
merge-mappings-as-and (function).
merge-mappings-as-or (function).
remove-larger (function).
remove-smaller (function).
strict-subtypep-or-indifferent (function).
unify-arrayoid (function).
unify-dimensions (function).
unify-numeroid (function).
Packages are listed by definition order.
trivialib.type-unifyalexandria.
common-lisp.
trivia.fail.
trivia.level2.
type-r.
type-unify (function).
type-unify1 (function).
%unify-numeroid (function).
merge-dimensions (function).
merge-mappings-as-and (function).
merge-mappings-as-or (function).
remove-larger (function).
remove-smaller (function).
strict-subtypep-or-indifferent (function).
unify-arrayoid (function).
unify-dimensions (function).
unify-numeroid (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
Unify the type templates against types.
TYPES is a list of type specifiers.
TYPEVARS is a list of symbols.
TEMPLATES is a list of type specifiers, but may also contain
the elements of TYPEVARS somewhere in the tree.
TYPE-UNIFY assumes that the unification is the conjunction of each pair of a template and a type.
If some pair fails to unify, then the whole pairs fail to unify.
Also, if some unification (assignment to type variable) in a given pair
contradicts the other assignment, then the whole pairs fail to unify.
Returns (values result unify-p), where the result is an alist containing the assignment of unification and unify-p is a boolean indicating if the given template unifies against the given types.
Unify the type template against a type.
TYPE is a type specifiers.
TYPEVARS is a list of symbols.
TEMPLATE is a type specifiers, but may contain the elements of TYPEVARS somewhere in the tree.
Returns (values result unify-p), where the result is an alist containing the assignment of unification and unify-p is a boolean indicating if the given template unifies against the given types.
| Jump to: | %
F M R S T U |
|---|
| Jump to: | %
F M R S T U |
|---|
| Jump to: | F M P S T |
|---|
| Jump to: | F M P S T |
|---|