PositionalChange

type PositionalChange<'K> =
    | RemoveAt of Index: int
    | InsertAt of Index: int * Key: 'K
    | Move of OldIndex: int * NewIndex: int


Assembly	`Ranvier`
Attributes	`[<RequireQualifiedAccess>]`

An edit to a positional list of keys, valid when applied in sequence.

Cases

RemoveAt of Index: int

Removes the key at index.

InsertAt of Index: int * Key: 'K

Inserts key so that it lands at index.

Move of OldIndex: int * NewIndex: int

Removes the key at oldIndex, then inserts it at newIndex of the shortened list.

member IsInsertAt: bool

member IsMove: bool

member IsRemoveAt: bool