Meta-data
- Description: Combinators for parallel programming in Granule
- Authors: Michael Vollmer, Dominic Orchard
- License: BSD3
- Copyright: (c) Authors 2022
- Issue-tracking: https://github.com/dorchard/granule/issues
- Repository: https://github.com/dorchard/granule
Contents
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)