Module r3::hunk

source ·
Expand description

Type-safe hunks

Structs

As a generic parameter of HunkDefiner, indicates that the hunk should be initialized with Init.
Represents a single typed hunk in a system.
The definer (static builder) for Hunk.
As a generic parameter of HunkDefiner, indicates that the hunk should be zero-initialized.

Constants

The priority of the startup hooks used to initialize typed hunks. It has a negative value so that startup hooks with non-negative priorities (which can be created without unsafe blocks) will never see an uninitialized value in a typed hunk.

Traits

Implemented on DefaultInitTag and ZeroInitTag when T can be initialized in this way.