diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2015-08-13 10:46:50 +0200 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2015-08-16 10:06:27 +0200 |
| commit | 5ec74cc5d73352db5d81482bbc38773bb595d23b (patch) | |
| tree | bb55ef944a4f30f59f8bf3470d3a32d68185a83d /src/Codec | |
| parent | 3f705e39781f7760b12bf6942bd435cbd96aaaf9 (diff) | |
| download | pesto-5ec74cc5d73352db5d81482bbc38773bb595d23b.tar.gz pesto-5ec74cc5d73352db5d81482bbc38773bb595d23b.tar.bz2 pesto-5ec74cc5d73352db5d81482bbc38773bb595d23b.zip | |
Explain what time annotations are supposed to do
Diffstat (limited to 'src/Codec')
| -rw-r--r-- | src/Codec/Pesto/Lint.lhs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Codec/Pesto/Lint.lhs b/src/Codec/Pesto/Lint.lhs index 031d5af..ebeee44 100644 --- a/src/Codec/Pesto/Lint.lhs +++ b/src/Codec/Pesto/Lint.lhs @@ -197,7 +197,10 @@ By definition time is a tool and not an ingredient. > , cmpLint "&10 min [bar] >foo" [] > ] -Only actions can be annotated with a time. +Only actions can be annotated with a time. It can be used to indicate how long +a certain action is *expected* to take (i.e. peeling potatoes takes two +minutes) or how long the action is supposed to be executed (i.e. cook five +minutes). More time annotations improve the software’s scheduling capabilities. > timeAnnotatesAction nodes edges = foldl f [] nodes > where |