Nuprl Definition : list

Nuprl Definition : list_split

list_split(f;L) ==
  accumulate (with value p and list item v):
   let LL,L2 = p
   in if null(L2) then <LL, [v]>
      if f L2 then <LL @ [L2], [v]>
      else <LL, L2 @ [v]>
      fi
  over list:
    L
  with starting value:
   <[], []>)

Definitions occuring in Statement : null: null(as), append: as @ bs, list_accum: list_accum, cons: [a / b], nil: [], ifthenelse: if b then t else f fi , apply: f a, spread: spread def, pair: <a, b>
Definitions occuring in definition : list_accum: list_accum, spread: spread def, null: null(as), ifthenelse: if b then t else f fi , apply: f a, append: as @ bs, cons: [a / b], pair: <a, b>, nil: []
FDL editor aliases : list_split

Latex:
list\_split(f;L) == accumulate (with value p and list item v): let LL,L2 = p in if null(L2) then <LL, [v]> if f L2 then <LL @ [L2], [v]> else <LL, L2 @ [v]> fi over list: L with starting value: <[], []>) Date html generated: 2016_05_15-PM-05_51_36 Last ObjectModification: 2015_09_23-AM-07_59_45 Theory : general Home Index