Class: Nothing

Nothing()

A special designator that designates "nothing".

Constructor

new Nothing()

Hierarchy

Designator
- Nothing

Source:

modules/designator.mjs, line 73

Extends

Designator

Methods

head()

Extracts the designator at the head of a composition. For designators that are atomic, returns the designator itself.

Overrides:

Designator#head

Source:

modules/designator.mjs, line 49

tail()

Extracts the designator made of the tail of a composition. For designators that are atomic, returns null.

Overrides:

Designator#tail

Source:

modules/designator.mjs, line 57