| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHC.Tc.Gen.Expr
Synopsis
- tcCheckPolyExpr :: LHsExpr GhcRn -> TcSigmaType -> TcM (LHsExpr GhcTc)
- tcCheckPolyExprNC :: LHsExpr GhcRn -> TcSigmaType -> TcM (LHsExpr GhcTc)
- tcCheckMonoExpr :: LHsExpr GhcRn -> TcRhoType -> TcM (LHsExpr GhcTc)
- tcCheckMonoExprNC :: LHsExpr GhcRn -> TcRhoType -> TcM (LHsExpr GhcTc)
- tcMonoExpr :: LHsExpr GhcRn -> ExpRhoType -> TcM (LHsExpr GhcTc)
- tcMonoExprNC :: LHsExpr GhcRn -> ExpRhoType -> TcM (LHsExpr GhcTc)
- tcInferRho :: LHsExpr GhcRn -> TcM (LHsExpr GhcTc, TcRhoType)
- tcInferRhoNC :: LHsExpr GhcRn -> TcM (LHsExpr GhcTc, TcRhoType)
- tcExpr :: HsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc)
- tcSyntaxOp :: CtOrigin -> SyntaxExprRn -> [SyntaxOpType] -> ExpRhoType -> ([TcSigmaType] -> [Mult] -> TcM a) -> TcM (a, SyntaxExprTc)
- tcSyntaxOpGen :: CtOrigin -> SyntaxExprRn -> [SyntaxOpType] -> SyntaxOpType -> ([TcSigmaType] -> [Mult] -> TcM a) -> TcM (a, SyntaxExprTc)
- data SyntaxOpType
- synKnownType :: TcType -> SyntaxOpType
- tcCheckId :: Name -> ExpRhoType -> TcM (HsExpr GhcTc)
- addAmbiguousNameErr :: RdrName -> TcM ()
- getFixedTyVars :: [FieldLabelString] -> [TyVar] -> [ConLike] -> TyVarSet
Documentation
tcCheckPolyExpr :: LHsExpr GhcRn -> TcSigmaType -> TcM (LHsExpr GhcTc) Source #
tcCheckPolyExprNC :: LHsExpr GhcRn -> TcSigmaType -> TcM (LHsExpr GhcTc) Source #
tcCheckMonoExpr :: LHsExpr GhcRn -> TcRhoType -> TcM (LHsExpr GhcTc) Source #
tcCheckMonoExprNC :: LHsExpr GhcRn -> TcRhoType -> TcM (LHsExpr GhcTc) Source #
tcMonoExpr :: LHsExpr GhcRn -> ExpRhoType -> TcM (LHsExpr GhcTc) Source #
tcMonoExprNC :: LHsExpr GhcRn -> ExpRhoType -> TcM (LHsExpr GhcTc) Source #
tcInferRho :: LHsExpr GhcRn -> TcM (LHsExpr GhcTc, TcRhoType) Source #
tcInferRhoNC :: LHsExpr GhcRn -> TcM (LHsExpr GhcTc, TcRhoType) Source #
tcExpr :: HsExpr GhcRn -> ExpRhoType -> TcM (HsExpr GhcTc) Source #
Arguments
| :: CtOrigin | |
| -> SyntaxExprRn | |
| -> [SyntaxOpType] | shape of syntax operator arguments |
| -> ExpRhoType | overall result type |
| -> ([TcSigmaType] -> [Mult] -> TcM a) | Type check any arguments, takes a type per hole and a multiplicity per arrow in the shape. |
| -> TcM (a, SyntaxExprTc) |
Typecheck a syntax operator The operator is a variable or a lambda at this stage (i.e. renamer output)t
tcSyntaxOpGen :: CtOrigin -> SyntaxExprRn -> [SyntaxOpType] -> SyntaxOpType -> ([TcSigmaType] -> [Mult] -> TcM a) -> TcM (a, SyntaxExprTc) Source #
Slightly more general version of tcSyntaxOp that allows the caller
to specify the shape of the result of the syntax operator
data SyntaxOpType #
Constructors
| SynAny | |
| SynRho | |
| SynList | |
| SynFun SyntaxOpType SyntaxOpType | |
| SynType ExpType |
synKnownType :: TcType -> SyntaxOpType #
tcCheckId :: Name -> ExpRhoType -> TcM (HsExpr GhcTc) Source #
addAmbiguousNameErr :: RdrName -> TcM () Source #
This name really is ambiguous, so add a suitable "ambiguous occurrence" error, then continue
getFixedTyVars :: [FieldLabelString] -> [TyVar] -> [ConLike] -> TyVarSet Source #