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.