Documentation

fstM :: Functor f => (a -> f c) -> (a, b) -> f (c, b) Source #

sndM :: Functor f => (b -> f c) -> (a, b) -> f (a, c) Source #

thirdM :: Functor f => (c -> f d) -> (a, b, c) -> f (a, b, d) Source #

pairM :: Applicative f => (a -> f c) -> (b -> f d) -> (a, b) -> f (c, d) Source #

maybeM :: Applicative f => (a -> f b) -> Maybe a -> f (Maybe b) Source #

eitherM :: Applicative f => (a -> f c) -> (b -> f d) -> Either a b -> f (Either c d) Source #

defS :: Monad m => st -> val -> m (st, val) Source #