VirtualArray<'A> Type
Represents a virtual array that provides memory bounds checking.
Constructors
| Constructor | Description |
Full Usage:
VirtualArray(memory, head, length)
Parameters:
'A array
head : int
length : int
Returns: VirtualArray<'A>
|
|
Instance members
| Instance member | Description | ||
Full Usage:
this.Head
Returns: int
|
Gets the starting index within the memory array.
|
||
Full Usage:
this.IsEmpty
Returns: bool
|
Gets a value indicating whether the virtual array is empty.
|
||
Full Usage:
this[i]
Returns: int
The value at the specified index.
|
Gets or sets the value at the specified index in the virtual array.
|
||
Full Usage:
this.Length
Returns: int
|
Gets the length of the virtual array.
|
||
Full Usage:
this.Memory
Returns: 'A array
|
Gets the underlying memory array.
|
Static members
| Static member | Description | ||
Full Usage:
VirtualArray.fold2 folder state vArray1 vArray2
Parameters:
'State -> 'A -> 'B -> 'State
-
The folder function.
state : 'State
-
The initial state.
vArray1 : VirtualArray<'A>
-
The first virtual array.
vArray2 : VirtualArray<'B>
-
The second virtual array.
Returns: 'State
The folded result.
|
Folds two virtual arrays using a folder function.
|
||
Full Usage:
VirtualArray.iteri2 action vArray output
Parameters:
int -> 'A -> 'A
-
The action to apply to each element.
vArray : VirtualArray<'A>
-
The input array
output : 'A array
-
The output array to store results.
|
Iterates over the virtual array and applies an action to each element.
|
||
Full Usage:
VirtualArray.mirror arr
Parameters:
'A array
-
The array to mirror.
Returns: VirtualArray<'A>
A virtual array mirroring 'arr'.
|
Creates a new virtual array that mirrors an existing array.
|
||
Full Usage:
VirtualArray.splitInto count vArray
Parameters:
int
-
The number of sub-arrays to create.
vArray : VirtualArray<'A>
-
The initial array to be split.
Returns: VirtualArray<'A>[]
An array of virtual sub-arrays.
|
Splits the virtual array into a specified number of sub-arrays.
|