To redirect from HTTP to HTTPS, create a virtual service on the IP you use for HTTPS on port 80. This service will act as a redirector and does not need real servers. Once created, scroll down to Advanced Properties. Under Not Available Redirection Handling, select '302 Found' as the Error Code and specify the URL you wish to redirect to as the Redirect URL. You may use the wildcards %h and %s to represent the requested hostname and URI respectively.
Some examples:
https://%h%shttp://example.com/path/to/file.ext
https://example.com/path/to/file.ext
https://%hhttp://example.com/path/to/file.ext
https://example.com
https://example.com/redirect/path http://example.com/path/to/file.ext
https://example.com/redirect/path