Introduce type class for 'Set/Map'-like things

serokell / universum

:milky_way: Prelude written in @Serokell

MIT License

176 stars 28 forks source link

Introduce type class for 'Set/Map'-like things #138

Open chshersh opened 6 years ago

chshersh commented 6 years ago

I propose to think of type class for Map-like things. This is really convenient to have. For example, if you want to insert into newtype wrappers around Map/HashMap. mono-traversable has type classes for Map * Set-like things. So maybe we should have something similar.

What do you think? Please, share your thoughts!

chshersh commented 6 years ago

Seems related:

https://stackoverflow.com/questions/48848571/generalised-newtype-deriving-on-class-functions-with-functors

chshersh commented 6 years ago

Another relevant discussion:

https://www.reddit.com/r/haskell/comments/81vtjy/we_have_foldable_and_traversable_are_there_any/