Add alap and upgrade - Githubissues

love-haskell / coercible-utils

Utility functions for Coercible types

https://hackage.haskell.org/package/coercible-utils

BSD 3-Clause "New" or "Revised" License

9 stars 3 forks source link

Add alap and upgrade #28

Closed treeowl closed 4 years ago

treeowl commented 4 years ago

Add alap, a version of ala that passes a polymorphic packer.
Add a fundep to Newtype to improve inference.
Add upgrade, to upgrade a proxy to a polymorphic packer.
Improve lots of documentation.

treeowl commented 4 years ago

The upgrade and op types might be controversial. I was figuring maybe the place for the simpler versions is the old interface? Or maybe we should leave op alone, and people can use op . upgrade.... I'm not sure what's best here.

treeowl commented 4 years ago

We might be able to get away with a functional dependency on Newtype instead of that new superclass constraint... I'm not sure what the tradeoffs are.

treeowl commented 4 years ago

OK, I've made things less controversial now.