| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GhcDump.Util
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
splitFunTys :: Type' bndr var -> [Type' bndr var] Source #
splitForAlls :: Type' bndr var -> ([bndr], Type' bndr var) Source #
Manipulating expressions
collectBinders :: Expr' bndr var -> ([bndr], Expr' bndr var) Source #
collectTyBinders :: Expr' bndr var -> ([bndr], Expr' bndr var) Source #