We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f0fa685 commit bd9bac1Copy full SHA for bd9bac1
Changelog.md
@@ -1,5 +1,7 @@
1
# NEXT
2
3
+# 0.4.3
4
+
5
* Add an `instantiate` function that substitutes a list of terms for a collection of bound variables in a toplevel `Bind p t` term.
6
Thanks to Stephanie Weirich (sweirich). This adds a new `substBvs` function to the `Subst` class.
7
* Add `substBind` operation that substitutes for the bound variable of a `Bind (Name a) t` term.
unbound-generics.cabal
@@ -1,6 +1,6 @@
cabal-version: >=1.10
name: unbound-generics
-version: 0.4.2
+version: 0.4.3
synopsis: Support for programming with names and binders using GHC Generics
description: Specify the binding structure of your data type with an
expressive set of type combinators, and unbound-generics
0 commit comments