Retrie.Expr

Documentation

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

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

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)

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

mkTyVar :: Monad m => Located 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)

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

patToExprA :: AlphaEnv -> AnnotatedPat -> AnnotatedHsExpr

unparen :: LHsExpr GhcPs -> LHsExpr GhcPs

unparenT :: LHsType GhcPs -> LHsType GhcPs

wildSupply :: [RdrName] -> [RdrName]