typed enumeration

A typed enumeration is an enumeration, which applies on a collection of instances of a given type. Categories of the enumeration usually divide any collection of objects of the given type into a set of complete and distinct subclasses. Thus, the categories can be associated with object types associated with the subclasses created.