ds::linked_list::cell::HasCellOperations Concept Reference

The primitive, required, abstract interface to our cons cells. More...

#include <linked_list.h>

Concept definition

template<typename T>
concept HasCellOperations = requires(T &t) {

Proxies for list linkages

            { t.cell_next() } -> ds::pointer::proxy::Proxies<T>;
            { t.cell_prev() } -> ds::pointer::proxy::Proxies<T>;
        }

Detailed Description

The primitive, required, abstract interface to our cons cells.

All methods are "namespaced" with cell_ to support the case where the encoded forms are also representing other state (for example, bit-packed flags in pointer address bits).

Definition at line 30 of file linked_list.h.