summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorLars-Dominik Braun <lars@6xq.net>2015-08-13 10:46:50 +0200
committerLars-Dominik Braun <lars@6xq.net>2015-08-16 10:06:27 +0200
commit5ec74cc5d73352db5d81482bbc38773bb595d23b (patch)
treebb55ef944a4f30f59f8bf3470d3a32d68185a83d /src
parent3f705e39781f7760b12bf6942bd435cbd96aaaf9 (diff)
downloadpesto-5ec74cc5d73352db5d81482bbc38773bb595d23b.tar.gz
pesto-5ec74cc5d73352db5d81482bbc38773bb595d23b.tar.bz2
pesto-5ec74cc5d73352db5d81482bbc38773bb595d23b.zip
Explain what time annotations are supposed to do
Diffstat (limited to 'src')
-rw-r--r--src/Codec/Pesto/Lint.lhs5
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