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

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

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