git.iko.soy/rowtype-yoga/purescript-native
on beaef52 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/Traversals.hs
27 lines 819 B history raw
1-----------------------------------------------------------------------------
2--
3-- Module : Language.PureScript.Traversals
4-- Copyright : (c) 2014 Phil Freeman
5-- License : MIT
6--
7-- Maintainer : Phil Freeman <paf31@cantab.net>
8-- Stability : experimental
9-- Portability :
10--
11-- | Common functions for implementing generic traversals
12--
13-----------------------------------------------------------------------------
15module Language.PureScript.Traversals where
17import Control.Applicative
19fstM :: (Functor f) => (a -> f c) -> (a, b) -> f (c, b)
20fstM f (a, b) = flip (,) b <$> f a
22sndM :: (Functor f) => (b -> f c) -> (a, b) -> f (a, c)
23sndM f (a, b) = (,) a <$> f b
25maybeM :: (Applicative f) => (a -> f b) -> Maybe a -> f (Maybe b)
26maybeM _ Nothing = pure Nothing
27maybeM f (Just a) = Just <$> f a