zephyr-0.5.3: Zephyr, tree-shaking for the PureScript language
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.PureScript.DCE.Utils

Description

Helper module for dead call elimination.

Synopsis

Documentation

everywhereOnValuesM Source #

Arguments

:: forall m a. Monad m 
=> (Bind a -> m (Bind a)) 
-> (Expr a -> m (Expr a)) 
-> ([Expr a] -> [Binder a] -> m [Binder a]) 
-> m ()

monadic computation fired after handling case alternative

-> (Bind a -> m (Bind a), Expr a -> m (Expr a)) 

unAnn :: Expr a -> Expr () Source #

showExpr :: Expr a -> String Source #

Helper function for pretty printing errors in tests.