From 5ec74cc5d73352db5d81482bbc38773bb595d23b Mon Sep 17 00:00:00 2001 From: Lars-Dominik Braun Date: Thu, 13 Aug 2015 10:46:50 +0200 Subject: Explain what time annotations are supposed to do --- src/Codec/Pesto/Lint.lhs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3