MHask.Indexed.Copointed

Compare to indexed.Data.Functor.Indexed (IxCopointed)

Documentation

class IxFunctor t => IxCopointed t where

The indexed version of MHask.Copointed. The dual of MHask.Indexed.Pointed.

Methods

iextract :: Monad m => m <~ t i i m