Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcBinds
Documentation
tcLocalBinds :: HsLocalBinds Name -> TcM thing -> TcM (HsLocalBinds TcId, thing)
tcTopBinds :: HsValBinds Name -> TcM (TcGblEnv, TcLclEnv)
tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnv
tcHsBootSigs :: HsValBinds Name -> TcM [Id]
tcPolyCheck :: RecFlag -> PragFun -> TcSigInfo -> LHsBind Name -> TcM (LHsBinds TcId, [TcId], TopLevelFlag)
tcSpecPrags :: Id -> [LSig Name] -> TcM [LTcSpecPrag]
data TcSigInfo
Constructors
TcSigInfo | |
Fields
| |
TcPatSynInfo TcPatSynInfo |
Instances
instTcTySig :: LHsType Name -> TcType -> Maybe SrcSpan -> [(Name, TcTyVar)] -> Name -> TcM TcSigInfo
instTcTySigFromId :: Id -> TcM TcSigInfo