uniontypes

Union Types (ADTs, sum types) built on clojure.spec

Stars

115

Forks

5

Language

Clojure

Last Updated

May 18, 2023

Similar Repos
Repo Language Stars Description Updated At
Kotlin 67 Union types for Kotlin Aug 08, 2022
Dart 81 Union types for dart Jul 14, 2022
JavaScript 4 Sum types for JS Sep 25, 2019
TypeScript 5 Deep union types with priority Apr 19, 2023
C# 2 Sum types for Unity C# Mar 02, 2023
Haskell 10 Deriving Applicative for sum types.. Idiomatically. May 02, 2022
Haskell 27 Sum and Product types and such Apr 27, 2021
Python 11 Tagged union types and immutable records (product types) in Python Aug 12, 2019
Haxe 11 Union types in Haxe, similar to Typescript Feb 26, 2023
TypeScript 2 fp-ts bindings for @unsplash/sum-types. Feb 17, 2022
TypeScript 2 io-ts bindings for @unsplash/sum-types. Dec 31, 2021
Julia 25 An implementation of Sum types in Julia Jul 31, 2022
TypeScript 5 Typescript helpers to fold on sum types Dec 25, 2022
TypeScript 3 fast-check bindings for @unsplash/sum-types. Mar 16, 2023
C++ 29 Implementation of sum/option types using QVariant Dec 20, 2022
Haskell 3 haskell library for conversion of arbitrary data types to a "structural form" built from the … Jan 21, 2020
Haskell 32 open union and open product types in Haskell Oct 01, 2021
TypeScript 5 Higher-order Contracts for Intersection and Union Types Aug 26, 2020
TypeScript 44 Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱 Aug 21, 2022
TypeScript 28 Safe, ergonomic, non-generic sum types in TypeScript. Jul 21, 2022
JavaScript 7 Create and match against sum types in Javascript Sep 29, 2018
Clojure 3 Utilities for clojure.spec Jan 23, 2023
Python 2 ADTs for Python Oct 07, 2022
JavaScript 6 Converts TypeScript-like intersection types to JSDoc compatible union types, that is, from & -> | Apr 26, 2022
PHP 27 Improved abstraction for dealing with union and named types. Aug 12, 2022
TypeScript 2 @iadvize-oss/opaque-type - opaque types union for Typescript Aug 23, 2021
Kotlin 7 An ADT to represent discriminated union types in kotlin. Jun 05, 2023
Go 44 Sum/Union/Variant Type in Go and Static Check Tool of switch-case handling Nov 17, 2021
Rust 112 A Stable ABI for Rust with compact sum-types Apr 24, 2023
C++ 3 Comparison of vector element sum using various data types. Feb 11, 2023
TypeScript 16 Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen Sep 16, 2022
Clojure 13 Pretty print clojure.spec forms May 23, 2022
Elixir 9 Light ADTs for Elixir Mar 07, 2022
PureScript 8 Sum types with Generics-Rep instances to Variant for free! Dec 15, 2021
C 2 [WIP] Generic data structures and sum types with pattern matching. Apr 08, 2023
Rust 2 A macro to define union types with union semantics in release mode but debug assertions … Aug 05, 2021
Go 2 A Go implementation of the protocols for {MPSI, MPSIU, MPSI-Sum, MPSIU-Sum} described in Estimating Incidental … Jul 13, 2022
Go 299 A simple utility for running exhaustiveness checks on Go "sum types." Jul 24, 2022
Go 3 A simple utility for running exhaustiveness checks on Go "sum types." Mar 12, 2023
Go 6 Go does not support sum types. These are some alternative approaches. Oct 22, 2021
Python 27 A namedtuple-style library for defining immutable sum types in Python. Apr 14, 2023
Clojure 19 Generator management utility for clojure.spec Oct 21, 2021
Clojure 581 Clojure(Script) tools for clojure.spec Apr 27, 2023
Clojure 3 A clojure.spec based validation library. Feb 16, 2023
Clojure 2 Clojure(Script) tools for clojure.spec Apr 18, 2023
Clojure 9 Clear error messages for Clojure.spec Jan 18, 2023
C++ 2 Convert LATM/LOAS to ADTS Mar 15, 2022
Rust 3 Sketch of anonymous tagged union types (aka type federations) in stable Rust Apr 13, 2019
Scala 12 A micro-library to derive a typeclass for Scala 3 Union types. Apr 11, 2023
Java 3 Minkowski sum/difference computation, built on top of JTS Jun 16, 2021