Documentation

rnPat :: HsMatchContext Name -> LPat RdrName -> (LPat Name -> RnM (a, FreeVars)) -> RnM (a, FreeVars) Source

rnPats :: HsMatchContext Name -> [LPat RdrName] -> ([LPat Name] -> RnM (a, FreeVars)) -> RnM (a, FreeVars) Source

rnBindPat :: NameMaker -> LPat RdrName -> RnM (LPat Name, FreeVars) Source

rnPatAndThen :: NameMaker -> Pat RdrName -> CpsRn (Pat Name) Source

data NameMaker Source

applyNameMaker :: NameMaker -> Located RdrName -> RnM (Located Name) Source

localRecNameMaker :: MiniFixityEnv -> NameMaker Source

topRecNameMaker :: MiniFixityEnv -> NameMaker Source

isTopRecNameMaker :: NameMaker -> Bool Source

rnHsRecFields :: forall arg. HsRecFieldContext -> (RdrName -> arg) -> HsRecFields RdrName (Located arg) -> RnM ([LHsRecField Name (Located arg)], FreeVars) Source

data HsRecFieldContext Source

data CpsRn b Source

liftCps :: RnM a -> CpsRn a Source

rnLit :: HsLit -> RnM () Source

rnOverLit :: HsOverLit t -> RnM (HsOverLit Name, FreeVars) Source

checkTupSize :: Int -> RnM () Source

patSigErr :: Outputable a => a -> SDoc Source