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.