Binder.hs: Expose the function unbind2 and unbind2List

ijaketak · Oct 8, 2023 · f611d1c · f611d1c
1 parent 9d812e7
commit f611d1c
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,10 @@
 
 ## version 0
 
+### 0.2.1 (still not released)
+
+* Expose the functions `unbind2` and `unbind2List`.
+
 ### 0.2 -- 2023-10-06
 
 * Add operations for list.

diff --git a/src/Data/Binder.hs b/src/Data/Binder.hs
@@ -56,6 +56,7 @@ module Data.Binder
   , buildBinder
   , bind
   , unbind
+  , unbind2
   , eqBinder
   , boxBinder
   , bindApply
@@ -78,6 +79,7 @@ module Data.Binder
   , eqBinderList
   , bindList
   , unbindList
+  , unbind2List
   , boxBinderList
   , bindListApply
   ) where