[wp-hackers] Getting every page ID, URL, and Title on site

[Robert Lusby]

Any ideas on the cleanest way to list every page (inc pages, posts, and
custom post types) in a site?

I only require ID, Title and Permalink(URL) for each page.

Seems so simple, but running a loop seems so excessive as I don't require
the page content at all ... and get_pages only works on pages (not custom
post types) (plus also returns content).

Any suggestions for the least intensive way to simply get these three items?

Thanks,
Rob