@@ -287,6 +287,15 @@ mapE : Applicative m => (a -> {xs} Eff m b) -> List a -> {xs} Eff m (List b)
287mapE f [] = pure []
287mapE f [] = pure []
288mapE f (x :: xs) = [| f x :: mapE f xs |]
288mapE f (x :: xs) = [| f x :: mapE f xs |]
291+mapVE : Applicative m =>
292+ (a -> {xs} Eff m b) ->
294+ {xs} Eff m (Vect n b)
296+mapVE f (x :: xs) = [| f x :: mapVE f xs |]
290when : Applicative m => Bool -> ({xs} Eff m ()) -> {xs} Eff m ()
299when : Applicative m => Bool -> ({xs} Eff m ()) -> {xs} Eff m ()
291when True e = e
300when True e = e
292when False e = pure ()
301when False e = pure ()