Lines Matching refs:withPrograms
261 (withPrograms lbi)
264 (return lbi { withPrograms = progs })
279 (withPrograms lbi)
282 let lbi' = lbi { withPrograms = progs }
304 (withPrograms lbi)
313 lbi' = lbi { withPrograms = progs
340 (withPrograms lbi)
343 (return lbi { withPrograms = progs })
357 (withPrograms lbi)
360 (return lbi { withPrograms = progs })
530 withPrograms = restoreProgramDb function
532 (withPrograms lbi_wo_programs)
696 let programDb = withPrograms lbi