Module Parallel



par : forall {a : Type, b : Type} 
    . (() -> a) -> (() -> b) -> (a, b)
basic parallel combinator (defined in terms of linear channels) par expects two thunks, f and g, and returns their resulting values in a pair
parList : forall {a : Type} 
        . (List (() -> a)) -> List a
parallel combinator for lists of computations parList expects a list of thunks, and returns a list of values (computed in parallel)