| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.HsToCore.Expr
Synopsis
- dsExpr :: HsExpr GhcTc -> DsM CoreExpr
- dsLExpr :: LHsExpr GhcTc -> DsM CoreExpr
- dsLExprNoLP :: LHsExpr GhcTc -> DsM CoreExpr
- dsLocalBinds :: LHsLocalBinds GhcTc -> CoreExpr -> DsM CoreExpr
- dsValBinds :: HsValBinds GhcTc -> CoreExpr -> DsM CoreExpr
- dsLit :: HsLit GhcRn -> DsM CoreExpr
- dsSyntaxExpr :: SyntaxExpr GhcTc -> [CoreExpr] -> DsM CoreExpr
- dsHandleMonadicFailure :: LPat GhcTc -> MatchResult CoreExpr -> FailOperator GhcTc -> DsM CoreExpr
Documentation
dsLExprNoLP :: LHsExpr GhcTc -> DsM CoreExpr Source #
Variant of dsLExpr that ensures that the result is not levity
polymorphic. This should be used when the resulting expression will
be an argument to some other function.
See Note [Levity polymorphism checking] in GHC.HsToCore.Monad
See Note [Levity polymorphism invariants] in GHC.Core
dsLocalBinds :: LHsLocalBinds GhcTc -> CoreExpr -> DsM CoreExpr Source #
dsValBinds :: HsValBinds GhcTc -> CoreExpr -> DsM CoreExpr Source #
dsSyntaxExpr :: SyntaxExpr GhcTc -> [CoreExpr] -> DsM CoreExpr Source #
dsHandleMonadicFailure :: LPat GhcTc -> MatchResult CoreExpr -> FailOperator GhcTc -> DsM CoreExpr Source #