newVarList: Refactoring

ijaketak · Oct 8, 2023 · 4ec752e · 4ec752e
1 parent d3f2df1
commit 4ec752e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 ## version 0
 
+### 0.3 (still not released)
+
+* `newVarList`: Refactoring.
+
 ### 0.2.1 -- 2023-10-09
 
 * Expose the functions `unbind2` and `unbind2List`.

diff --git a/src/Data/Binder.hs b/src/Data/Binder.hs
@@ -317,7 +317,7 @@ boxVarList = fmap $ view var'Box
 
 -- | Create new variables with given names.
 newVarList :: MonadNumbering m => [Text] -> (Var m a -> m a) -> m (VarList m a)
-newVarList names mkFree = sequence $ flip fmap names $ \name -> newVar name mkFree
+newVarList names mkFree = flip traverse names $ flip newVar mkFree
 
 
 -- | Essentially, @BinderList a m b@ means @[a] -> m b@.