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

Language | Haskell2010 |

A model of polymorphic tasks, where the value type depends on the key. See the source for an example.

# Documentation

type Task c k = forall f. c f => (forall k. Key k => k -> f (Value k)) -> k -> Maybe (f (Value k)) Source #

A typed build task.

A type class for keys, equipped with an associated type family that can be used to determine the type of value corresponding to the key.

showDependencies :: Task Applicative k -> k -> [String] Source #

Extract the names of dependencies.