Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
tcLocalBinds :: HsLocalBinds Name -> TcM thing -> TcM (HsLocalBinds TcId, thing) Source
tcRecSelBinds :: HsValBinds Name -> TcM TcGblEnv Source
tcValBinds :: TopLevelFlag -> [(RecFlag, LHsBinds Name)] -> [LSig Name] -> TcM thing -> TcM ([(RecFlag, LHsBinds TcId)], thing) Source
tcPolyCheck :: RecFlag -> TcPragEnv -> TcIdSigInfo -> LHsBind Name -> TcM (LHsBinds TcId, [TcId]) Source
tcSpecPrags :: Id -> [LSig Name] -> TcM [LTcSpecPrag] Source
tcSpecWrapper :: UserTypeCtxt -> TcType -> TcType -> TcM HsWrapper Source
tcUserTypeSig :: LHsSigWcType Name -> Maybe Name -> TcM TcIdSigInfo Source
instTcTySig :: UserTypeCtxt -> LHsSigType Name -> TcType -> Name -> TcM TcIdSigInfo Source
chooseInferredQuantifiers :: TcThetaType -> TcTyVarSet -> [TcTyVar] -> Maybe TcIdSigInfo -> TcM ([TcTyBinder], TcThetaType) Source
instTcTySigFromId :: Id -> TcM TcIdSigInfo Source
tcExtendTyVarEnvFromSig :: TcIdSigInfo -> TcM a -> TcM a Source