blob: 5a16a55cd71c8a870991aa02dd3a3bae6ad550ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
module GHC.Tc.TyCl.PatSyn where
import GHC.Hs ( PatSynBind, LHsBinds )
import GHC.Tc.Types ( TcM )
import GHC.Tc.Utils.Monad ( TcGblEnv)
import GHC.Hs.Extension ( GhcRn, GhcTc )
import GHC.Tc.Gen.Sig ( TcPragEnv, TcSigFun )
import GHC.Parser.Annotation( LocatedA )
tcPatSynDecl :: LocatedA (PatSynBind GhcRn GhcRn)
-> TcSigFun
-> TcPragEnv
-> TcM (LHsBinds GhcTc, TcGblEnv)
tcPatSynBuilderBind :: TcPragEnv -> PatSynBind GhcRn GhcRn
-> TcM (LHsBinds GhcTc)
|
