binder 0.2 → 0.2.1
raw patch · 3 files changed
+8/−2 lines, 3 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Data.Binder: unbind2 :: MonadNumbering m => Binder a m b1 -> Binder a m b2 -> m (Var m a, b1, b2)
+ Data.Binder: unbind2List :: MonadNumbering m => BinderList a m b1 -> BinderList a m b2 -> m (VarList m a, b1, b2)
- Data.Binder: binder'Body :: forall a_a8Hl m_a8Hm b_a8Hn b_a9ts. Lens (Binder a_a8Hl m_a8Hm b_a8Hn) (Binder a_a8Hl m_a8Hm b_a9ts) (a_a8Hl -> m_a8Hm b_a8Hn) (a_a8Hl -> m_a8Hm b_a9ts)
+ Data.Binder: binder'Body :: forall a_a8HJ m_a8HK b_a8HL b_a9tQ. Lens (Binder a_a8HJ m_a8HK b_a8HL) (Binder a_a8HJ m_a8HK b_a9tQ) (a_a8HJ -> m_a8HK b_a8HL) (a_a8HJ -> m_a8HK b_a9tQ)
- Data.Binder: binder'Name :: forall a_a8Hl m_a8Hm b_a8Hn. Lens' (Binder a_a8Hl m_a8Hm b_a8Hn) Text
+ Data.Binder: binder'Name :: forall a_a8HJ m_a8HK b_a8HL. Lens' (Binder a_a8HJ m_a8HK b_a8HL) Text
- Data.Binder: binder'mkFree :: forall a_a8Hl m_a8Hm b_a8Hn. Lens' (Binder a_a8Hl m_a8Hm b_a8Hn) (Var m_a8Hm a_a8Hl -> m_a8Hm a_a8Hl)
+ Data.Binder: binder'mkFree :: forall a_a8HJ m_a8HK b_a8HL. Lens' (Binder a_a8HJ m_a8HK b_a8HL) (Var m_a8HK a_a8HJ -> m_a8HK a_a8HJ)
- Data.Binder: binderList'Body :: forall a_a9u5 m_a9u6 b_a9u7 b_a9Rc. Lens (BinderList a_a9u5 m_a9u6 b_a9u7) (BinderList a_a9u5 m_a9u6 b_a9Rc) ([a_a9u5] -> m_a9u6 b_a9u7) ([a_a9u5] -> m_a9u6 b_a9Rc)
+ Data.Binder: binderList'Body :: forall a_a9ut m_a9uu b_a9uv b_a9RA. Lens (BinderList a_a9ut m_a9uu b_a9uv) (BinderList a_a9ut m_a9uu b_a9RA) ([a_a9ut] -> m_a9uu b_a9uv) ([a_a9ut] -> m_a9uu b_a9RA)
- Data.Binder: binderList'Names :: forall a_a9u5 m_a9u6 b_a9u7. Lens' (BinderList a_a9u5 m_a9u6 b_a9u7) [Text]
+ Data.Binder: binderList'Names :: forall a_a9ut m_a9uu b_a9uv. Lens' (BinderList a_a9ut m_a9uu b_a9uv) [Text]
- Data.Binder: binderList'mkFree :: forall a_a9u5 m_a9u6 b_a9u7. Lens' (BinderList a_a9u5 m_a9u6 b_a9u7) (Var m_a9u6 a_a9u5 -> m_a9u6 a_a9u5)
+ Data.Binder: binderList'mkFree :: forall a_a9ut m_a9uu b_a9uv. Lens' (BinderList a_a9ut m_a9uu b_a9uv) (Var m_a9uu a_a9ut -> m_a9uu a_a9ut)
- Data.Binder: var'Key :: forall m_a6Y1 a_a6Y2. Lens' (Var m_a6Y1 a_a6Y2) (Numbering m_a6Y1)
+ Data.Binder: var'Key :: forall m_a6Yp a_a6Yq. Lens' (Var m_a6Yp a_a6Yq) (Numbering m_a6Yp)
Files
- CHANGELOG.md +4/−0
- binder.cabal +2/−2
- src/Data/Binder.hs +2/−0
CHANGELOG.md view
@@ -2,6 +2,10 @@ ## version 0 +### 0.2.1 -- 2023-10-09++* Expose the functions `unbind2` and `unbind2List`.+ ### 0.2 -- 2023-10-06 * Add operations for list.
binder.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: binder-version: 0.2+version: 0.2.1 synopsis: Variable binding for abstract syntax tree description: binder is purely functional implementation of Ocaml's@@ -29,7 +29,7 @@ source-repository this type: git location: https://github.com/ijaketak/binder- tag: 0.2+ tag: v0.2.1 common depends build-depends:
src/Data/Binder.hs view
@@ -56,6 +56,7 @@ , buildBinder , bind , unbind+ , unbind2 , eqBinder , boxBinder , bindApply@@ -78,6 +79,7 @@ , eqBinderList , bindList , unbindList+ , unbind2List , boxBinderList , bindListApply ) where