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 NaN-tagged value using a 64-bit floating-point number (`f64`) as base, providing a 16-bit tag and 32-bits of payload.
A JavaScript library for creating websites, PWAs and hybrid apps.
Utility function for exhaustiveness checking with typed JS (TS or Flow)
Pile of utilities around ugeneric_t type.
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Tagged unions for Elixir. Just that.
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
PrimeFuncPack Core.Taggeds is a core pack for .NET consisting of fundamental tagged types targeted for use in functional programming: Optional and Result monads, Tagged Union, as well as the convert extensions.
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."