| 62 | } |
| 63 | |
| 64 | func (s *_TypeSet) String() string { |
| 65 | switch { |
| 66 | case s.IsEmpty(): |
| 67 | return "∅" |
| 68 | case s.IsAll(): |
| 69 | return "𝓤" |
| 70 | } |
| 71 | |
| 72 | hasMethods := len(s.methods) > 0 |
| 73 | hasTerms := s.hasTerms() |
| 74 | |
| 75 | var buf bytes.Buffer |
| 76 | buf.WriteByte('{') |
| 77 | if s.comparable { |
| 78 | buf.WriteString("comparable") |
| 79 | if hasMethods || hasTerms { |
| 80 | buf.WriteString("; ") |
| 81 | } |
| 82 | } |
| 83 | for i, m := range s.methods { |
| 84 | if i > 0 { |
| 85 | buf.WriteString("; ") |
| 86 | } |
| 87 | buf.WriteString(m.String()) |
| 88 | } |
| 89 | if hasMethods && hasTerms { |
| 90 | buf.WriteString("; ") |
| 91 | } |
| 92 | if hasTerms { |
| 93 | buf.WriteString(s.terms.String()) |
| 94 | } |
| 95 | buf.WriteString("}") |
| 96 | return buf.String() |
| 97 | } |
| 98 | |
| 99 | // ---------------------------------------------------------------------------- |
| 100 | // Implementation |