exhaustiveness-checking

There are 0 repository under exhaustiveness-checking topic.

• derive4j / derive4j

  Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

  algebraic-data-typesopticsfunctional-programmingalgebravisitor-patternannotation-processorjava-8derive4jcatamorphismsvisitorlazinessjavasum-typestagged-unionsdiscriminated-unionsexhaustiveness-checkingfold
  Language:Java 577

• lukemorales / exhaustive

  Exhaustiveness checking in TypeScript

  exhaustiveexhaustive-checkexhaustiveness-checkingmatchpattern-matchingts-patternunreachable
  Language:TypeScript 354

• CodelyTV / awesome-typescript-examples

  ✨ Awesome TypeScript Examples with complete show cases of how to take advantage of the language potential.

  typescriptanydecoratorsdependency-injectionenumseslintexamplesexhaustiveness-checkinggenericstypescript-exampleunknownutility-typestypescript-examples
  Language:TypeScript 190

• WalkerCodeRanger / ExhaustiveMatching

  C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions

  csharp-librarydiscriminated-unionsexhaustiveness-checkingnuget-packageroslyn-analyzer
  Language:C# 82

• babakness / exhaustive-type-checking

  Helpers for Exhaustive Type Checking with TypeScript

  exhaustive-type-checkingexhaustiveness-checkinglessontypescript
  Language:TypeScript 23

• lpil / total

  Basic exhaustiveness checking of unions in Elixir

  elixir-langexhaustiveness-checkingmacros
  Language:Elixir 16

• Gozala / unreachable

  Utility function for exhaustiveness checking with typed JS (TS or Flow)

  flowtypescriptexhaustiveness-checkingtagged-unionsdisjoint-unionsdiscriminated-unionsswitch-default-case
  Language:JavaScript 14

• ootidea / ts-tagged-union

  A library for defining and manipulating algebraic data types in TypeScript.

  algebraic-data-typesdiscriminated-unionsexhaustiveness-checkinglibrarynarrowingnpm-packagepattern-matchingtagged-unionstypescript
  Language:TypeScript 8

• badeend / EnumClass

  Enums with payloads. Or for the fancy pants: discriminated unions for C# with compile-time exhaustiveness checking, implemented using closed type hierarchies.

  analyzercsharpdiscriminated-unionsexhaustiveness-checking
  Language:C# 2

• diogorrio / discovering_fm_for_treewidth

  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.

  exhaustiveness-checkingf4f5forbidden-minorsgraph-theory-algorithmspruning-algorithmsthesistreewidth
  Language:Python 0

• pjrebsch / finity

  Finite state management with exhaustiveness and transition enforcement for TypeScript.

  exhaustiveness-checkingfinite-state-machinestate-managementswitch-casetypescripttransition-enforcement
  Language:TypeScript 0

• buschtoens / unsupported-value-error

  Utility Error class for performing exhaustiveness checks via exceptions in TypeScript.

  typescriptexhaustiveness-checkingtypescontrol-flow
  Language:TypeScript

• frou / exhaustive-helper

  Make tolerable a poor man's version of exhaustive pattern-matching, in TypeScript

  denoexhaustiveness-checkingfunctional-programmingpattern-matchingswitch-statementtype-checkingtypescript
  Language:TypeScript