1.0.4
- Widened version bound on
transformers
.
1.0.3
1.0.2
- Removed unneccesary constraint on
hoistScope
.
1.0.1
- Added a monomorphic
hoistScope
for Bound.Scope.Simple
1.0
- Added instances for
Bound
for all of the mtl
monads.
- Added
Data
and Typeable
support to both versions of Scope
- Added the missing
Applictive
instance to Bound.Scope.Simple
- Moved
hoistScope
, bitraverseScope
, transverseScope
, and instantiateVars
here from the ermine
compiler.
0.9.1.1
- Updated to work with
bifunctors
4.0
0.9.1
- Updated to work with
comonad
4.0 and profunctors
4.0
0.9
- Added the missing instance for
Applicative (Scope b f)
0.8.1
0.8
- Added
Serial
, Binary
and Serialize
instances for Scope
.
0.7
- Added
Hashable
, Hashable1
and Hashable2
instances where appropriate for Name
, Var
and Scope
.
0.6.1
- More aggressive inlining
- Added
unvar
, _B
, _F
to Bound.Var
.
- Added
_Name
to Bound.Name
.
0.6
- Support for
prelude-extras
0.3
0.5.1
- Removed my personal inter-package dependency upper bounds
- Updated doctest suite to use exact versions.
0.5
- Created a
doctest
-based test suite
- Added many examples
- 100% haddock coverage
- Added the
Name
Comonad
, to help retain names for bound variables.
- Bumped dependencies