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