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  :: IfaceDecl -> IfL TyThing
  10 tcIfaceInst  :: IfaceInst -> IfL Instance
  11 tcIfaceRule  :: IfaceRule -> IfL CoreRule
  12 \end{code}
  13