RnPat

Documentation

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

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

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

rnPatAndThen :: NameMaker -> Pat GhcPs -> CpsRn (Pat GhcRn)

data NameMaker

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

localRecNameMaker :: MiniFixityEnv -> NameMaker

topRecNameMaker :: MiniFixityEnv -> NameMaker

isTopRecNameMaker :: NameMaker -> Bool

rnHsRecFields :: forall arg. HasSrcSpan arg => HsRecFieldContext -> (SrcSpan -> RdrName -> SrcSpanLess arg) -> HsRecFields GhcPs arg -> RnM ([LHsRecField GhcRn arg], FreeVars)

data HsRecFieldContext

Constructors

HsRecFieldCon Name

HsRecFieldPat Name

HsRecFieldUpd

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

data CpsRn b

Instances

Monad CpsRn

Defined in RnPat

Methods

(>>=) :: CpsRn a -> (a -> CpsRn b) -> CpsRn b

(>>) :: CpsRn a -> CpsRn b -> CpsRn b

return :: a -> CpsRn a

fail :: String -> CpsRn a

Functor CpsRn

Defined in RnPat

Methods

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

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

Applicative CpsRn

Defined in RnPat

Methods

pure :: a -> CpsRn a

(<*>) :: CpsRn (a -> b) -> CpsRn a -> CpsRn b

liftA2 :: (a -> b -> c) -> CpsRn a -> CpsRn b -> CpsRn c

(*>) :: CpsRn a -> CpsRn b -> CpsRn b

(<*) :: CpsRn a -> CpsRn b -> CpsRn a

liftCps :: RnM a -> CpsRn a

rnLit :: HsLit p -> RnM ()

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

checkTupSize :: Int -> RnM ()

patSigErr :: Outputable a => a -> SDoc