extcore-0.8: Libraries for processing GHC Core

Language.Core.CoreUtils

Documentation

substIn :: Data a => Var -> Var -> a -> aSource

substVars :: Data a => [Var] -> [Var] -> a -> aSource

substl :: [Tvar] -> [Ty] -> Ty -> TySource

vbinds :: [Bind] -> [(Var, Ty)]Source

splitBinds :: [Bind] -> ([(Tvar, Kind)], [(Var, Ty)])Source

mapVdefg :: Monad m => (Vdef -> m Vdef) -> Vdefg -> m VdefgSource