* wren ng thornton <w...@freegeek.org> [2012-02-17 13:05:58-0500] > An effort has been made to try to make this package as portable as > possible.
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[3]: > > Rank2Types > MultiParamTypeClasses > 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/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe