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 que é definido para os elementos da matriz, retorna uma matriz que consiste nos elementos que satisfazem o predicado.

Parâmetros de tipo

«O

O tipo de elementos array.

Entrada

predicado

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

matriz

Uma matriz de elementos ao longo de 'T.

Realização

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