[Haskell-cafe] ANN: unification-fd 0.6.0
roma at ro-che.info
Fri Feb 17 20:51:47 CET 2012
* wren ng thornton <wren at freegeek.org> [2012-02-17 13:05:58-0500]
> An effort has been made to try to make this package as portable as
That's a noble goal for libraries!
> However, because it uses the ST monad and the mtl-2 package
> it can't be H98 nor H2010. However, it only uses the following common
> extensions which should be well supported:
> FunctionalDependencies -- Alas, necessary for type inference
> FlexibleContexts -- Necessary for practical use of MPTCs
> FlexibleInstances -- Necessary for practical use of MPTCs
> UndecidableInstances -- For Show instances due to two-level types
Out of these FunctionalDependencies seems to be the most exotic (even in
GHC-oriented development there has been some shift towards type
families, it seems).
Is it used only for mtl stuff (and thus can be replaced by
'transformers' + some lifts), or is it necessary for your own API?
Roman I. Cheplyaka :: http://ro-che.info/
More information about the Haskell-Cafe