iRule HTTP to HTTPS redirect keep port and uri

Hi,   Does anyone knows the correct syntax of an irule to redirect http to https and keeping the port   for example   http://www.example.com:8443 --> redirect_to --> https://www.example....