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