dorchard / type-level-setsLinks
Type-level sets for Haskell (with value-level counterparts and various operations)
☆66Updated last year
Alternatives and similar repositories for type-level-sets
Users that are interested in type-level-sets are comparing it to the libraries listed below
Sorting:
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- ☆45Updated 3 years ago
- Type-safe time units in Haskell☆49Updated 4 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated last month
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- ☆54Updated 6 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Zippers based on lenses and traversals☆40Updated last year
- rewrite rules for type-level equalities☆62Updated last year
- Dual Traversable☆42Updated 2 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- Flexible persistence for Haskell data types primarily based on event logging and checkpoints☆48Updated 6 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Maps using values' monoidal structure during merging☆42Updated last month
- Demonstrating comonad transformers.☆37Updated 8 years ago
- Cofun with Cofree Comonads☆32Updated 8 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- ☆68Updated last year
- A monad for managed values☆50Updated 2 years ago
- Tools for programming with ConstraintKinds in GHC☆72Updated 7 months ago
- Type-safe error handling☆64Updated last year
- A tiny EDSL to write type-level-unit tests☆49Updated 6 years ago
- First-class type families☆87Updated last week
- An experiment in functional interface design☆24Updated 8 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Efficient conversion of values into Text☆40Updated 2 months ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago