• Top
  • Identifiers

Identifier

Fixtype of Leo identifiers.

This is a product type introduced by fty::defprod.

Fields
name — stringp
Additional Requirements

The following invariant is enforced on the fields:

(identifier-string-p name)

We wrap the string into a one-component product type for better encapsulation and abstraction.

It also facilitates the addition of information (e.g. metadata), if needed at some point.

Subtopics

Identifierp
Recognizer for identifier structures.
Identifier-fix
Fixing function for identifier structures.
Identifier-equiv
Basic equivalence relation for identifier structures.
Make-identifier
Basic constructor macro for identifier structures.
Identifier->name
Get the name field from a identifier.
Change-identifier
Modifying constructor for identifier structures.