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