search

ekmett / adjunctions

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

Add instance for WrappedMonad #59

Open treeowl opened 5 years ago

treeowl commented 5 years ago

Whenever https://github.com/ekmett/distributive/pull/52 lands, we can and presumably should add

instance (Representable m, Monad m) => Representable (WrappedMonad m) where
  type Rep (WrappedMonad m) = Rep m
  index (WrapMonad m) k = index m k
  tabulate f = WrapMonad (tabulate f)