MHask.Copointed

Documentation

class Functor t => Copointed t where

Methods

extract :: (Monad m, Monad (t m)) => t m ~> m

Instances

Copointed (WriterT w)

Monoid s => Copointed (StateT s)

Monoid r => Copointed (ReaderT r)