6 Feb
2008
6 Feb
'08
9:11 a.m.
On Feb 6, 2008 9:00 AM, Henning Thielemann
On Wed, 6 Feb 2008, Matthew Pocock wrote:
class Buildable b where empty :: b a --makes an empty b with elements of type a insert :: a -> b a -> b a --inserts the new element into the buildable
How can this interface be used both for lists and maps? [...]
One solution is to change the class slightly: class Buildable t x where empty :: t insert :: x -> t -> t instance Buildable (Map k a) (k, a) where empty = Map.empty insert = uncurry Map.insert -- Denis