Helios language/ Builtins/


Any is a special type class that can be used to constrain a generic type parameter. Any matches any data-type or any function-type.

The list.fold() and map.fold() methods use Any to allow the value being folded over to be of either function or data type.

The default empty type class matches only data-types (which is what is usually needed).