Documentation

bitraverseHsConDetails :: Applicative m => (arg -> m arg') -> (rec -> m rec') -> HsConDetails arg rec -> m (HsConDetails arg' rec') Source #

grhsToExpr :: LGRHS p (LHsExpr p) -> LHsExpr p Source #

mkApps :: Monad m => LHsExpr GhcPs -> [LHsExpr GhcPs] -> TransformT m (LHsExpr GhcPs) Source #

mkConPatIn :: Monad m => Located RdrName -> HsConPatDetails GhcPs -> TransformT m (Located (Pat GhcPs)) Source #

mkHsAppsTy :: Monad m => [LHsType GhcPs] -> TransformT m (LHsType GhcPs) Source #

mkLams :: [LPat GhcPs] -> LHsExpr GhcPs -> TransformT IO (LHsExpr GhcPs) Source #

mkLet :: Monad m => HsLocalBinds GhcPs -> LHsExpr GhcPs -> TransformT m (LHsExpr GhcPs) Source #

mkLoc :: (Data e, Monad m) => e -> TransformT m (Located e) Source #

mkLocatedHsVar :: Monad m => Located RdrName -> TransformT m (LHsExpr GhcPs) Source #

mkVarPat :: Monad m => Located RdrName -> TransformT m (LPat GhcPs) Source #

mkTyVar :: Monad m => Located RdrName -> TransformT m (LHsType GhcPs) Source #

parenify :: Monad m => Context -> LHsExpr GhcPs -> TransformT m (LHsExpr GhcPs) Source #

parenifyT :: Monad m => Context -> LHsType GhcPs -> TransformT m (LHsType GhcPs) Source #

parenifyP :: Monad m => Context -> Located (Pat GhcPs) -> TransformT m (Located (Pat GhcPs)) Source #

patToExpr :: Monad m => LPat GhcPs -> PatQ m (LHsExpr GhcPs) Source #

patToExprA :: AlphaEnv -> AnnotatedPat -> AnnotatedHsExpr Source #

setAnnsFor :: (Data e, Monad m) => Located e -> [(KeywordId, DeltaPos)] -> TransformT m (Located e) Source #

unparen :: LHsExpr GhcPs -> LHsExpr GhcPs Source #

unparenP :: Located (Pat GhcPs) -> Located (Pat GhcPs) Source #

unparenT :: LHsType GhcPs -> LHsType GhcPs Source #

wildSupply :: [RdrName] -> [RdrName] Source #