adjunctions icon indicating copy to clipboard operation
adjunctions copied to clipboard

Add instance for WrappedMonad

Open treeowl opened this issue 4 years ago • 0 comments

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)

treeowl avatar Sep 03 '19 01:09 treeowl