ghc/compiler/typecheck/Disambig.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface Disambig where
   3 import Bag(Bag)
   4 import Class(Class)
   5 import CmdLineOpts(GlobalSwitch)
   6 import ErrUtils(Error(..))
   7 import Id(Id)
   8 import Inst(Inst, InstOrigin, OverloadedLit)
   9 import Pretty(PprStyle, Pretty(..), PrettyRep)
  10 import SplitUniq(SplitUniqSupply)
  11 import SrcLoc(SrcLoc)
  12 import Subst(Subst)
  13 import TcMonad(TcResult)
  14 import UniType(UniType)
  15 import Unique(Unique, UniqueSupply)
  16 data Bag a
  17 type Error = PprStyle -> Int -> Bool -> PrettyRep
  18 data Inst
  19 data PprStyle
  20 type Pretty = Int -> Bool -> PrettyRep
  21 data PrettyRep
  22 data SrcLoc
  23 data Subst
  24 data TcResult a
  25 data UniqueSupply
  26 disambiguateDicts :: [Inst] -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> TcResult ()
  27