Re-generalize intercalate

snoyberg / classy-prelude

A typeclass-based Prelude.

108 stars 15 forks source link

Re-generalize intercalate #119

Closed hdgarrood closed 8 years ago

hdgarrood commented 8 years ago

Refs #118

Also got rid of all the CPP given that the cabal file defines a lower bound of mono-traversable 0.9.3 anyway.

intersperse has a SemiSequence constraint, so I can't see how to make this any more general. Also, I'm not familiar enough with rewrite rules to be able to write any, sorry.

snoyberg commented 8 years ago

OK, I've added rewrite rules and slightly generalized the function further. Can you confirm this works for your cases before I release?

hdgarrood commented 8 years ago

Ahh, I see now. Yes, this works, thanks!