I want to redirect all traffic to HTTPS and WWW at the same time

Question

What I currently have is

RewriteEngine On
RewriteCond %{SERVER_PORT} 80
RewriteRule ^(.*)$ https://www.example.com/$1 [R=301,L]

This code red