| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Rename.Pat
Synopsis
- rnPat :: HsMatchContextRn -> LPat GhcPs -> (LPat GhcRn -> RnM (a, FreeVars)) -> RnM (a, FreeVars)
- rnPats :: HsMatchContextRn -> [LPat GhcPs] -> ([LPat GhcRn] -> RnM (a, FreeVars)) -> RnM (a, FreeVars)
- rnBindPat :: NameMaker -> LPat GhcPs -> RnM (LPat GhcRn, FreeVars)
- data NameMaker
- applyNameMaker :: NameMaker -> LocatedN RdrName -> RnM (LocatedN Name)
- localRecNameMaker :: MiniFixityEnv -> NameMaker
- topRecNameMaker :: MiniFixityEnv -> NameMaker
- isTopRecNameMaker :: NameMaker -> Bool
- rnHsRecFields :: HsRecFieldContext -> (SrcSpan -> RdrName -> arg) -> HsRecFields GhcPs (LocatedA arg) -> RnM ([LHsRecField GhcRn (LocatedA arg)], FreeVars)
- data HsRecFieldContext
- rnHsRecUpdFields :: [LHsRecUpdField GhcPs GhcPs] -> RnM (XLHsRecUpdLabels GhcRn, [LHsRecUpdField GhcRn GhcRn], FreeVars)
- data CpsRn b
- liftCps :: RnM a -> CpsRn a
- liftCpsWithCont :: (forall r. (b -> RnM (r, FreeVars)) -> RnM (r, FreeVars)) -> CpsRn b
- rnLit :: HsLit p -> RnM ()
- rnOverLit :: XXOverLit t ~ DataConCantHappen => HsOverLit t -> RnM ((HsOverLit GhcRn, Maybe (HsExpr GhcRn)), FreeVars)
Documentation
rnPat :: HsMatchContextRn -> LPat GhcPs -> (LPat GhcRn -> RnM (a, FreeVars)) -> RnM (a, FreeVars) Source #
rnPats :: HsMatchContextRn -> [LPat GhcPs] -> ([LPat GhcRn] -> RnM (a, FreeVars)) -> RnM (a, FreeVars) Source #
isTopRecNameMaker :: NameMaker -> Bool Source #
rnHsRecFields :: HsRecFieldContext -> (SrcSpan -> RdrName -> arg) -> HsRecFields GhcPs (LocatedA arg) -> RnM ([LHsRecField GhcRn (LocatedA arg)], FreeVars) Source #
data HsRecFieldContext Source #
Constructors
| HsRecFieldCon Name | |
| HsRecFieldPat Name | |
| HsRecFieldUpd |
rnHsRecUpdFields :: [LHsRecUpdField GhcPs GhcPs] -> RnM (XLHsRecUpdLabels GhcRn, [LHsRecUpdField GhcRn GhcRn], FreeVars) Source #
Rename a regular (non-overloaded) record field update, disambiguating the fields if necessary.