From f611d1cb01b6df2a5dd23859a3d518de5a6a7f03 Mon Sep 17 00:00:00 2001 From: Keito Kajitani Date: Mon, 9 Oct 2023 07:46:07 +0900 Subject: [PATCH] Binder.hs: Expose the function unbind2 and unbind2List --- CHANGELOG.md | 4 ++++ src/Data/Binder.hs | 2 ++ 2 files changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 5142230..09c5887 100644 --- 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 index a1f01b6..124011c 100644 --- 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