MHask.Indexed.Comonad

Documentation

class IxCopointed t => IxComonad t where

Methods

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

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