Change Log
WIP
[0.4.1.3] - 2022-09-25
- Loosen th-desugar upper bound
[0.4.1.2] - 2021-11-08
- Loosen th-desugar upper bound
[0.4.1.1] - 2021-10-17
[0.4.1] - 2020-08-26
[0.4] - 2020-05-06
- Allow specifying if the types of potential arguments should subsume or just
unify with the function's argument types
- Respect constraints when passing arguments (ignoring type families)
[0.3] - 2020-05-06
- Check constraints on functions
[0.2.0.0] - 2020-05-01
- Allow instantiating a polymorphic return type as a monadic value. For
example
autoapply '[getFooIO] (bar :: Foo -> b)
will have type IO b
.
[0.1.0.0] - 2020-04-26
- Initial release
autoapply
and autoapplyDecs