8 Sep
2008
8 Sep
'08
10:02 p.m.
On Mon, Sep 08, 2008 at 08:56:26PM +0200, Chaddaï Fouché wrote:
Unfortunately Data.IntMap don't provide an instance for IntMap (though Data.Map does for Map).
It was an oversight. The instance is straightforward: instance Traversable IntMap where traverse _ Nil = pure Nil traverse f (Tip k v) = Tip k <$> f v traverse f (Bin p m l r) = Bin p m <$> traverse f l <*> traverse f r