From 326f1e34c189000365277baae4bc345562447034 Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Fri, 4 Mar 2016 15:52:38 -0500 Subject: [PATCH] document the during form --- prospect/scribblings/highlevel.scrbl | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/prospect/scribblings/highlevel.scrbl b/prospect/scribblings/highlevel.scrbl index 6fadd13..d89cf2f 100644 --- a/prospect/scribblings/highlevel.scrbl +++ b/prospect/scribblings/highlevel.scrbl @@ -103,6 +103,18 @@ termination event but before the @racket[until] actor exits.} The @racket[forever] behavior is analogous to a @racket[state] form with no termination events.} +@defform[(during pat O ...)]{ +Runs the behaviors @racket[O ...] for the duration of each assertion matching +@racket[pat]. + +Roughly equivalent to +@racket[(on (asserted pat) + (until (retracted pat) + O ...))] +where the @racket[pat] in the @racket[until] clause is specialized to the actual +value matched by @racket[pat] in the @racket[asserted] clause. +} + @defform[(assert maybe-pred exp maybe-level) #:grammar [(maybe-pred (code:line)