MHask.Indexed.Pointed

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

Documentation

class IxFunctor t => IxPointed t where

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

Methods

ireturn :: Monad m => m ~> t i i m