ghc/compiler/typecheck/TcPolyType.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface TcPolyType where
   3 import Bag(Bag)
   4 import Class(Class)
   5 import CmdLineOpts(GlobalSwitch)
   6 import HsTypes(PolyType)
   7 import Name(Name)
   8 import Pretty(PprStyle, PrettyRep)
   9 import SplitUniq(SplitUniqSupply)
  10 import SrcLoc(SrcLoc)
  11 import TcMonad(Baby_TcResult)
  12 import TyCon(TyCon)
  13 import UniType(UniType)
  14 import UniqFM(UniqFM)
  15 tcPolyType :: UniqFM Class -> UniqFM TyCon -> UniqFM UniType -> PolyType Name -> (GlobalSwitch -> Bool) -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> Baby_TcResult UniType
  16