Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Helper module for dead call elimination.
Synopsis
- bindIdents :: Bind Ann -> [Ident]
- bindExprs :: Bind Ann -> [Expr Ann]
- unBind :: Bind Ann -> [(Ident, Expr Ann)]
- everywhereOnValuesM :: forall m a. Monad m => (Bind a -> m (Bind a)) -> (Expr a -> m (Expr a)) -> ([Expr a] -> [Binder a] -> m [Binder a]) -> m () -> (Bind a -> m (Bind a), Expr a -> m (Expr a))
- unAnn :: Expr a -> Expr ()
- showExpr :: Expr a -> String