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}
|
