Language.PureScript.Traversals

Common functions for implementing generic traversals

Documentation

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

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

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

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

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

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

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