Implement `ap` in terms of `Bind`

purescript / purescript-prelude

The PureScript Prelude

BSD 3-Clause "New" or "Revised" License

162 stars 88 forks source link

Closed hdgarrood closed 4 years ago

hdgarrood commented 4 years ago

Moves ap to Control.Bind and implements it in terms of just Bind rather than Monad
Moves the Applicative Superclass law from Monad to Bind and renames it to the Apply Superclass law

Note that this should be non-breaking since ap is now re-exported from Control.Monad.

Fixes #158