Module Control.Monad.Trans.Maybe

Summary of exported operations:

mapMaybeT :: (a (Maybe b) -> c (Maybe d)) -> MaybeT a b -> MaybeT c d  Deterministic 

Exported datatypes:


newtype MaybeT

Constructor:

  • MaybeT :: (a (Maybe b)) -> MaybeT a b

    Fields:

    • runMaybeT :: (a (Maybe b))

Exported operations:

mapMaybeT :: (a (Maybe b) -> c (Maybe d)) -> MaybeT a b -> MaybeT c d  Deterministic