Build.Task.Typed

A Typed version of dependencies 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))

A typed build task.

class Key k where

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.

Minimal complete definition

showKey

Associated Types

type Value k :: *

Methods

showKey :: k -> String

The name of the key. Useful for avoiding heterogeneous lists of keys.

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

Extract the names of dependencies.