Nuprl Definition : eager-map
eager-map(f;as) == rec-case(as) of [] => [] | h::t => r.eval h' = f h in eval r' = r in [h' / r']
Definitions occuring in Statement :
list_ind: list_ind,
cons: [a / b],
nil: [],
callbyvalue: callbyvalue,
apply: f a
Definitions occuring in definition :
list_ind: list_ind,
nil: [],
apply: f a,
callbyvalue: callbyvalue,
cons: [a / b]
FDL editor aliases :
eager-map
Latex:
eager-map(f;as) == rec-case(as) of [] => [] | h::t => r.eval h' = f h in eval r' = r in [h' / r']
Date html generated:
2016_05_14-AM-06_28_29
Last ObjectModification:
2015_12_03-PM-02_05_18
Theory : list_0
Home
Index