6.5. Records¶
- 6.5.1. Traditional record syntax
- 6.5.2. Field selectors and
TypeApplications
- 6.5.3. Record field disambiguation
- 6.5.4. Duplicate record fields
- 6.5.5. Field selectors
- 6.5.6. Record puns
- 6.5.7. Record wildcards
- 6.5.8. Record field selector polymorphism
- 6.5.9. Overloaded record dot
- 6.5.10. Overloaded record update