A machine for crushing rock or other materials. Among the various types of crushers are the ball-mill, gyratory-crusher, Hadsel mill, hammer mill, jaw crusher, rod mill, rolls, stamp mill, and tube mill.