Helpers for Exhaustive Type Checking with TypeScript
-
Updated
Apr 8, 2019 - TypeScript
Helpers for Exhaustive Type Checking with TypeScript
Basic exhaustiveness checking of unions in Elixir
Utility function for exhaustiveness checking with typed JS (TS or Flow)
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Utility Error class for performing exhaustiveness checks via exceptions in TypeScript.
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.
✨ 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
A library for defining and manipulating algebraic data types in TypeScript.
Make tolerable a poor man's version of exhaustive pattern-matching, in TypeScript
A research programming language on top of C macros
Exhaustiveness checking in TypeScript
Enums with payloads. Or for the fancy pants: discriminated unions for C# with compile-time exhaustiveness checking, implemented using closed type hierarchies.
Add a description, image, and links to the exhaustiveness-checking topic page so that developers can more easily learn about it.
To associate your repository with the exhaustiveness-checking topic, visit your repo's landing page and select "manage topics."