Functor instance for Set?
dgorin at dc.uba.ar
Thu Mar 1 10:19:39 CET 2012
On Thu, 2012-03-01 at 09:31 +0100, Bas van Dijk wrote:
> On 29 February 2012 19:54, Daniel Gorín <dgorin at dc.uba.ar> wrote:
> > I was always under the impression that the fact that Data.Set.Set can not be made an instance of Functor was a sort of unavoidable limitation.
> I guess the way forward is to start using ConstraintKinds and TypeFamilies: [...]
This doesn't really solve the problem I was looking at (namely, making
an ordered-tree-based implementation of a Set type an instance of the
standard Functor class) but I find it very interesting nevertheless. I
need to look at this ConstraintKinds extension in more detail....
More information about the Libraries