Contains operations on native pointers. Use of these operators may result in the generation of unverifiable code.
Function or value | Description |
|
|
Full Usage:
NativePtr.clear address
Parameters:
nativeptr<'T>
-
The input pointer.
Modifiers: inline Type parameters: 'T |
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
NativePtr.nullPtr
Returns: nativeptr<'T>
The null native pointer.
Modifiers: inline Type parameters: 'T |
|
|
|
|
|
|
|
Full Usage:
NativePtr.read address
Parameters:
nativeptr<'T>
-
The input pointer.
Returns: 'T
The value at the pointer address.
Modifiers: inline Type parameters: 'T |
|
|
|
|
|
|
|
|
|
|
|
|
|
Full Usage:
NativePtr.write address value
Parameters:
nativeptr<'T>
-
The input pointer.
value : 'T
-
The value to assign.
Modifiers: inline Type parameters: 'T |
|