Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
VAExpansion (HsExpr GhcRn) SrcSpan | |
VACall (HsExpr GhcRn) Int SrcSpan |
appCtxtLoc :: AppCtxt -> SrcSpan Source #
insideExpansion :: AppCtxt -> Bool Source #
isHsValArg :: HsExprArg id -> Bool Source #
countLeadingValArgs :: [HsExprArg id] -> Int Source #
isVisibleArg :: HsExprArg id -> Bool Source #
pprHsExprArgTc :: HsExprArg 'TcpInst -> SDoc Source #
tcInferAppHead :: (HsExpr GhcRn, AppCtxt) -> [HsExprArg 'TcpRn] -> TcM (HsExpr GhcTc, TcSigmaType) Source #
tcInferAppHead_maybe :: HsExpr GhcRn -> [HsExprArg 'TcpRn] -> TcM (Maybe (HsExpr GhcTc, TcSigmaType)) Source #
tcCheckId :: Name -> ExpRhoType -> TcM (HsExpr GhcTc) Source #
obviousSig :: HsExpr GhcRn -> Maybe (LHsSigWcType GhcRn) Source #
tyConOfET :: FamInstEnvs -> ExpRhoType -> Maybe TyCon Source #
lookupParents :: Bool -> RdrName -> RnM [(RecSelParent, GlobalRdrElt)] Source #
fieldNotInType :: RecSelParent -> RdrName -> SDoc Source #
notSelector :: Name -> SDoc Source #
nonBidirectionalErr :: Outputable name => name -> SDoc Source #
addExprCtxt :: HsExpr GhcRn -> TcRn a -> TcRn a Source #
addFunResCtxt :: HsExpr GhcRn -> [HsExprArg 'TcpRn] -> TcType -> ExpRhoType -> TcM a -> TcM a Source #