next | previous | forward | backward | up | top | index | toc | home

Nothing -- the empty class

Description

This class is useful for representing the class of an argument which is missing. It is also used as the parent for those things which are not themselves types, i.e., which do not have instances.

Functions and methods returning an object of class Nothing :

Methods that use an object of class Nothing :

Fixed objects of class Nothing :

For the programmer

The object Nothing is a type, with ancestor class Thing.