singletons

Dependent type ecosystem

An ecosystem of singleton types that allow dependently typed techniques to enforce rich constraints among program types

Fake dependent types in Haskell using singletons

GitHub

287 stars
17 watching
36 forks
Language: Haskell
last commit: 25 days ago

Related projects:

Repository Description Stars
greyblake/nutype A tool that adds extra constraints to the newtype pattern in Rust 1,418
fthomas/refined A Scala library that allows adding constraints to types at compile-time using type-level predicates. 1,713
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 847
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. 916
lysxia/first-class-families A library providing a foundation for type-level functions and compositions in Haskell 86
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 58
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