Parrows.Skeletons.Topology

Documentation

(|>>>|) :: (ArrowLoop arr, ArrowChoice arr, ArrowLoopParallel arr (fut (([a], [b]), [c])) (fut (([a], [b]), [c])) (), Future fut (([a], [b]), [c]) ()) => arr a b -> arr b c -> arr a c

pipe2 :: (ArrowLoop arr, ArrowChoice arr, ArrowLoopParallel arr (fut (([a], [b]), [c])) (fut (([a], [b]), [c])) conf, Future fut (([a], [b]), [c]) conf) => conf -> arr a b -> arr b c -> arr a c

pipe :: (ArrowLoop arr, ArrowLoopParallel arr (fut a) (fut a) conf, Future fut a conf) => conf -> [arr a a] -> arr a a

pipeSimple :: (ArrowLoop arr, ArrowLoopParallel arr a a conf) => conf -> [arr a a] -> arr a a

ring :: (Future fut r conf, ArrowLoop arr, ArrowLoopParallel arr (i, fut r) (o, fut r) conf, ArrowLoopParallel arr o o conf) => conf -> arr (i, r) (o, r) -> arr [i] [o]

torus :: (Future fut a conf, Future fut b conf, ArrowLoop arr, ArrowChoice arr, ArrowLoopParallel arr (c, fut a, fut b) (d, fut a, fut b) conf, ArrowLoopParallel arr [d] [d] conf) => conf -> arr (c, a, b) (d, a, b) -> arr [[c]] [[d]]

uncurry3 :: (a -> b -> c -> d) -> (a, (b, c)) -> d

lazyzip3 :: [a] -> [b] -> [c] -> [(a, b, c)]

ptorus :: (Arrow arr, Future fut a conf, Future fut b conf) => conf -> arr (c, a, b) (d, a, b) -> arr (c, fut a, fut b) (d, fut a, fut b)

threetotwo :: Arrow arr => arr (a, b, c) (a, (b, c))

twotothree :: Arrow arr => arr (a, (b, c)) (a, b, c)