583abc11c2e85dea71d6361a9e4c86a8d2bbc2da
[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, LHsSigType )
6 import TcRnTypes ( TcM, TcSigFun, TcPatSynInfo )
7 import TcRnMonad ( TcGblEnv)
8 import Outputable ( Outputable )
9
10 tcPatSynSig :: Name -> LHsSigType Name
11             -> TcM TcPatSynInfo
12
13 tcInferPatSynDecl :: PatSynBind Name Name
14                   -> TcM (LHsBinds Id, TcGblEnv)
15
16 tcCheckPatSynDecl :: PatSynBind Name Name
17                   -> TcPatSynInfo
18                   -> TcM (LHsBinds Id, TcGblEnv)
19
20 tcPatSynBuilderBind :: TcSigFun -> PatSynBind Name Name
21                     -> TcM (LHsBinds Id)
22
23 nonBidirectionalErr :: Outputable name => name -> TcM a