GHC.HsToCore.Utils · ghc-9.14.1

datadata EquationInfo

#

Constructors

EqnMatch
- eqn_pat :: LPat GhcTc
  The first pattern of the equation
  NB: The location info is used to determine whether the pattern is generated or not. This helps us avoid warnings on patterns that GHC elaborated.
  NB: We have already applied decideBangHood to this pattern. See Note [decideBangHood] in GHC.HsToCore.Utils
- eqn_rest :: EquationInfo
  The rest of the equation after its first pattern
EqnDone (MatchResult CoreExpr)
What to do after match

Instances1Outputable

Outputable EquationInfoDefined in ghc-9.14.1 · GHC.HsToCore.Monad

valuefirstPat :: EquationInfoNE -> Pat GhcTc

#

valueshiftEqns :: Functor f => f EquationInfoNE -> f EquationInfo

#

valuecombineEqnRhss :: NonEmpty EquationInfo -> DsM (MatchResult CoreExpr)

#

datadata MatchResult a

#

This is a value of type a with potentially a CoreExpr-shaped hole in it. This is used to deal with cases where we are potentially handling pattern match failure, and want to later specify how failure is handled.

Constructors

MR_Infallible (DsM a)
We represent the case where there is no hole without a function from CoreExpr, like this, because sometimes we have nothing to put in the hole and so want to be sure there is in fact no hole.
MR_Fallible (CoreExpr -> DsM a)

Instances2Functor, Applicative

Functor MatchResultDefined in ghc-9.14.1 · GHC.HsToCore.Monad
Applicative MatchResultDefined in ghc-9.14.1 · GHC.HsToCore.Monad
Product is an "or" on fallibility---the combined match result is infallible only if the left and right argument match results both were.
This is useful for combining a bunch of alternatives together and then getting the overall fallibility of the entire group. See mkDataConCase for an example.

datadata CaseAlt a

#

Constructors

MkCaseAlt
- alt_pat :: a
- alt_bndrs :: [Var]
- alt_wrapper :: HsWrapper
- alt_result :: MatchResult CoreExpr

valuecantFailMatchResult :: CoreExpr -> MatchResult CoreExpr

#

valuealwaysFailMatchResult :: MatchResult CoreExpr

#

valueextractMatchResult :: MatchResult CoreExpr -> CoreExpr -> DsM CoreExpr

#

valuecombineMatchResults

#

valueadjustMatchResultDs :: (a -> DsM b) -> MatchResult a -> MatchResult b

#

valueshareFailureHandler :: MatchResult CoreExpr -> MatchResult CoreExpr

#

valuedsHandleMonadicFailure

#

valuemkCoLetMatchResult

#

valuemkViewMatchResult

#

valuemkGuardedMatchResult

#

valuematchCanFail :: MatchResult a -> Bool

#

valuemkEvalMatchResult

#

valuemkCoPrimCaseMatchResult

#

valuemkCoAlgCaseMatchResult

:: Id
Scrutinee
-> Type
Type of exp
-> NonEmpty (CaseAlt DataCon)
Alternatives (bndrs *include* tyvars, dicts)
-> MatchResult CoreExpr

#

valuemkCoSynCaseMatchResult

#

valuewrapBind :: Var -> Var -> CoreExpr -> CoreExpr

#

valuewrapBinds :: [(Var, Var)] -> CoreExpr -> CoreExpr

#

valuemkErrorAppDs :: Id -> Type -> SDoc -> DsM CoreExpr

#

valuemkCastDs :: CoreExpr -> Coercion -> CoreExpr

#

valuemkFailExpr :: HsMatchContextRn -> Type -> DsM CoreExpr

#

valueseqVar :: Var -> CoreExpr -> CoreExpr

#

valuemkLHsPatTup :: [LPat GhcTc] -> LPat GhcTc

#

valuemkVanillaTuplePat :: [LPat GhcTc] -> Boxity -> Pat GhcTc

#

valuemkBigLHsVarTupId :: [Id] -> LHsExpr GhcTc

#

valuemkBigLHsTupId :: [LHsExpr GhcTc] -> LHsExpr GhcTc

#

valuemkBigLHsVarPatTupId :: [Id] -> LPat GhcTc

#

valuemkBigLHsPatTupId :: [LPat GhcTc] -> LPat GhcTc

#

valuemkSelectorBinds

:: [[CoreTickish]]
ticks to add, possibly
-> LPat GhcTc
The pattern
-> HsMatchContextRn
Where the pattern occurs
-> CoreExpr
Expression to which the pattern is bound
-> DsM (Id, [(Id, CoreExpr)])
Id the rhs is bound to, for desugaring strict binds (see Note [Desugar Strict binds] in GHC.HsToCore.Binds) and all the desugared binds