Namespace Subspace :: sus :: marker

Marker types, such as for accessing unsafe APIs, for overload resolution, or type elision.

Classes

  • A marker that designates emptinesss, for constructing an empty collection.

  • A marker that designates a function as unsafe, or containing Undefined Behaviour if its preconditions are not met.

Variables

The global EmptyMarker which can be passed to constructors to allow type deduction instead of having to write out the full default constructor.

The global UnsafeFnMarker which can be passed to unsafe functions. See the UnsafeFnMarker type for an explanation.