We introduce the definitions of pedaloids and orthotomicoids of spherical curves. By using the theory of envelopes of circle families on S^2, we investigate the relationships among evolutoids, pedaloids and orthotomicoids of spherical curves. Moreover, we can generalize these notions and relationships to the category of frontal curves on S^2. This is a join work with Lili Wang.