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

GitHub

288 stars

17 watching

37 forks

Language: Haskell

last commit: almost 2 years 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