ghc-8.4.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

RnPat

Documentation

rnPat :: HsMatchContext Name -> LPat GhcPs -> (LPat GhcRn -> RnM (a, FreeVars)) -> RnM (a, FreeVars) Source #

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

rnBindPat :: NameMaker -> LPat GhcPs -> RnM (LPat GhcRn, FreeVars) Source #

rnPatAndThen :: NameMaker -> Pat GhcPs -> CpsRn (Pat GhcRn) 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 -> (SrcSpan -> RdrName -> arg) -> HsRecFields GhcPs (Located arg) -> RnM ([LHsRecField GhcRn (Located arg)], FreeVars) Source #

data HsRecFieldContext Source #

Constructors

HsRecFieldCon Name 
HsRecFieldPat Name 
HsRecFieldUpd 

rnHsRecUpdFields :: [LHsRecUpdField GhcPs] -> RnM ([LHsRecUpdField GhcRn], FreeVars) Source #

data CpsRn b Source #

Instances
Monad CpsRn Source # 
Instance details

Defined in RnPat

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 Source # 
Instance details

Defined in RnPat

Methods

fmap :: (a -> b) -> CpsRn a -> CpsRn b Source #

(<$) :: a -> CpsRn b -> CpsRn a Source #

Applicative CpsRn Source # 
Instance details

Defined in RnPat

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

rnLit :: HsLit p -> RnM () Source #

rnOverLit :: HsOverLit t -> RnM ((HsOverLit GhcRn, Maybe (HsExpr GhcRn)), FreeVars) Source #

checkTupSize :: Int -> RnM () Source #

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