summaryrefslogtreecommitdiff
path: root/compiler/iface/TcIface.lhs-boot
blob: 25191fcaaedc0510f1d0b637fd284e1b483d2813 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
\begin{code}
module TcIface where
import IfaceSyn	 ( IfaceDecl, IfaceInst, IfaceRule )
import TypeRep	 ( TyThing )
import TcRnTypes ( IfL )
import InstEnv	 ( Instance )
import CoreSyn	 ( CoreRule )

tcIfaceDecl  :: IfaceDecl -> IfL TyThing
tcIfaceInst  :: IfaceInst -> IfL Instance
tcIfaceRule  :: IfaceRule -> IfL CoreRule
\end{code}