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