blob: 697f377a9541c24a8a4c8985a7911e1558ab2a23 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
\begin{code}
module TcPatSyn where
import Name ( Name )
import Id ( Id )
import HsSyn ( PatSynBind, LHsBinds )
import TcRnTypes ( TcM )
import PatSyn ( PatSyn )
import TcPat ( TcPatSynInfo )
tcInferPatSynDecl :: PatSynBind Name Name
-> TcM (PatSyn, LHsBinds Id)
tcCheckPatSynDecl :: PatSynBind Name Name
-> TcPatSynInfo
-> TcM (PatSyn, LHsBinds Id)
tcPatSynBuilderBind :: PatSynBind Name Name
-> TcM (LHsBinds Id)
\end{code}
|
