Searched refs:foldDeps (Results 1 – 1 of 1) sorted by relevance
123 M.insert (ident p) (foldDeps ps (p :>: NilFL) NilFL (S.empty, S.empty)) m136 foldDeps :: RL p wA wB -> FL p wB wC -> FL p wC wD -> Deps p -> Deps p137 foldDeps NilRL _ _ acc = progress progressKey acc function138 foldDeps (qs :<: q) p_and_deps non_deps acc@(direct, indirect)141 | j `S.member` indirect = foldDeps qs (q :>: p_and_deps) non_deps acc144 foldDeps qs p_and_deps' (q' :>: non_deps) acc150 foldDeps qs (q :>: p_and_deps) non_deps (S.insert j direct, addDeps j indirect)