search

aelve / haskell-issues

An unofficial issue tracker for all things Haskell-related
18 stars 0 forks source link

semigroupoids: instance Alt Identity #1

Open Gurkenglas opened 8 years ago

Gurkenglas commented 8 years ago

I am currently making a typeclass that relates Alternatives and Alts that are differing by their empty for laziness and profit. Maybe belongs to Identity, but Identity doesn't have an Alt instance yet. It should have one, where (<!>) = const.

neongreen commented 8 years ago

I have asked Edward in #haskell-lens whether such an instance would make sense – waiting for a response.