git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Merge pull request #735 from dylex/everywhere-once
98dbf63Phil Freeman
src/Language/PureScript/AST/Traversals.hs+1−1
compare with golang
unifiedsplit
@@ -135,7 +135,7 @@ everywhereOnValuesM :: (Functor m, Applicative m, Monad m) =>
135 (Expr -> m Expr) ->
135 (Expr -> m Expr) ->
136 (Binder -> m Binder) ->
136 (Binder -> m Binder) ->
137 (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder)
137 (Declaration -> m Declaration, Expr -> m Expr, Binder -> m Binder)
138−everywhereOnValuesM f g h = (f' <=< f, g' <=< g, h' <=< h)
138+everywhereOnValuesM f g h = (f', g', h')
139 where
139 where
140 f' (DataBindingGroupDeclaration ds) = (DataBindingGroupDeclaration <$> mapM f' ds) >>= f
140 f' (DataBindingGroupDeclaration ds) = (DataBindingGroupDeclaration <$> mapM f' ds) >>= f
141 f' (ValueDeclaration name nameKind bs val) = (ValueDeclaration name nameKind <$> mapM h' bs <*> eitherM (mapM (pairM g' g')) g' val) >>= f
141 f' (ValueDeclaration name nameKind bs val) = (ValueDeclaration name nameKind <$> mapM h' bs <*> eitherM (mapM (pairM g' g')) g' val) >>= f