From 5586e08592f8267ffb6ea23139342b4963b1277a Mon Sep 17 00:00:00 2001 From: Isaac Elliott Date: Fri, 13 Sep 2024 14:04:06 +1000 Subject: [PATCH] Add note about `requesting` semantics --- src/Reflex/Requester/Class.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Reflex/Requester/Class.hs b/src/Reflex/Requester/Class.hs index f9e50757..2f82b6c3 100644 --- a/src/Reflex/Requester/Class.hs +++ b/src/Reflex/Requester/Class.hs @@ -39,6 +39,8 @@ class (Reflex t, Monad m) => Requester t m | m -> t where type Response m :: Type -> Type -- | Emit a request whenever the given 'Event' fires, and return responses in -- the resulting 'Event'. + -- + -- Semantically, the response event occurs at a later time than the request event. requesting :: Event t (Request m a) -> m (Event t (Response m a)) -- | Emit a request whenever the given 'Event' fires, and ignore all responses. requesting_ :: Event t (Request m a) -> m ()