Wordpress get permalink of post from ID

Permalink of a page or post using ID can be retrieved as follows:

$url = get_permalink($post_id);

Where $post_id  is the ID of the post or page whose permalink is to be get.