Safe Haskell	Safe-Inferred
Language	Haskell2010

Build.SelfTracking.Typed

Synopsis

type Fetch k f = forall v. k v -> f v
newtype TaskT c k v = TaskT {
- runT :: forall f. c f => Fetch k f -> f v
}
type TasksT c k = forall v. k v -> Maybe (TaskT c k v)
data Key k v s a where
- Script :: k -> Key k v s s
- Value :: k -> Key k v s v
selfTracking :: forall k v s. (s -> Task Monad k v) -> Tasks Monad k s -> TasksT Monad (Key k v s)

Documentation

type Fetch k f = forall v. k v -> f v Source #

newtype TaskT c k v Source #

Constructors

TaskT
Fields runT :: forall f. c f => Fetch k f -> f v

type TasksT c k = forall v. k v -> Maybe (TaskT c k v) Source #

data Key k v s a where Source #

The type variable s stands for "scripts" written in some task description language.

Constructors

Script :: k -> Key k v s s
Value :: k -> Key k v s v

selfTracking :: forall k v s. (s -> Task Monad k v) -> Tasks Monad k s -> TasksT Monad (Key k v s) Source #