Skip to content

Practice Paths Tracks Cheatsheets Playground Glossary AI era

English Chinese

Practice Paths Tracks Cheatsheets Playground Glossary AI era

English Chinese

Glossary / exhaustive-when

Exhaustive when

A when expression whose branches cover every possible value of its subject.

Previous term Execution transcript Next term Existential type

CodeWiki · progress stays in your browser

Code: MIT Content: CC BY-SA 4.0

GitHub Contribute About llms.txt GitHub repo

A new version is available