Control.Hmk

Documentation

module Control.Hmk.Analyze

mk :: (Ord a, Applicative m, Monad m) => [Rule m a] -> [a] -> m (Schedule m)

mkConcurrent :: (Ord a, Show a) => Int -> [Rule IO a] -> [a] -> IO ()

type Cmp m a = a -> a -> m Bool

data Rule m a

Constructors

Rule

Fields

target :: a

prereqs :: [a]

recipe :: Maybe ([a] -> Task m)

isStale :: Cmp m a

Instances

Show a => Show (Rule m a)

type Task m = m Result

type DepGraph m a = [Tree m a]

data Tree m a

Constructors

Node a (DepGraph m a) (Rule m a)

Instances

Show a => Show (Tree m a)

type Schedule m = [Task m]

data Result

Constructors

TaskSuccess

TaskFailure

Instances

Eq Result

Show Result