Closed robrix closed 8 years ago
A la Applicative’s *> or Monad’s >>. I think *> communicates more clearly for our purposes.
Applicative
*>
Monad
>>
If there is a similar operator for Alternative then we can use it and this to get rid of ignore altogether.
Alternative
ignore
(And, with it, all of the compilation performance penalties that come with multiple overloads of ++!)
++
Oh, and we’d use <* too.
<*
A la
Applicative
’s*>
orMonad
’s>>
. I think*>
communicates more clearly for our purposes.If there is a similar operator for
Alternative
then we can use it and this to get rid ofignore
altogether.