| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Build.Multi
Description
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.