irule for redirect https to https v9

I am looking for assistance with irule structure/ syntax. We are trying to create an irule that will take an https host name and append a www in front of it. For example https://dog.food.com -> http...