Build.Task

The Task abstractions.

Documentation

type Task c k v = forall f. c f => (k -> f v) -> f v

A task is used to compute the value of a key, by finding the necessary dependencies using the provided fetch :: k -> f v callback.

type Tasks c k v = forall f. c f => k -> Maybe ((k -> f v) -> f v)

Tasks associates a Task with every non-input key. Nothing indicates that the key is an input.