All Versions
5
Latest Version
Avg Release Cycle
31 days
Latest Release
1560 days ago

Changelog History

  • v0.4.1 Changes

    August 26, 2020
    • Fix tests in dist

  • v0.4 Changes

    May 06, 2020
    • 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)

  • v0.3 Changes

    May 06, 2020
    • Check constraints on functions

  • v0.2.0.0 Changes

    May 01, 2020
    • Allow instantiating a polymorphic return type as a monadic value. For example autoapply '[getFooIO] (bar :: Foo -> b) will have type IO b.

  • v0.1.0.0 Changes

    April 26, 2020
    • Initial release
    • autoapply and autoapplyDecs