Next: Introduction, Previous: (dir), Up: (dir) [Contents][Index]
This is the in-nomine Reference Manual, version 1.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Thu Sep 15 05:05:43 2022 GMT+0.
Next: Systems, Previous: The in-nomine Reference Manual, Up: The in-nomine Reference Manual [Contents][Index]
The beginning of wisdom is to call things by their proper name.
-- Confucius
This is a utility for creating, accessing, and managing custom namespaces in Common Lisp. Originally started as a fork of LISP-NAMESPACE, it became its own piece of software that is somewhat backwards compatible with it.
LISP-NAMESPACENAMESPACE-LET and NSLET,DEFINE-NAMESPACE option to automatically generate NAMESPACE-LET-based binding macros,DEFINE-NAMESPACE to customize behavior of generated namespaces,A namespace is a second-class concept in Common Lisp and refers to concept that allows to associate names of some sort with objects of some sort.
Common Lisp has a lot of namespaces whose keys can come in various shapes:
This system is a utility to bring a first-class implementation of the concept of namespaces along with utilities to customize and manage them.
The heart of the facility is the DEFINE-NAMESPACE macro, which comes in two forms: short (syntax-compatible with LISP-NAMESPACE:DEFINE-NAMESPACE and with mostly compatible effects) and long form (allowing for greater behavior customization).
DEFINE-NAMESPACE, by default, generates functions for accessing the namespace, a condition signaled whenever an access to an unbound name is attempted, a type which denotes the values permissible in a namespace, and documentation types.
By default, names are symbols and compared via EQ. This behavior is consistent with the way Common Lisp names variables and classes.
IN-NOMINE> (define-namespace thing)
#<NAMESPACE THING (0 bindings)>
IN-NOMINE> (setf (symbol-thing 'foo) 42
(symbol-thing 'bar) :keyword
(symbol-thing 'baz) *readtable*)
#<READTABLE {1000022CA3}>
IN-NOMINE> (mapcar #'symbol-thing '(foo bar baz))
(42 :KEYWORD #<READTABLE {1000022CA3}>)
It is possible to customize this behavior, though, and get e.g. a namespace in which names are non-negative numbers.
IN-NOMINE> (define-namespace player
;; Use numbers as hash table keys
:name-type unsigned-byte
;; Numbers are EQL-comparable
:hash-table-test eql
:accessor player-no)
#<NAMESPACE PLAYER (0 bindings)>
IN-NOMINE> (setf (player-no 8) :jerry
(player-no 0) :thomas
(player-no 2) :michael)
:MICHAEL
IN-NOMINE> (player-no 8)
:JERRY
IN-NOMINE> (player-no 1)
;; Error: Name 1 is unbound in namespace PLAYER.
;; [Condition of type UNBOUND-PLAYER]
It is possible to utilize different name types along with all four standard hash table keys and produce namespaces with different possible name values. Examples:
EQ for symbols,EQL for numbers and characters,EQUAL for strings or lists,EQUALP for strings without case sensitivity.In Nomine by default provides documentation types with the same names as namespace names.
IN-NOMINE> (setf (documentation 8 'player) "The best player ever.")
"The best player ever."
IN-NOMINE> (documentation 8 'player)
"The best player ever."
In addition, In Nomine hooks into implementation-defined CL:DESCRIBE in order to provide information about namespace bindings.
IN-NOMINE> (describe 'foo)
IN-NOMINE::FOO
[symbol]
Symbol FOO is bound in namespace THING:
Value: 42
(undocumented)
; No value
IN-NOMINE> (describe 8)
8
[fixnum]
8 is bound in namespace PLAYER:
Value: :JERRY
Documentation:
The best player ever.
; No value
IN-NOMINELoaded via (asdf:load-system :in-nomine).
Utilities for defining additional namespaces in Common Lisp.
Common Lisp is a Lisp-N, which means that it has a different namespaces for variables, functions, types, and so on. Users can also define their own namespaces, and In Nomine is a toolkit for making that process easier.
DEFINE-NAMESPACEDefines a new namespace object in the global namespace namespace along with a series of functions, types, conditions, and type proclamations for accessing this namespace.
Two forms of this macro are provided:
(DEFINE-NAMESPACE NAME &OPTIONAL VALUE-TYPE BINDING DOCUMENTATION)
NAME - a symbol naming the namespace,VALUE-TYPE - a type specifier for values bound in this namespace,BINDING - deprecated, only present for syntax compatibility with LISP-NAMESPACE; must be NIL when provided,DOCUMENTATION - documentation string for the namespace object.FOO, the following are generated:
SYMBOL-FOO and (SETF SYMBOL-FOO),FOO-MAKUNBOUND,FOO-BOUNDP,UNBOUND-FOO,FOO-TYPE denoting the specified VALUE-TYPE,(EQL 'FOO).(DEFINE-NAMESPACE NAME &KEY NAME-TYPE VALUE-TYPE ACCESSOR CONDITION-NAME TYPE-NAME MAKUNBOUND-SYMBOL BOUNDP-SYMBOL DOCUMENTATION-TYPE ERROR-WHEN-NOT-FOUND-P ERRORP-ARG-IN-ACCESSOR-P DEFAULT-ARG-IN-ACCESSOR-P HASH-TABLE-TEST BINDING-TABLE-VAR DOCUMENTATION-TABLE-VAR DOCUMENTATION)
NAME - a symbol naming the namespace,NAME-TYPE - a type specifiers for keys bound in this namespace,VALUE-TYPE - a type specifier for values bound in this namespace,ACCESSOR - a symbol naming the accessor functions, or NIL if no such accessor should be defined,CONDITION-NAME - a symbol naming the condition type signaled when an attempt is made to access an unbound name, or NIL if no such accessor should be defined,TYPE-NAME - a symbol naming the type for the namespace values, or NIL if no such type should be defined,MAKUNBOUND-SYMBOL - symbol naming the namespace makunbound function, or NIL if no such function should be defined,BOUNDP-SYMBOL - a symbol naming the namespace boundp function, or NIL if no such function should be defined,DOCUMENTATION-TYPE - a symbol naming the documentation type for the namespace values, or NIL if no such documentation should be defined,ERROR-WHEN-NOT-FOUND-P - a boolean stating whether a reader function should signal an error if it attempts to access an unbound name,ERRORP-ARG-IN-ACCESSOR-P - a boolean stating whether accessor functions should have an optional ERRORP argument for stating whether an unbound condition should be signaled when an attempt is made to access an unbound name,DEFAULT-ARG-IN-ACCESSOR-P - a boolean stating whether accessor functions should have an optional DEFAULT argument for automatic setting of unbound values,HASH-TABLE-TEST - a symbol naming the hash table test of the binding and documentation hash tables of the namespace,BINDING-TABLE-VAR - a symbol naming the variable whose value shall be the binding table of the namespace, or NIL if no such variable should be defined,DOCUMENTATION-TABLE-VAR - a symbol naming the variable whose value shall be the documentation table of the namespace, or NIL if no such variable should be defined,DOCUMENTATION - documentation string for the namespace object.The consequences are undefined if a namespace is redefined in an incompatible way with the previous one.
SYMBOL-NAMESPACEReturns a namespace object with the given global name. Signals UNBOUND-NAMESPACE unless ERRORP is set.
CLEAR-NAMESPACERemoves all bindings in the namespace with the given name.
NAMESPACE-MAKUNBOUNDMakes the name globally unbound as a namespace regardless of whether the name was previously bound.
NAMESPACE-BOUNDPReturns true if a namespace object with the provided name is globally bound, false otherwise.
UNBOUND-NAMESPACEA subtype of CELL-ERROR signaled when there is an attempt to access a namespace object that does not exist.
NAMESPACEA class of namespace objects which represent a Common Lisp namespace.
NAMESPACE-NAMEReturns the symbol naming a namespace.
NAMESPACE-NAME-TYPEReturns the type of names that are possible to bind in a namespace.
NAMESPACE-VALUE-TYPEReturns the type of values that are possible to bind in a namespace.
NAMESPACE-ACCESSORReturns the symbol naming the namespace accessor, or NIL if no such accessor is defined.
NAMESPACE-CONDITION-NAMEReturns the symbol naming the condition type signaled when an attempt is made to access an unbound name, or NIL if no such condition type is defined
NAMESPACE-TYPE-NAMEReturns the symbol naming the type for the namespace values, or NIL if no such type is defined.
NAMESPACE-MAKUNBOUND-SYMBOLReturns the symbol naming the namespace makunbound function, or NIL if no such function exists.
NAMESPACE-BOUNDP-SYMBOLReturns the symbol naming the namespace boundp function, or NIL if no such function exists.
NAMESPACE-DOCUMENTATION-TYPEReturns the symbol naming the documentation type for the namespace values, or NIL if no such documentation type exists.
NAMESPACE-ERROR-WHEN-NOT-FOUND-PReturns a boolean stating whether a reader function should signal an error if it attempts to access an unbound name.
NAMESPACE-ERRORP-ARG-IN-ACCESSOR-PReturns a boolean stating whether accessor functions should have an optional ERRORP argument for stating whether an unbound condition should be signaled when an attempt is made to access an unbound name.
NAMESPACE-DEFAULT-ARG-IN-ACCESSOR-PReturns a boolean stating whether accessor functions should have an optional DEFAULT argument for automatic setting of unbound values.
NAMESPACE-HASH-TABLE-TESTReturns the symbol naming the hash table test of the binding and documentation hash tables of the namespace.
NAMESPACE-BINDING-TABLEReturns the binding hash table, or NIL if no binding mechanism is defined.
NAMESPACE-DOCUMENTATION-TABLEReturns the documentation hash table, or NIL if no documentation type is defined.
NAMESPACE-BINDING-TABLE-VARReturns the symbol naming the variable whose value is the binding table of the namespace, or NIL if no such variable is defined.
NAMESPACE-DOCUMENTATION-TABLE-VARReturns the symbol naming the variable whose value is the documentation table of the namespace, or NIL if no such variable is defined.
NAMESPACEA namespace for managing namespaces.
Licensed under the LLGPL License.
A man that should call everything by its right name, would hardly pass the streets without being knocked down as a common enemy.
-- Lord Halifax
Next: Modules, Previous: Introduction, Up: The in-nomine Reference Manual [Contents][Index]
The main system appears first, followed by any subsystem dependency.
Utilities for extensible namespaces in Common Lisp.
Masataro Asai <guicho2.71828@gmail.com>
Michał "phoe" Herda <phoe@disroot.org>
LLGPL
1.0
alexandria (system).
Next: Files, Previous: Systems, Up: The in-nomine Reference Manual [Contents][Index]
Modules are listed depth-first from the system components tree.
definers.lisp (file).
in-nomine (system).
Next: Packages, Previous: Modules, Up: The in-nomine Reference Manual [Contents][Index]
Files are sorted by type and then listed depth-first from the systems components trees.
Next: in-nomine/package.lisp, Previous: Lisp, Up: Lisp [Contents][Index]
in-nomine (system).
Next: in-nomine/namespace.lisp, Previous: in-nomine/in-nomine.asd, Up: Lisp [Contents][Index]
in-nomine (system).
Next: in-nomine/definers.lisp, Previous: in-nomine/package.lisp, Up: Lisp [Contents][Index]
package.lisp (file).
in-nomine (system).
Next: in-nomine/define-namespace/common.lisp, Previous: in-nomine/namespace.lisp, Up: Lisp [Contents][Index]
namespace.lisp (file).
in-nomine (system).
Next: in-nomine/define-namespace/short.lisp, Previous: in-nomine/definers.lisp, Up: Lisp [Contents][Index]
define-namespace (module).
Next: in-nomine/define-namespace/long.lisp, Previous: in-nomine/define-namespace/common.lisp, Up: Lisp [Contents][Index]
define-namespace (module).
%define-namespace-short-form (function).
Next: in-nomine/define-namespace/macro.lisp, Previous: in-nomine/define-namespace/short.lisp, Up: Lisp [Contents][Index]
define-namespace (module).
Next: in-nomine/methods.lisp, Previous: in-nomine/define-namespace/long.lisp, Up: Lisp [Contents][Index]
define-namespace (module).
Next: in-nomine/describe-object.lisp, Previous: in-nomine/define-namespace/macro.lisp, Up: Lisp [Contents][Index]
define-namespace (module).
in-nomine (system).
Next: in-nomine/documentation.lisp, Previous: in-nomine/methods.lisp, Up: Lisp [Contents][Index]
methods.lisp (file).
in-nomine (system).
Previous: in-nomine/describe-object.lisp, Up: Lisp [Contents][Index]
describe-object.lisp (file).
in-nomine (system).
Next: Definitions, Previous: Files, Up: The in-nomine Reference Manual [Contents][Index]
Packages are listed by definition order.
Utilities for defining additional namespaces in Common Lisp.
Common Lisp is a Lisp-N, which means that it has a different namespaces for variables, functions, types, and so on. Users can also define their own namespaces, and In Nomine is a toolkit for making that process easier.
Next: Indexes, Previous: Packages, Up: The in-nomine Reference Manual [Contents][Index]
Definitions are sorted by export status, category, package, and then by lexicographic order.
Next: Internals, Previous: Definitions, Up: Definitions [Contents][Index]
Next: Ordinary functions, Previous: Public Interface, Up: Public Interface [Contents][Index]
Defines a new namespace object in the global namespace namespace along with
a series of functions, types, conditions, and type proclamations for accessing
this namespace.
Two forms of this macro are provided:
* short form:
* (DEFINE-NAMESPACE NAME &OPTIONAL VALUE-TYPE BINDING DOCUMENTATION)
* NAME - a symbol naming the namespace,
* VALUE-TYPE - a type specifier for values bound in this namespace,
* BINDING - deprecated, only present for syntax compatibility with
LISP-NAMESPACE; must be NIL when provided,
* DOCUMENTATION - documentation string for the namespace object.
* For name FOO, the following are generated:
* Accessor functions SYMBOL-FOO and (SETF SYMBOL-FOO),
* Makunbound function FOO-MAKUNBOUND,
* Boundp function FOO-BOUNDP,
* Type proclamations for the four functions above,
* Condition type UNBOUND-FOO,
* Type FOO-TYPE denoting the specified VALUE-TYPE,
* Documentation methods with documentation type specialized on (EQL ’FOO).
* long form:
* (DEFINE-NAMESPACE NAME
&KEY NAME-TYPE VALUE-TYPE ACCESSOR CONDITION-NAME TYPE-NAME
MAKUNBOUND-SYMBOL BOUNDP-SYMBOL DOCUMENTATION-TYPE
ERROR-WHEN-NOT-FOUND-P ERRORP-ARG-IN-ACCESSOR-P
DEFAULT-ARG-IN-ACCESSOR-P HASH-TABLE-TEST
BINDING-TABLE-VAR DOCUMENTATION-TABLE-VAR DOCUMENTATION)
* NAME - a symbol naming the namespace,
* NAME-TYPE - a type specifiers for keys bound in this namespace,
* VALUE-TYPE - a type specifier for values bound in this namespace,
* ACCESSOR - a symbol naming the accessor functions, or NIL if no such
accessor should be defined,
* CONDITION-NAME - a symbol naming the condition type signaled when an
attempt is made to access an unbound name, or NIL if no
such accessor should be defined,
* TYPE-NAME - a symbol naming the type for the namespace values, or NIL if
no such type should be defined,
* MAKUNBOUND-SYMBOL - symbol naming the namespace makunbound function, or
NIL if no such function should be defined,
* BOUNDP-SYMBOL - a symbol naming the namespace boundp function, or NIL if
no such function should be defined,
* DOCUMENTATION-TYPE - a symbol naming the documentation type for the
namespace values, or NIL if no such documentation
should be defined,
* ERROR-WHEN-NOT-FOUND-P - a boolean stating whether a reader function
should signal an error if it attempts to access
an unbound name,
* ERRORP-ARG-IN-ACCESSOR-P - a boolean stating whether accessor functions
should have an optional ERRORP argument for
stating whether an unbound condition should be
signaled when an attempt is made to access an
unbound name,
* DEFAULT-ARG-IN-ACCESSOR-P - a boolean stating whether accessor functions
should have an optional DEFAULT argument for
automatic setting of unbound values,
* HASH-TABLE-TEST - a symbol naming the hash table test of the binding and
documentation hash tables of the namespace,
* BINDING-TABLE-VAR - a symbol naming the variable whose value shall be the
binding table of the namespace, or NIL if no such
variable should be defined,
* DOCUMENTATION-TABLE-VAR - a symbol naming the variable whose value shall
be the documentation table of the namespace, or
NIL if no such variable should be defined,
* DOCUMENTATION - documentation string for the namespace object.
The consequences are undefined if a namespace is redefined in an incompatible way with the previous one.
Next: Standalone methods, Previous: Macros, Up: Public Interface [Contents][Index]
Removes all bindings in the namespace with the given name.
Returns the symbol naming the namespace accessor, or NIL if no such accessor is defined.
Returns the binding hash table, or NIL if no binding mechanism is defined.
Returns the symbol naming the variable whose value is the binding table of the namespace, or NIL if no such variable is defined.
Returns true if a namespace object with the provided name is globally bound, false otherwise.
Returns the symbol naming the namespace boundp function, or NIL if no such function exists.
Returns the symbol naming the condition type signaled when an attempt is made to access an unbound name, or NIL if no such condition type is defined
Returns a boolean stating whether accessor functions should have an optional DEFAULT argument for automatic setting of unbound values.
Returns the documentation hash table, or NIL if no documentation type is defined.
Returns the symbol naming the variable whose value is the documentation table of the namespace, or NIL if no such variable is defined.
Returns the symbol naming the documentation type for the namespace values, or NIL if no such documentation type exists.
Returns a boolean stating whether a reader function should signal an error if it attempts to access an unbound name.
Returns a boolean stating whether accessor functions should have an optional ERRORP argument for stating whether an unbound condition should be signaled when an attempt is made to access an unbound name.
Returns the symbol naming the hash table test of the binding and documentation hash tables of the namespace.
Makes the name globally unbound as a namespace regardless of whether the name was previously bound.
Returns the symbol naming the namespace makunbound function, or NIL if no such function exists.
Returns the symbol naming a namespace.
name.
Returns the type of names that are possible to bind in a namespace.
Returns the symbol naming the type for the namespace values, or NIL if no such type is defined.
Returns the type of values that are possible to bind in a namespace.
Returns a namespace object with the given global name. Signals UNBOUND-NAMESPACE unless ERRORP is set.
Next: Conditions, Previous: Ordinary functions, Up: Public Interface [Contents][Index]
Next: Structures, Previous: Standalone methods, Up: Public Interface [Contents][Index]
A subtype of CELL-ERROR signaled when there is an attempt to access a namespace object that does not exist.
cell-error.
Previous: Conditions, Up: Public Interface [Contents][Index]
A class of namespace objects which represent a Common Lisp namespace.
structure-object.
symbol
(in-nomine::e)
This slot is read-only.
(in-nomine::e)
This slot is read-only.
(in-nomine::e)
This slot is read-only.
symbol
(in-nomine::e)
This slot is read-only.
symbol
(in-nomine::e)
This slot is read-only.
symbol
(in-nomine::e)
This slot is read-only.
symbol
(in-nomine::e)
This slot is read-only.
symbol
(in-nomine::e)
This slot is read-only.
symbol
(in-nomine::e)
This slot is read-only.
common-lisp.
symbol
(in-nomine::e)
This slot is read-only.
boolean
(in-nomine::e)
This slot is read-only.
boolean
(in-nomine::e)
This slot is read-only.
boolean
(in-nomine::e)
This slot is read-only.
common-lisp.
(or null string)
(in-nomine::e)
(or null hash-table)
(in-nomine::e)
(or null hash-table)
(in-nomine::e)
symbol
(in-nomine::e)
This slot is read-only.
symbol
(in-nomine::e)
This slot is read-only.
Previous: Public Interface, Up: Definitions [Contents][Index]
Next: Ordinary functions, Previous: Special variables, Up: Internals [Contents][Index]
Previous: Definitions, Up: The in-nomine Reference Manual [Contents][Index]
| Jump to: | %
(
C D E F M N P R S W |
|---|
| Jump to: | %
(
C D E F M N P R S W |
|---|
Next: Data types, Previous: Functions, Up: Indexes [Contents][Index]
| Jump to: | *
A B C D E H M N S T V |
|---|
| Jump to: | *
A B C D E H M N S T V |
|---|
| Jump to: | C D F I L M N P S U |
|---|
| Jump to: | C D F I L M N P S U |
|---|