ghc-8.2.2: The GHC API

Safe Haskell | None
Language | Haskell2010

RnPat

# Documentation

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

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

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

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

data NameMaker #

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

localRecNameMaker :: MiniFixityEnv -> NameMaker #

topRecNameMaker :: MiniFixityEnv -> NameMaker #

isTopRecNameMaker :: NameMaker -> Bool #

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

data HsRecFieldContext #

Constructors

HsRecFieldCon Name |
HsRecFieldPat Name |
HsRecFieldUpd |

rnHsRecUpdFields :: [LHsRecUpdField RdrName] -> RnM ([LHsRecUpdField Name], FreeVars) #

data CpsRn b #

Instances

Monad CpsRn # |
Methods (>>=) :: CpsRn a -> (a -> CpsRn b) -> CpsRn b Source # (>>) :: CpsRn a -> CpsRn b -> CpsRn b Source # return :: a -> CpsRn a Source # fail :: String -> CpsRn a Source #
Functor CpsRn # |
Methods fmap :: (a -> b) -> CpsRn a -> CpsRn b Source # (<$) :: a -> CpsRn b -> CpsRn a Source #
Applicative CpsRn # |
Methods pure :: a -> CpsRn a Source # (<*>) :: CpsRn (a -> b) -> CpsRn a -> CpsRn b Source # liftA2 :: (a -> b -> c) -> CpsRn a -> CpsRn b -> CpsRn c Source # (*>) :: CpsRn a -> CpsRn b -> CpsRn b Source # (<*) :: CpsRn a -> CpsRn b -> CpsRn a Source #

liftCps :: RnM a -> CpsRn a #

rnLit :: HsLit -> RnM () #

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

checkTupSize :: Int -> RnM () #

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