Retrie.Expr

Documentation

bitraverseHsConDetails :: Applicative m => ([tyarg] -> m [tyarg']) -> (arg -> m arg') -> (rec -> m rec') -> HsConDetails tyarg arg rec -> m (HsConDetails tyarg' arg' rec')

getUnparened :: Data k => k -> k

grhsToExpr :: LGRHS GhcPs (LHsExpr GhcPs) -> LHsExpr GhcPs

mkApps :: MonadIO m => LHsExpr GhcPs -> [LHsExpr GhcPs] -> TransformT m (LHsExpr GhcPs)

mkConPatIn :: Monad m => LocatedN RdrName -> HsConPatDetails GhcPs -> TransformT m (LPat GhcPs)

mkEpAnn :: Monad m => DeltaPos -> an -> TransformT m (EpAnn an)

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

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

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

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

mkLocA :: (Data e, Monad m, Monoid an) => DeltaPos -> e -> TransformT m (LocatedAn an e)

mkLocatedHsVar :: Monad m => LocatedN RdrName -> TransformT m (LHsExpr GhcPs)

mkVarPat :: Monad m => LocatedN RdrName -> TransformT m (LPat GhcPs)

mkTyVar :: Monad m => LocatedN RdrName -> TransformT m (LHsType GhcPs)

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

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

parenifyP :: Monad m => Context -> LPat GhcPs -> TransformT m (LPat GhcPs)

patToExpr :: MonadIO m => LPat GhcPs -> PatQ m (LHsExpr GhcPs)

unparen :: LHsExpr GhcPs -> LHsExpr GhcPs

unparenP :: LPat GhcPs -> LPat GhcPs

unparenT :: LHsType GhcPs -> LHsType GhcPs

wildSupply :: [RdrName] -> [RdrName]