Header menu logo FSharp.Data.Adaptive

IndexListDelta Module

Functional operators for IndexListDelta.

Functions and values

Function or value Description

add index delta list

Full Usage: add index delta list

Parameters:
Returns: IndexListDelta<'T>
Modifiers: inline
Type parameters: 'T

Inserts an operation.

index : Index
delta : ElementOperation<'T>
list : IndexListDelta<'T>
Returns: IndexListDelta<'T>

choose mapping l

Full Usage: choose mapping l

Parameters:
Returns: IndexListDelta<'T2>
Modifiers: inline
Type parameters: 'T1, 'T2

Applies the given mapping function to all deltas in the list and returns a new list containing the 'Some'-results.

mapping : Index -> ElementOperation<'T1> -> ElementOperation<'T2> option
l : IndexListDelta<'T1>
Returns: IndexListDelta<'T2>

chooseIndexed mapping l

Full Usage: chooseIndexed mapping l

Parameters:
Returns: IndexListDelta<'T2>

Applies the given mapping function to all deltas in the list and returns a new list containing the 'Some'-results. Note that the indices need to be monotonic.

mapping : Index -> ElementOperation<'T1> -> (Index * ElementOperation<'T2>) option
l : IndexListDelta<'T1>
Returns: IndexListDelta<'T2>

collect mapping l

Full Usage: collect mapping l

Parameters:
Returns: IndexListDelta<'T2>
Modifiers: inline
Type parameters: 'T1, 'T2

Applies the mapping function to all elements and combines the resulting lists.

mapping : Index -> ElementOperation<'T1> -> IndexListDelta<'T2>
l : IndexListDelta<'T1>
Returns: IndexListDelta<'T2>

combine l r

Full Usage: combine l r

Parameters:
Returns: IndexListDelta<'T1>
Modifiers: inline
Type parameters: 'T1

Combines to IndexListDeltas to one.

l : IndexListDelta<'T1>
r : IndexListDelta<'T1>
Returns: IndexListDelta<'T1>

empty

Full Usage: empty

Returns: IndexListDelta<'T>

The empty delta.

Returns: IndexListDelta<'T>

filter predicate l

Full Usage: filter predicate l

Parameters:
Returns: IndexListDelta<'T>
Modifiers: inline
Type parameters: 'T

Filters the delta list using the given predicate.

predicate : Index -> ElementOperation<'T> -> bool
l : IndexListDelta<'T>
Returns: IndexListDelta<'T>

isEmpty list

Full Usage: isEmpty list

Parameters:
Returns: bool
Modifiers: inline
Type parameters: 'T

Is the list empty?

list : IndexListDelta<'T>
Returns: bool

map mapping l

Full Usage: map mapping l

Parameters:
Returns: IndexListDelta<'T2>
Modifiers: inline
Type parameters: 'T1, 'T2

Applies the given mapping function to all deltas in the list and returns a new list containing the results.

mapping : Index -> ElementOperation<'T1> -> ElementOperation<'T2>
l : IndexListDelta<'T1>
Returns: IndexListDelta<'T2>

mapIndexed mapping l

Full Usage: mapIndexed mapping l

Parameters:
Returns: IndexListDelta<'T2>

Applies the given mapping function to all deltas in the list and returns a new list containing the 'Some'-results. Note that the indices need to be monotonic.

mapping : Index -> ElementOperation<'T1> -> Index * ElementOperation<'T2>
l : IndexListDelta<'T1>
Returns: IndexListDelta<'T2>

ofArray operations

Full Usage: ofArray operations

Parameters:
Returns: IndexListDelta<'T>

Creates an IndexListDelta containing all the given operations.

operations : (Index * ElementOperation<'T>) array
Returns: IndexListDelta<'T>

ofIndexList list

Full Usage: ofIndexList list

Parameters:
Returns: IndexListDelta<'T>

Internal creating an IndexListDelta from the given list IndexList.

list : IndexList<ElementOperation<'T>>
Returns: IndexListDelta<'T>

ofList operations

Full Usage: ofList operations

Parameters:
Returns: IndexListDelta<'T>

Creates an IndexListDelta containing all the given operations.

operations : (Index * ElementOperation<'T>) list
Returns: IndexListDelta<'T>

ofSeq operations

Full Usage: ofSeq operations

Parameters:
Returns: IndexListDelta<'T>

Creates an IndexListDelta containing all the given operations.

operations : (Index * ElementOperation<'T>) seq
Returns: IndexListDelta<'T>

remove index list

Full Usage: remove index list

Parameters:
Returns: IndexListDelta<'T>
Modifiers: inline
Type parameters: 'T

Removes the operation associated to index. (if any)

index : Index
list : IndexListDelta<'T>
Returns: IndexListDelta<'T>

single i op

Full Usage: single i op

Parameters:
Returns: IndexListDelta<'T>

Creates a delta containing a single operation.

i : Index
op : ElementOperation<'T>
Returns: IndexListDelta<'T>

toArray list

Full Usage: toArray list

Parameters:
Returns: (Index * ElementOperation<'T>)[]
Modifiers: inline
Type parameters: 'T

Returns all the operations contained in the list.

list : IndexListDelta<'T>
Returns: (Index * ElementOperation<'T>)[]

toList list

Full Usage: toList list

Parameters:
Returns: (Index * ElementOperation<'T>) list
Modifiers: inline
Type parameters: 'T

Returns all the operations contained in the list.

list : IndexListDelta<'T>
Returns: (Index * ElementOperation<'T>) list

toSeq list

Full Usage: toSeq list

Parameters:
Returns: (Index * ElementOperation<'T>) seq
Modifiers: inline
Type parameters: 'T

Returns all the operations contained in the list.

list : IndexListDelta<'T>
Returns: (Index * ElementOperation<'T>) seq

Type something to start searching.