What are all the different types of lenses available for LEDs? I'm looking for a lens that would result in an effect similar to that of a 7-segment where a single LED creates a line segment of light.
Also, to make the question more general, and probably a little more useful to other people, how do you go about finding a lens for any LED application? I assume lenses are different based on size of led, surface mount/through-hole, viewing angle, desired diffusion etc.