ghc/compiler/typecheck/TcBinds.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface TcBinds where
   3 import Bag(Bag)
   4 import CmdLineOpts(GlobalSwitch)
   5 import E(E)
   6 import HsBinds(Binds)
   7 import HsPat(InPat, TypecheckedPat)
   8 import Id(Id)
   9 import LIE(LIE)
  10 import Name(Name)
  11 import Pretty(PprStyle, PrettyRep)
  12 import SplitUniq(SplitUniqSupply)
  13 import SrcLoc(SrcLoc)
  14 import Subst(Subst)
  15 import TcMonad(TcResult)
  16 import UniType(UniType)
  17 tcLocalBindsAndThen :: E -> (Binds Id TypecheckedPat -> a -> a) -> Binds Name (InPat Name) -> (E -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult (a, LIE, b)) -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult (a, LIE, b)
  18         {-# GHC_PRAGMA _A_ 4 _U_ 2212222222 _N_ _S_ "LLSL" _N_ _N_ #-}
  19 tcTopBindsAndThen :: E -> (Binds Id TypecheckedPat -> a -> a) -> Binds Name (InPat Name) -> (E -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult (a, LIE, b)) -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult (a, LIE, b)
  20         {-# GHC_PRAGMA _A_ 4 _U_ 2212222222 _N_ _S_ "LLSL" _N_ _N_ #-}
  21