DynamicLengthArray<'Value> Type

Represents an array with dynamic length.

Record fields

Record Field Description

Data

Full Usage: Data

Field type: 'Value array
Field type: 'Value array

Length

Full Usage: Length

Field type: int
Modifiers: mutable
Field type: int

Constructors

Constructor Description

DynamicLengthArray(data)

Full Usage: DynamicLengthArray(data)

Parameters:
    data : 'Value array

Returns: DynamicLengthArray<'Value>
data : 'Value array
Returns: DynamicLengthArray<'Value>

Instance members

Instance member Description

this.Delete

Full Usage: this.Delete

Parameters:
    index : int

Deletes the item at the specified index and reducing the array length.

index : int

this.IsEmpty

Full Usage: this.IsEmpty

Returns: bool

Checks if the array is empty.

Returns: bool

this[i]

Full Usage: this[i]

Parameters:
    i : int

Returns: 'Value

Gets the item at the specified index.

i : int
Returns: 'Value

this.Restore

Full Usage: this.Restore

Restores the array length to its original length.