UnionsTypes, Classes and PropertiesSingletonsSubclasses

Subclasses

Subclass types match classes and their subclasses. They are quite useful in situations that involve class arguments that need to be further constrained.
 <subclass> (<type>) C
 t< (x|<class> => <subclass>) G
returns subclass type constrained to subclasses of x.
 type-class (x|<subclass> => <class>) G
object that subclass type matches.


UnionsTypes, Classes and PropertiesSingletonsSubclasses