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.