Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Eta inverses for some vernacular monads.
Documentation
class Monad f => EtaInverse f where Source #
Instances
EtaInverse [] Source # | |
Defined in Control.Monad.EtaInverse | |
EtaInverse Maybe Source # | |
EtaInverse Identity Source # | |
(Monoid s, Eq s) => EtaInverse ((,) s) Source # | |
Defined in Control.Monad.EtaInverse | |
EtaInverse f => EtaInverse (MaybeT f) Source # | |
Functor f => EtaInverse (Free f) Source # | |
(Functor f, EtaInverse f2) => EtaInverse (FreeT f f2) Source # | |
(Monoid s, Eq s, EtaInverse f) => EtaInverse (WriterT s f) Source # | |