I want a certain type of pedal, what kind would it be?

[Half_Proud_American]

My amp has a gain button that turns on some good distortion. I want to use that distortion, but I need to switch from that to clean on my amp quickly. What kind of pedal would do this right?