exhaustiveness-checking
Here are 13 public repositories matching this topic...
Language:All
Sort:Most stars
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- Updated
Dec 1, 2022 - Java
Exhaustiveness checking in TypeScript
- Updated
Jul 21, 2024 - TypeScript
✨ Awesome TypeScript Examples with complete show cases of how to take advantage of the language potential.
- Updated
Aug 20, 2024 - TypeScript
C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions
- Updated
Nov 19, 2023 - C#
Helpers for Exhaustive Type Checking with TypeScript
- Updated
Apr 8, 2019 - TypeScript
Basic exhaustiveness checking of unions in Elixir
- Updated
Jun 23, 2019 - Elixir
Utility function for exhaustiveness checking with typed JS (TS or Flow)
- Updated
Mar 16, 2020 - JavaScript
A library for defining and manipulating algebraic data types in TypeScript.
- Updated
Sep 23, 2024 - TypeScript
Enums with payloads. Or for the fancy pants: discriminated unions for C# with compile-time exhaustiveness checking, implemented using closed type hierarchies.
- Updated
Jun 1, 2024 - C#
Project code developed to accompany the thesis of the bachelor programme BSc Data Science and Artificial Intelligence taught @ Universiteit Maastricht. It consists in (re-)discovering Forbidden Minors for Treewidth, through a series of graph search/analysis techniques.
- Updated
Jun 23, 2023 - Python
Utility Error class for performing exhaustiveness checks via exceptions in TypeScript.
- Updated
Dec 15, 2023 - TypeScript
Finite state management with exhaustiveness and transition enforcement for TypeScript.
- Updated
Jul 1, 2025 - TypeScript
Make tolerable a poor man's version of exhaustive pattern-matching, in TypeScript
- Updated
Mar 1, 2024 - TypeScript
Improve this page
Add a description, image, and links to theexhaustiveness-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theexhaustiveness-checking topic, visit your repo's landing page and select "manage topics."