compiler/typecheck/TcPatSyn.lhs-boot


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)

tcPatSynWorker :: PatSynBind Name Name
               -> TcM (LHsBinds Id)
\end{code}