DsGRHSs
dsGuarded :: GRHSs GhcTc (LHsExpr GhcTc) -> Type -> DsM CoreExpr Source #
dsGRHSs :: HsMatchContext Name -> GRHSs GhcTc (LHsExpr GhcTc) -> Type -> DsM MatchResult Source #
dsGRHS :: HsMatchContext Name -> Type -> LGRHS GhcTc (LHsExpr GhcTc) -> DsM MatchResult Source #
isTrueLHsExpr :: LHsExpr GhcTc -> Maybe (CoreExpr -> DsM CoreExpr) Source #