Função filtrada

Nome totalmente qualificado: Std.Arrays.Filtered

function Filtered<'T>(predicate : ('T -> Bool), array : 'T[]) : 'T[]

Resumo

Dada uma matriz e um predicado definido para os elementos da matriz, retorna uma matriz que consiste nesses elementos que atendem ao predicado.

Parâmetros de tipo

'T

O tipo de elementos array.

Entrada

predicado

Uma função de 'T para Boolean que é usada para filtrar elementos.

array

Uma matriz de elementos em 'T.

Saída

Uma matriz 'T[] de elementos que satisfazem o predicado.

Exemplo

O código a seguir cria uma matriz que contém apenas números pares.

Filtered(x -> x % 2 == 0, [0, 1, 2, 3, 4])