@@ -287,6 +287,15 @@ mapE : Applicative m => (a -> {xs} Eff m b) -> List a -> {xs} Eff m (List b)
287287mapE f [] = pure []
288288mapE f (x :: xs) = [| f x :: mapE f xs |]
289289
290+
291+mapVE : Applicative m =>
292+ (a -> {xs} Eff m b) ->
293+ Vect n a ->
294+ {xs} Eff m (Vect n b)
295+mapVE f [] = pure []
296+mapVE f (x :: xs) = [| f x :: mapVE f xs |]
297+
298+
290299when : Applicative m => Bool -> ({xs} Eff m ()) -> {xs} Eff m ()
291300when True e = e
292301when False e = pure ()