Repository navigation

#

tagged-unions

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

Java
570
2 年前

Algebraic data types for Python (experimental, not actively maintained)

Python
173
4 年前

Type-safe functional tools for Python.

Python
96
8 个月前
Kotlin
52
18 小时前

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

JavaScript
44
7 年前

Tagged unions for Elixir. Just that.

Elixir
42
1 年前

Base software building blocks: Algebraic types (aka sumtype/tagged union/variant), universal reflection API, basic math, and more.

D
34
4 个月前
HTML
27
3 年前
JavaScript
20
5 年前

Helps to easily JSON marshal / unmarshal tagged unions in go

Go
20
2 年前

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

JavaScript
14
5 年前

Pattern matching and tagged unions in JavaScript without new syntax.

JavaScript
13
7 年前

Small TS library to type and safely handle `serde` JSON serializations of Rust enums.

TypeScript
11
5 个月前

minimal utilities to work with union types and tagged unions (a.k.a. discriminated unions) in TypeScript

TypeScript
9
4 年前

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

TypeScript
9
7 个月前

A NaN-tagged value using a 64-bit floating-point number (`f64`) as base, providing a 16-bit tag and 32-bits of payload.

Rust
8
2 年前

A macro for Janet for creating sum types

8
5 年前