Websites normally employ several redirects to avoid duplicate content pages etc for SEO purposes. The following is the behaviour I found easiest to setup and most consistently used on the web. It also aligns well with the behaviour popular tools like nginx / apache / wordpress. The key is consistency.
http://(.*) -> 301 https://$1