Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data HsExprArg (p :: TcPass)
- data EValArg (p :: TcPass) where
- data TcPass
- data AppCtxt
- = VAExpansion (HsExpr GhcRn) SrcSpan
- | VACall (HsExpr GhcRn) Int SrcSpan
- appCtxtLoc :: AppCtxt -> SrcSpan
- splitHsApps :: HsExpr GhcRn -> ((HsExpr GhcRn, AppCtxt), [HsExprArg 'TcpRn])
- rebuildHsApps :: HsExpr GhcTc -> AppCtxt -> [HsExprArg 'TcpTc] -> HsExpr GhcTc
- addArgWrap :: HsWrapper -> [HsExprArg 'TcpInst] -> [HsExprArg 'TcpInst]
- isHsValArg :: HsExprArg id -> Bool
- insideExpansion :: [HsExprArg p] -> Bool
- countLeadingValArgs :: [HsExprArg id] -> Int
- isVisibleArg :: HsExprArg id -> Bool
- pprHsExprArgTc :: HsExprArg 'TcpInst -> SDoc
- tcInferAppHead :: (HsExpr GhcRn, AppCtxt) -> [HsExprArg 'TcpRn] -> Maybe TcRhoType -> TcM (HsExpr GhcTc, TcSigmaType)
- tcInferAppHead_maybe :: HsExpr GhcRn -> [HsExprArg 'TcpRn] -> Maybe TcRhoType -> TcM (Maybe (HsExpr GhcTc, TcSigmaType))
- tcInferId :: Name -> TcM (HsExpr GhcTc, TcSigmaType)
- tcCheckId :: Name -> ExpRhoType -> TcM (HsExpr GhcTc)
- obviousSig :: HsExpr GhcRn -> Maybe (LHsSigWcType GhcRn)
- addAmbiguousNameErr :: RdrName -> TcM ()
- tyConOf :: FamInstEnvs -> TcSigmaType -> Maybe TyCon
- tyConOfET :: FamInstEnvs -> ExpRhoType -> Maybe TyCon
- lookupParents :: Bool -> RdrName -> RnM [(RecSelParent, GlobalRdrElt)]
- fieldNotInType :: RecSelParent -> RdrName -> SDoc
- notSelector :: Name -> SDoc
- nonBidirectionalErr :: Outputable name => name -> SDoc
- addExprCtxt :: HsExpr GhcRn -> TcRn a -> TcRn a
- addFunResCtxt :: HsExpr GhcTc -> [HsExprArg 'TcpTc] -> TcType -> ExpRhoType -> TcM a -> TcM a
Documentation
VAExpansion (HsExpr GhcRn) SrcSpan | |
VACall (HsExpr GhcRn) Int SrcSpan |
appCtxtLoc :: AppCtxt -> SrcSpan Source #
isHsValArg :: HsExprArg id -> Bool Source #
insideExpansion :: [HsExprArg p] -> Bool Source #
countLeadingValArgs :: [HsExprArg id] -> Int Source #
isVisibleArg :: HsExprArg id -> Bool Source #
pprHsExprArgTc :: HsExprArg 'TcpInst -> SDoc Source #
tcInferAppHead :: (HsExpr GhcRn, AppCtxt) -> [HsExprArg 'TcpRn] -> Maybe TcRhoType -> TcM (HsExpr GhcTc, TcSigmaType) Source #
tcInferAppHead_maybe :: HsExpr GhcRn -> [HsExprArg 'TcpRn] -> Maybe TcRhoType -> TcM (Maybe (HsExpr GhcTc, TcSigmaType)) Source #
tcCheckId :: Name -> ExpRhoType -> TcM (HsExpr GhcTc) Source #
obviousSig :: HsExpr GhcRn -> Maybe (LHsSigWcType GhcRn) Source #
addAmbiguousNameErr :: RdrName -> TcM () Source #
This name really is ambiguous, so add a suitable "ambiguous occurrence" error, then continue
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 GhcTc -> [HsExprArg 'TcpTc] -> TcType -> ExpRhoType -> TcM a -> TcM a Source #