Another major improvement of "improvement"
[ghc.git] / compiler / typecheck / TcPatSyn.hs-boot
1 module TcPatSyn where
2
3 import Name      ( Name )
4 import Id        ( Id )
5 import HsSyn     ( PatSynBind, LHsBinds )
6 import TcRnTypes ( TcM )
7 import PatSyn    ( PatSyn )
8 import TcPat     ( TcPatSynInfo )
9
10 tcInferPatSynDecl :: PatSynBind Name Name
11                   -> TcM (PatSyn, LHsBinds Id)
12
13 tcCheckPatSynDecl :: PatSynBind Name Name
14                   -> TcPatSynInfo
15                   -> TcM (PatSyn, LHsBinds Id)
16
17 tcPatSynBuilderBind :: PatSynBind Name Name
18                     -> TcM (LHsBinds Id)