compiler/iface/TcIface.lhs-boot

   1 \begin{code}
   2 module TcIface where
   3 import IfaceSyn  ( IfaceDecl, IfaceInst, IfaceRule )
   4 import TypeRep   ( TyThing )
   5 import TcRnTypes ( IfL )
   6 import InstEnv   ( Instance )
   7 import CoreSyn   ( CoreRule )
   8
   9 tcIfaceDecl  :: Bool -> IfaceDecl -> IfL TyThing
  10 tcIfaceRules :: Bool -> [IfaceRule] -> IfL [CoreRule]
  11 tcIfaceInst  :: IfaceInst -> IfL Instance
  12 \end{code}
  13