iRule to redirect to a different url and change port from 80 to 443

Hello folks,     I am looking to combine to things with a iRule. Basically what i want is if a user comes to http://www.abc.com gets redirected to https://www.xyz.com. This is what i have so f...