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 #