Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

Support for multiple-output tasks.

## Synopsis

- type Partition k = k -> [k]
- multi :: Eq k => Partition k -> Tasks Applicative [k] [v] -> Tasks Applicative [k] [v]

# Documentation

type Partition k = k -> [k] Source #

Defines a set partition. For a function to be a valid partition,
if `f k == ks`

, then:

k in ks

forall i in ks . f i == ks

multi :: Eq k => Partition k -> Tasks Applicative [k] [v] -> Tasks Applicative [k] [v] Source #

Given a task description with individual multiple-output keys, compute its "closure" supporting all possible combinations of keys.