MHask.Indexed.Comonad

Compare to indexed.Control.Comonad.Indexed (IxComonad)

Documentation

class IxCopointed t => IxComonad t where

Indexed version of MHask.Comonad. Dual of MHask.Indexed.Monad

Methods

iduplicate :: Monad m => t i j (t j k m) <~ t i k m

iextend :: (Monad m, Monad n) => (m <~ t j k n) -> t i j m <~ t i k n