Fonction partitionnée

Nom complet : Std.Arrays.Partitioned

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

Résumé

Fractionne un tableau en plusieurs parties.

Entrée

partitionSizes

Nombre d’éléments dans chaque partie fractionnée du tableau.

tableau

Tableau d’entrée à fractionner.

Sortie

Plusieurs tableaux où le premier tableau est le premier partitionSizes[0] de array et le deuxième tableau sont les partitionSizes[1] suivantes de array etc. Le dernier tableau contient tous les éléments restants. Si le tableau est fractionné exactement, le dernier tableau sera le tableau vide, indiquant qu’il n’y a pas d’éléments restants. En d’autres termes, Tail(Partitioned(...)) retourne toujours les éléments restants, tandis que Most(Partitioned(...)) retourne toujours les partitions complètes du tableau.

Exemple

// 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]);