Operator represents a type scheme in the type system.
| 136 | |
| 137 | // Operator represents a type scheme in the type system. |
| 138 | type Operator struct { |
| 139 | // Name is a common name for this operator |
| 140 | Name string |
| 141 | // Args is the sequence of types that are parameters to this type. They |
| 142 | // may be fully bound type operators, or partially defined (i.e. contain |
| 143 | // TypeVariables) in which case they represent polymorphism in the operator |
| 144 | // they are arguments to. |
| 145 | Args []Type |
| 146 | } |
| 147 | |
| 148 | // Root returns an exemplar of a TypeOperator, i.e. itself. |
| 149 | func (t *Operator) Root() Type { |
nothing calls this directly
no outgoing calls
no test coverage detected