type-level-sets
by dorchard
Type-level sets for Haskell (with value-level counterparts and various operations)
AI summary
Type-level set library
A Haskell library providing data structures and operations for working with sets and maps at the type level
- stars
- 66
- forks
- 22
- watching
- 4
Similar projects
Found by comparing what the projects do, not just their names.
typelevel/doobie2.2K
Database abstraction library
A functional JDBC layer that abstracts database interactions in a Scala-based programming language
Type class library
A library that simplifies the use of type classes in Scala
Type system library
A Haskell library for working with refined types to represent and manipulate data structures
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Data type builder
A Haskell library for creating and manipulating compositional data types in a modular and flexible way
list library
A data structure library providing efficient append and snoc operations for list-like types
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Type checker
A Haskell implementation of type checking and evaluation for higher-rank polymorphism
Type definitions
A collection of type definitions for Dojo 1.x libraries and frameworks.
Key-value store library
Provides Haskell bindings to LevelDB for fast, disk-based key-value storage
Linear type library
A standard library providing minimal facilities to write practical code with linear types in Haskell.
Type-based DSL
An experiment in building a domain-specific language (DSL) to query structured objects using TypeScript's type system
Parser library
A parser combinator library designed to be industrial-strength and easy to use
Type level language exploration
Exploring type-level programming in Rust with a focus on simplicity and expressiveness
Type converter
Generates matching Elm type definitions and JSON encoders and decoders from Haskell types
