GhcDump.Util

Contents

• Convenient IO
• Manipulating Types
• Manipulating expressions

Synopsis

• readDump :: FilePath -> IO Module
• readDump' :: FilePath -> IO SModule
• splitFunTys :: Type' bndr var -> [Type' bndr var]
• splitForAlls :: Type' bndr var -> ([bndr], Type' bndr var)
• collectArgs :: Expr' bndr var -> (Expr' bndr var, [Expr' bndr var])
• collectBinders :: Expr' bndr var -> ([bndr], Expr' bndr var)
• collectTyBinders :: Expr' bndr var -> ([bndr], Expr' bndr var)

Convenient IO

Manipulating Types

Manipulating expressions