ghc/compiler/typecheck/Spec.hi

   1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
   2 interface Spec where
   3 import Bag(Bag)
   4 import CmdLineOpts(GlobalSwitch)
   5 import HsExpr(Expr)
   6 import HsPat(TypecheckedPat)
   7 import Id(Id)
   8 import Inst(Inst, InstOrigin)
   9 import LIE(LIE)
  10 import Pretty(PprStyle, PrettyRep)
  11 import SplitUniq(SplitUniqSupply)
  12 import SrcLoc(SrcLoc)
  13 import Subst(Subst)
  14 import TyVar(TyVar)
  15 import UniType(UniType)
  16 specId :: Id -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> ((Expr Id TypecheckedPat, LIE, UniType), Subst, Bag (PprStyle -> Int -> Bool -> PrettyRep))
  17 specTy :: InstOrigin -> UniType -> (GlobalSwitch -> Bool) -> [UniType] -> Subst -> SplitUniqSupply -> Bag (PprStyle -> Int -> Bool -> PrettyRep) -> SrcLoc -> (([TyVar], [Inst], UniType), Subst, Bag (PprStyle -> Int -> Bool -> PrettyRep))
  18