carbon-language/carbon-lang

Fork 0

mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-24 18:30:30 +01:00

Files

T

History

642fcd3b77 Replace keyword is with impls (#2483 )

Use the keyword `impls` instead of `is` when writing a `where` constraint that a type variable needs to implement an interface or named constraint.

What was previously (provisionally) written:
```
fn Sort[T:! Container where .ElementType is Ordered](x: T*);
```
will now be written:
```
fn Sort[T:! Container where .ElementType impls Ordered](x: T*);
```

---------

Co-authored-by: Geoff Romer <gromer@google.com>
Co-authored-by: Chandler Carruth <chandlerc@gmail.com>

2023-03-22 21:45:32 -07:00

appendix-coherence.md

Fix doc rename struct to class (#2648 )

2023-03-02 09:48:06 -08:00

details.md

Replace keyword is with impls (#2483 )

2023-03-22 21:45:32 -07:00

goals.md

grammar mistakes (#1915 )

2022-08-05 08:33:24 -07:00

overview.md

Replace keyword is with impls (#2483 )

2023-03-22 21:45:32 -07:00

README.md

Clean up titles for a few docs, mainly to remove 'Carbon' prefixes (#894 )

2021-10-15 15:03:36 -07:00

terminology.md

Replace keyword is with impls (#2483 )

2023-03-22 21:45:32 -07:00

README.md

Generics

This directory contains the collection of documents describing the generics feature of Carbon:

Overview - A high-level description of the generics design, with pointers to other design documents that dive deeper into individual topics.
Goals - The motivation and principles guiding the design direction.
Terminology - A glossary establishing common terminology for describing the design.
Detailed design - In depth description of how generic type parameters work.
~~Rejected alternatives~~ - not implemented yet