purescript-0.6.4.1: PureScript Programming Language Compiler

Safe HaskellSafe-Inferred
LanguageHaskell98

Language.PureScript.Traversals

Description

Common functions for implementing generic traversals

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