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.