Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
-
Updated
Dec 1, 2022 - Java
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Algebraic data types for C99
Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
Base software building blocks: Algebraic types (aka sumtype/tagged union/variant), universal reflection API, basic math, and more.
Algebraic data types for Python (experimental, not actively maintained)
Type-safe functional tools for Python.
A JavaScript library for creating websites, PWAs and hybrid apps.
A NaN-tagged value using a 64-bit floating-point number (`f64`) as base, providing a 16-bit tag and 32-bits of payload.
Smalltalk like programming language
Utility function for exhaustiveness checking with typed JS (TS or Flow)
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Tagged unions for Elixir. Just that.
Pile of utilities around ugeneric_t type.
Pattern matching and tagged unions in JavaScript without new syntax.
minimal utilities to work with union types and tagged unions (a.k.a. discriminated unions) in TypeScript
Algebraic sum types for TypeScript, designed after Rust's enums
Lightweight state machines in TypeScript
Add a description, image, and links to the tagged-unions topic page so that developers can more easily learn about it.
To associate your repository with the tagged-unions topic, visit your repo's landing page and select "manage topics."