Particionált függvény

Teljes név: Std.Arrays.Partitioned

function Partitioned<'T>(partitionSizes : Int[], array : 'T[]) : 'T[][]

Összefoglalás

Több részre osztja a tömböt.

Bemenet

partitionSizes

A tömb egyes felosztott részeinek elemeinek száma.

tömb

Felosztandó bemeneti tömb.

Hozam

Több tömb, ahol az első tömb a partitionSizes[0] első array, a második pedig a partitionSizes[1] következő array. Az utolsó tömb az összes többi elemet tartalmazza. Ha a tömb pontosan fel van osztva, az utolsó tömb lesz az üres tömb, ami azt jelzi, hogy nincsenek további elemek. Más szóval, Tail(Partitioned(...)) mindig a fennmaradó elemeket adja vissza, míg Most(Partitioned(...)) mindig a tömb teljes partícióit adja vissza.

Példa

// The following returns [[2, 3], [5], [7]];
let split = Partitioned([2, 1], [2, 3, 5, 7]);
// The following returns [[2, 3], [5, 7], []];
let split = Partitioned([2, 2], [2, 3, 5, 7]);