NativePtrExtensions Module
Fluent extension operations on native pointers.
Type extensions
Type extension | Description |
Full Usage:
this[index]
Parameters:
int
Returns: 'T
Modifiers: inline |
Extended Type:
|
Full Usage:
this[index]
Parameters:
int
Returns: 'T
Modifiers: inline |
Extended Type:
|
Full Usage:
this[index, value]
Parameters:
int
value : 'T
Modifiers: inline |
Extended Type:
|
Full Usage:
this[index]
Returns: int
Modifiers: inline |
Extended Type:
|
Full Usage:
this.add index
Parameters:
int
Returns: nativeptr<'T>
Modifiers: inline |
Extended Type:
|
Full Usage:
this.read ()
Parameters:
unit
Returns: 'T
Modifiers: inline |
Extended Type:
|
Full Usage:
this.toByRef ()
Parameters:
unit
Returns: byref<'T, ^a>
Modifiers: inline Type parameters: ^a |
Extended Type:
|
Full Usage:
this.toNativeInt ()
Parameters:
unit
Returns: nativeint
Modifiers: inline |
Extended Type:
|
Full Usage:
this.write value
Parameters:
'T
Modifiers: inline |
Extended Type:
|