Documentation

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) #