Type classes represent categories of type. Each type class is assigned a range of possible ids, and each instantiation of a type class (a Type), has an id within that range.
Builtin Type Classes:
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Type classes represent categories of type. Each type class is assigned a range of possible ids, and each instantiation of a type class (a Type), has an id within that range.
Builtin Type Classes: