search

ekmett / contravariant

Haskell 98 contravariant functors
http://hackage.haskell.org/package/contravariant
Other
73 stars 24 forks source link

suggest a name for an invariant parent of Alt and Decidable #55

Closed fommil closed 6 years ago

fommil commented 6 years ago

In scalaz I introduced an invariant parent of Alt and Decidable. I'm calling it Derives, but I don't like the name (it has a name collision with a more important thing called Deriving).

If you've ever seen UK tv, the potential name AltAndDec will bring horrific images to mind :smile: ... do you have any suggestions?

ekmett commented 6 years ago

Have you named all 7+ flavors of invariant yet? ;)

I'd probably just say something self-descriptive like InvariantApplicative and InvariantAlternative, but I have little interest in packaging them myself.

fommil commented 6 years ago

Lol, I did start that way then threw them out and now left with only this one, which is the most practical. InvariantAlt is one I did consider... there is precedent since InvariantFunctor exists, even though the logic is a bit warped here since CovariantAlt isn't a thing.

InvariantAlt it is!

Certainly better than AltRight.