ghc/compiler/typecheck/BackSubst.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface BackSubst where
   3 import Bag(Bag)
   4 import CmdLineOpts(GlobalSwitch)
   5 import HsBinds(Bind, Binds, MonoBinds, Sig)
   6 import HsExpr(Expr)
   7 import HsLit(Literal)
   8 import HsMatches(GRHSsAndBinds, Match)
   9 import HsPat(TypecheckedPat)
  10 import Id(Id)
  11 import Inst(Inst)
  12 import Pretty(PprStyle, PrettyRep)
  13 import SplitUniq(SplitUniqSupply)
  14 import SrcLoc(SrcLoc)
  15 import Subst(Subst)
  16 import TyVar(TyVar)
  17 import UniType(UniType)
  18 data Binds a b
  19 data MonoBinds a b
  20 data TypecheckedPat
  21 data Id
  22 data Subst
  23 applyTcSubstToBinds :: Binds Id TypecheckedPat -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> (Binds Id TypecheckedPat, Subst, Bag (PprStyle -> Int -> Bool -> PrettyRep))
  24