I often wish to be able to define local types and instances ...
https://mail.haskell.org/pipermail/haskell-cafe/2014-October/116291.html
On Mon, Jan 25, 2016 at 06:26:29PM +0100, Johannes Waldmann wrote:
I often wish to be able to define local types and instances ...
https://mail.haskell.org/pipermail/haskell-cafe/2014-October/116291.html
It seems to me that this is a different issue. M Farkas-Dyck wants to be able to define local types *and instances for them*. Oleg is talking about local instances for global types. Tom
is this possible to implement hiding (suppress export) of all instances defined in current module? something like: module A ( (-) ) where like this, or with a Language pragma (top of the module or just above the instance)?
participants (3)
-
Imants Cekusins -
Johannes Waldmann -
Tom Ellis