[haxe.org/manual] Generic about haxe.org-comments HOT 2 OPEN

In Java you can declare that T extends a certain class to ensure the generic type is of that class. E.g. if you have an animal class and a cat class that extends animal, you could make a generic that is Something and now you can use Cat or Animal but not things that aren't Animal extensions for the type of Something.

So... is there equivalent in Haxe for ensuring the T extends something?

from haxe.org-comments.

@Mimerr you can add constraints to type parameters to specify that they implement or are subclasses of other interfaces/types. For example, the following Java declaration:

public void drawAll(List<? extends Shape> shapes) { ... }

Is roughly equivalent to this Haxe declaration:

public function drawAll<T:Shape>(shapes:List<T>):Void { ... }

from haxe.org-comments.