ghc-6.12.3: The GHC APISource codeContentsIndex
DsUtils
Description
Utility functions for constructing Core syntax, principally for desugaring
Documentation
data EquationInfo Source
Constructors
EqnInfo
eqn_pats :: [Pat Id]
eqn_rhs :: MatchResult
show/hide Instances
firstPat :: EquationInfo -> Pat IdSource
shiftEqns :: [EquationInfo] -> [EquationInfo]Source
data MatchResult Source
Constructors
MatchResult CanItFail (CoreExpr -> DsM CoreExpr)
data CanItFail Source
Constructors
CanFail
CantFail
cantFailMatchResult :: CoreExpr -> MatchResultSource
alwaysFailMatchResult :: MatchResultSource
extractMatchResult :: MatchResult -> CoreExpr -> DsM CoreExprSource
combineMatchResults :: MatchResult -> MatchResult -> MatchResultSource
adjustMatchResult :: DsWrapper -> MatchResult -> MatchResultSource
adjustMatchResultDs :: (CoreExpr -> DsM CoreExpr) -> MatchResult -> MatchResultSource
mkCoLetMatchResult :: CoreBind -> MatchResult -> MatchResultSource
mkViewMatchResult :: Id -> CoreExpr -> Id -> MatchResult -> MatchResultSource
mkGuardedMatchResult :: CoreExpr -> MatchResult -> MatchResultSource
matchCanFail :: MatchResult -> BoolSource
mkEvalMatchResult :: Id -> Type -> MatchResult -> MatchResultSource
mkCoPrimCaseMatchResult :: Id -> Type -> [(Literal, MatchResult)] -> MatchResultSource
mkCoAlgCaseMatchResult :: Id -> Type -> [(DataCon, [CoreBndr], MatchResult)] -> MatchResultSource
wrapBind :: Var -> Var -> CoreExpr -> CoreExprSource
wrapBinds :: [(Var, Var)] -> CoreExpr -> CoreExprSource
mkErrorAppDs :: Id -> Type -> SDoc -> DsM CoreExprSource
mkCoreAppDs :: CoreExpr -> CoreExpr -> CoreExprSource
mkCoreAppsDs :: CoreExpr -> [CoreExpr] -> CoreExprSource
seqVar :: Var -> CoreExpr -> CoreExprSource
mkLHsVarPatTup :: [Id] -> LPat IdSource
mkLHsPatTup :: [LPat Id] -> LPat IdSource
mkVanillaTuplePat :: [OutPat Id] -> Boxity -> Pat IdSource
mkBigLHsVarTup :: [Id] -> LHsExpr IdSource
mkBigLHsTup :: [LHsExpr Id] -> LHsExpr IdSource
mkBigLHsVarPatTup :: [Id] -> LPat IdSource
mkBigLHsPatTup :: [LPat Id] -> LPat IdSource
mkSelectorBinds :: LPat Id -> CoreExpr -> DsM [(Id, CoreExpr)]Source
dsSyntaxTable :: SyntaxTable Id -> DsM ([CoreBind], [(Name, Id)])Source
lookupEvidence :: [(Name, Id)] -> Name -> IdSource
selectSimpleMatchVarL :: LPat Id -> DsM IdSource
selectMatchVars :: [Pat Id] -> DsM [Id]Source
selectMatchVar :: Pat Id -> DsM IdSource
mkTickBox :: Int -> [Id] -> CoreExpr -> DsM CoreExprSource
mkOptTickBox :: Maybe (Int, [Id]) -> CoreExpr -> DsM CoreExprSource
mkBinaryTickBox :: Int -> Int -> CoreExpr -> DsM CoreExprSource
Produced by Haddock version 2.6.1