Nuprl Definition : fast-mapfilter
fast-mapfilter(p;f;L) == reduce(λx,a. if p[x] then [f[x] / a] else a fi ;[];L)
Definitions occuring in Statement :
reduce: reduce(f;k;as),
cons: [a / b],
nil: [],
ifthenelse: if b then t else f fi ,
so_apply: x[s],
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
cons: [a / b],
so_apply: x[s],
nil: []
FDL editor aliases :
fast-mapfilter
Latex:
fast-mapfilter(p;f;L) == reduce(\mlambda{}x,a. if p[x] then [f[x] / a] else a fi ;[];L)
Date html generated:
2016_05_15-PM-03_56_44
Last ObjectModification:
2015_09_23-AM-07_45_39
Theory : general
Home
Index