search

ekmett / adjunctions

Simple adjunctions
http://hackage.haskell.org/package/adjunctions
Other
44 stars 27 forks source link

Define "as <* _ = as" and "_ *> bs = bs" #66

Closed Icelandjack closed 4 years ago

Icelandjack commented 4 years ago

Define as <* _ = as and _ *> bs = bs in O(1) for Applicative (Co f).

This is justified by the Representable laws.

Fixes issue #64.

Icelandjack commented 4 years ago

You're much better at asymptotic stuff, maybe there are other Co methods that can be improved.