DEV Community

Discussion on: Composing predicates

Collapse
sshine profile image
Simon Shine

I’ve previously called them <&&> and <||> since they’re based on the Applicative instance of (->) e and other Applicative operators like <$> and <*> look like this. Also, &&& is used in Control.Arrow, so this avoids overlap.

Collapse
gillchristian profile image
Christian Gill Author

Good point.

I should've done a Hoogle search. I see now that several packages define <&&> & <||>.

Thanks for pointing those out.