• Top

• Addresses

Address

Fixtype of Leo addresses.

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

Fields

name — stringp

Additional Requirements

The following invariant is enforced on the fields:

(address-string-p name)

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

Subtopics

Address-fix

Fixing function for address structures.

Address-equiv

Basic equivalence relation for address structures.

Make-address

Basic constructor macro for address structures.

Change-address

Modifying constructor for address structures.

Address->name

Get the name field from a address.

Addressp

Recognizer for address structures.