Lines Matching +defs:go +defs:up
172 let go (HaveOutput p o) = HaveOutput (go p) o function
173 go (NeedInput p c) = NeedInput (\i -> go (p i)) (\u -> go (c u)) function
174 go (Done x) = rest x function
175 go (PipeM mp) = PipeM (liftM go $ local f mp) function
176 go (Leftover p i) = Leftover (go p) i function
190 let go front (HaveOutput p o) = HaveOutput (go front p) o function
191 go front (NeedInput p c) = NeedInput (\i -> go front (p i)) (\u -> go front (c u)) function
192 go front (Done x) = rest (x, front) function
193 go front (PipeM mp) = PipeM $ do function
196 go front (Leftover p i) = Leftover (go front p) i function
200 let go front (HaveOutput p o) = HaveOutput (go front p) o function
201 go front (NeedInput p c) = NeedInput (\i -> go front (p i)) (\u -> go front (c u)) function
202 go front (PipeM mp) = PipeM $ do function
205 go front (Done (x,f)) = PipeM $ do function
208 go front (Leftover p i) = Leftover (go front p) i function
223 let go (HaveOutput p o) = HaveOutput (go p) o function
224 go (NeedInput p c) = NeedInput (\i -> go (p i)) (\u -> go (c u)) function
225 go (Done x) = rest x function
229 go (Leftover p i) = Leftover (go p) i function
334 go (HaveOutput p o) = HaveOutput (go p) o function
335 go (NeedInput _ c) = go $ c () function
336 go (Done ()) = Done () function
337 go (PipeM mp) = PipeM (liftM go mp) function
338 go (Leftover p ()) = go p function
344 go (HaveOutput _ o) = absurd o function
345 go (NeedInput p c) = NeedInput (go . p) (const $ go $ c ()) function
346 go (Done r) = Done r function
347 go (PipeM mp) = PipeM (liftM go mp) function
348 go (Leftover _ l) = absurd l function
354 go (HaveOutput p o) = HaveOutput (go p) o function
355 go (NeedInput p c) = NeedInput (go . p) (const $ go $ c ()) function
356 go (Done ()) = Done () function
357 go (PipeM mp) = PipeM (liftM go mp) function
358 go (Leftover _ l) = absurd l function
365 go (HaveOutput p o) = HaveOutput (go p) o function
366 go (NeedInput _ c) = go (c ()) function
367 go (Done r) = rest r function
368 go (PipeM mp) = PipeM (liftM go mp) function
369 go (Leftover p ()) = go p function
377 go (HaveOutput _ o) = absurd o function
378 go (NeedInput p c) = NeedInput (go . p) (go . c) function
379 go (Done r) = rest r function
380 go (PipeM mp) = PipeM (liftM go mp) function
381 go (Leftover p l) = Leftover (go p) l function
403 go (Done r) = rest r function
404 go (PipeM mp) = PipeM $ withRunInIO $ \run -> E.catch (run (liftM go mp)) function
406 go (Leftover p i) = Leftover (go p) i function
407 go (NeedInput x y) = NeedInput (go . x) (go . y) function
408 go (HaveOutput p o) = HaveOutput (go p) o function
459 go (Leftover left ()) right = go left right function
460 go left (Leftover right ()) = go left right function
461 go (Done ()) (Done ()) = rest () function
462 go (Done ()) (HaveOutput _ _) = rest () function
463 go (HaveOutput _ _) (Done ()) = rest () function
464 go (Done ()) (PipeM _) = rest () function
465 go (PipeM _) (Done ()) = rest () function
466 go (PipeM mx) (PipeM my) = PipeM (liftM2 go mx my) function
467 go (PipeM mx) y@HaveOutput{} = PipeM (liftM (\x -> go x y) mx) function
468 go x@HaveOutput{} (PipeM my) = PipeM (liftM (go x) my) function
469 go (HaveOutput srcx x) (HaveOutput srcy y) = HaveOutput (go srcx srcy) (x, y) function
470 go (NeedInput _ c) right = go (c ()) right function
471 go left (NeedInput _ c) = go left (c ()) function
480 go (Leftover left ()) right = go left right function
481 go left (Leftover right ()) = go left right function
482 go (Done ()) (Done ()) = rest () function
483 go (Done ()) (HaveOutput _ _) = rest () function
484 go (HaveOutput _ _) (Done ()) = rest () function
485 go (Done ()) (PipeM _) = rest () function
486 go (PipeM _) (Done ()) = rest () function
487 go (PipeM mx) (PipeM my) = PipeM (liftM2 go mx my) function
488 go (PipeM mx) y@HaveOutput{} = PipeM (liftM (\x -> go x y) mx) function
489 go x@HaveOutput{} (PipeM my) = PipeM (liftM (go x) my) function
490 go (HaveOutput srcx x) (HaveOutput srcy y) = HaveOutput (go srcx srcy) (x y) function
491 go (NeedInput _ c) right = go (c ()) right function
492 go left (NeedInput _ c) = go left (c ()) function
504 go (Done f) (Done x) = rest (f x) function
505 go (PipeM mx) y = PipeM (flip go y `liftM` mx) function
506 go x (PipeM my) = PipeM (go x `liftM` my) function
507 go (HaveOutput x o) y = HaveOutput (go x y) o function
508 go x (HaveOutput y o) = HaveOutput (go x y) o function
509 go (Leftover _ i) _ = absurd i function
510 go _ (Leftover _ i) = absurd i function
511 go (NeedInput px cx) (NeedInput py cy) = NeedInput function
514 go (NeedInput px cx) (Done y) = NeedInput function
517 go (Done x) (NeedInput py cy) = NeedInput function
610 go a = do function
666 go mbuf _ (Done r) = do function
670 go mbuf is (Leftover sink i) = go mbuf (i:is) sink function
671 go _ _ (HaveOutput _ o) = absurd o function
672 go mbuf is (PipeM mx) = do function
675 go mbuf (i:is) (NeedInput next _) = go mbuf is (next i) function
676 go mbuf [] (NeedInput next done) = do function
699 go (Done _) = return [] function
700 go (HaveOutput src x) = liftM (x:) (go src) function
701 go (PipeM msrc) = msrc >>= go function
702 go (NeedInput _ c) = go (c ()) function
703 go (Leftover p _) = go p function
736 go (HaveOutput p o) = pure $ Just (o, SealedConduitT p) function
737 go (NeedInput _ c) = go $ c () function
738 go (Done ()) = pure Nothing function
739 go (PipeM mp) = mp >>= go function
740 go (Leftover p ()) = go p function
753 go (HaveOutput p o) = pure $ Right (o, SealedConduitT p) function
754 go (NeedInput _ c) = go $ c () function
755 go (Done r) = pure $ Left r function
756 go (PipeM mp) = mp >>= go function
757 go (Leftover p ()) = go p function
951 let go = NeedInput (\i -> unConduitT (f i) (const go)) rest function
965 go (HaveOutput p o) = HaveOutput (go p) o function
966 go (NeedInput p c) = NeedInput (go . p) (go . c) function
967 go (Done r) = rest r function
982 go (Leftover p i) = Leftover (go p) i function
994 go (HaveOutput p o) = HaveOutput (go p) (f o) function
995 go (NeedInput p c) = NeedInput (go . p) (go . c) function
996 go (Done r) = rest r function
997 go (PipeM mp) = PipeM (liftM (go) mp) function
998 go (Leftover p i) = Leftover (go p) i function
1006 go (HaveOutput p o) = maybe id (\o' p' -> HaveOutput p' o') (f o) (go p) function
1007 go (NeedInput p c) = NeedInput (go . p) (go . c) function
1008 go (Done r) = rest r function
1009 go (PipeM mp) = PipeM (liftM (go) mp) function
1010 go (Leftover p i) = Leftover (go p) i function
1022 go (HaveOutput p o) = HaveOutput (go p) o function
1023 go (NeedInput p c) = NeedInput (go . p . f) (go . c) function
1024 go (Done r) = rest r function
1025 go (PipeM mp) = PipeM $ liftM go mp function
1026 go (Leftover p i) = maybe id (flip Leftover) (f' i) (go p) function
1038 go (HaveOutput p o) = HaveOutput (go p) o function
1039 go (NeedInput p c) = NeedInput (\i -> PipeM $ go . p <$> f i) (go . c) function
1040 go (Done r) = rest r function
1041 go (PipeM mp) = PipeM $ fmap go mp function
1042 go (Leftover p i) = PipeM $ (\x -> maybe id (flip Leftover) x (go p)) <$> f' i function
1271 go mup (Done r) = Done (mup, r) function
1272 go mup (PipeM mp) = PipeM $ liftM (go mup) mp function
1273 go mup (HaveOutput p o) = HaveOutput (go mup p) o function
1274 go _ (NeedInput p c) = NeedInput function
1277 go mup (Leftover p i) = Leftover (go mup p) i function
1285 fuseUpstream up down = fmap fst (fuseBoth up down) function