Description
Underlying immutable storage contract accepted by container generics.
Const_Ref
subtype Const_Ref is Representation.Const_Ref;
Read-only reference used by the bound observation operation.
Create
function Create (Item : Interfaces.Unsigned_64) return Value
Construct one independent immutable value.
Parameters
- Item
Scalar value to store
Return value
Byte-backed immutable value
Element
package Element is new
Flyology.Data_Structures.Storage_Types.Elements
(Representation => Representation,
Source_Type => Interfaces.Unsigned_64,
Observed_Type => Interfaces.Unsigned_64,
Create_Value => Create,
Observe_Value => Value_Of,
Direct_Constructor => Set'Access);
Complete statically bound element contract for generic containers.
Representation
package Representation is new
Flyology.Data_Structures.Storage_Types.Immutable
(Byte_Size => 8,
Required_Alignment => 8,
Type_Signature => 16#4644_5354_5536_3401#,
Layout_Version => 1);
Underlying immutable storage contract accepted by container generics.
Set
procedure Set (Item : in out Representation.Builder; Value : Interfaces.Unsigned_64)
Write a scalar directly into unpublished storage for Element.
Parameters
- Item
Active unpublished builder
- Value
Scalar value to write before publication @exclude
Value
subtype Value is Representation.Value;
Independent immutable eight-byte value.
Value_Of
function Value_Of (Item : Const_Ref) return Interfaces.Unsigned_64
Read one published value without copying its backing bytes.
Parameters
- Item
Active read-only container reference
Return value
Scalar value loaded from the referenced bytes
Value_Of
function Value_Of (Item : Value) return Interfaces.Unsigned_64
Read an independent immutable value.
Parameters
- Item
Independent byte-backed value
Return value
Scalar value loaded from Item