---

accum-matching-indices(pre;st) ==
  let P = p.prefix-match(p;pre) in
   let indices = preList.select-indices(P;preList) in
   let new_pair = loc,preList.<loc, indices preList> in
   let f = rslt,loc,preList.[new_pair loc preList / rslt] in
   fpf-accum(c,loc,preList.f c loc preList;[];st)

---

Definitions :  prefix-match: prefix-match(p1;p2),  select-indices: select-indices(f;L),  pair: <a, b>,  let: let,  lambda: x.A[x],  cons: [car / cdr],  fpf-accum: fpf-accum(z,a,v.f[z; a; v];y;x),  apply: f a,  nil: []
FDL editor aliases :  accum-matching-indices

---

accum-matching-indices(pre;st)  ==
    let  P  =  \mlambda{}p.prefix-match(p;pre)  in
      let  indices  =  \mlambda{}preList.select-indices(P;preList)  in
      let  new$_{pair}$  =  \mlambda{}loc,preList.<loc,  indices  preList>  in
      let  f  =  \mlambda{}rslt,loc,preList.[new$_{pair}$  loc  preList  /  rslt]  in
      fpf-accum(c,loc,preList.f  c  loc  preList;[];st)


Date html generated: 2010_08_28-AM-01_47_19
Last ObjectModification: 2010_03_17-PM-06_40_46

Home Index