singletons
Type constraint library
An ecosystem of singleton types in Haskell to enforce rich constraints among types in programs.
Fake dependent types in Haskell using singletons
288 stars
17 watching
37 forks
Language: Haskell
last commit: about 1 month ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 greyblake/nutype | A tool that adds extra constraints to the newtype pattern in Rust | 1,425 |
 fthomas/refined | A Scala library that allows adding constraints to types at compile-time using type-level predicates. | 1,715 |
| goldfirere/units | Provides compile-time dimensional analysis for Haskell applications | 95 |
 lanl/nchoosek | A programming framework for expressing constraints across classical and quantum computing architectures | 5 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 850 |
 tool-belt/type-predicates | A collection of utilities for creating and working with type-guards and assertions in TypeScript. | 54 |
 bijoutrouvaille/fireward | A Haskell-based language and compiler for writing Firestore security rules with type validation and idiomatic expressiveness. | 238 |
 rust-lang/flate2-rs | A library that provides bindings to various compression formats. | 936 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 aaronlevin/haskell-shopify | A type-safe client library for the Shopify API | 12 |
 mrkkrp/facts | A Haskell library for working with refined types to represent and manipulate data structures | 57 |
 ndmitchell/uniplate | A simple and efficient generics library for Haskell | 76 |
 dorchard/type-level-sets | A Haskell library providing data structures and operations for working with sets and maps at the type level | 66 |
 tweag/linear-base | A standard library providing minimal facilities to write practical code with linear types in Haskell. | 336 |
 ollef/bidirectional | An implementation of bidirectional type checking for higher-rank polymorphism in Haskell | 129 |