There are 0 repository under exhaustiveness-checking topic.
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Exhaustiveness checking in TypeScript
✨ Awesome TypeScript Examples with complete show cases of how to take advantage of the language potential.
C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions
Helpers for Exhaustive Type Checking with TypeScript
Utility function for exhaustiveness checking with typed JS (TS or Flow)
A library for defining and manipulating algebraic data types in TypeScript.
Enums with payloads. Or for the fancy pants: discriminated unions for C# with compile-time exhaustiveness checking, implemented using closed type hierarchies.
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.
Utility Error class for performing exhaustiveness checks via exceptions in TypeScript.
Make tolerable a poor man's version of exhaustive pattern-matching, in TypeScript