[project @ 1996-01-11 14:06:51 by partain]
[ghc-hetmet.git] / ghc / compiler / simplCore / Simplify.hi
1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface Simplify where
3 import BinderInfo(BinderInfo)
4 import CoreSyn(CoreArg, CoreBinding, CoreExpr)
5 import Id(Id)
6 import SimplEnv(SimplEnv)
7 import SimplMonad(SimplCount)
8 import SplitUniq(SplitUniqSupply)
9 import UniType(UniType)
10 simplBind :: SimplEnv -> CoreBinding (Id, BinderInfo) Id -> (SimplEnv -> SplitUniqSupply -> SimplCount -> (CoreExpr Id Id, SimplCount)) -> UniType -> SplitUniqSupply -> SimplCount -> (CoreExpr Id Id, SimplCount)
11 simplExpr :: SimplEnv -> CoreExpr (Id, BinderInfo) Id -> [CoreArg Id] -> SplitUniqSupply -> SimplCount -> (CoreExpr Id Id, SimplCount)
12 simplTopBinds :: SimplEnv -> [CoreBinding (Id, BinderInfo) Id] -> SplitUniqSupply -> SimplCount -> ([CoreBinding Id Id], SimplCount)
13