sellout / dada
A total recursion scheme library for Dhall
☆66Updated 2 months ago
Alternatives and similar repositories for dada:
Users that are interested in dada are comparing it to the libraries listed below
- Wailing into the primordial ooze of category theory☆55Updated last month
- Tasty meal of Dhall☆66Updated last year
- Dual Traversable☆42Updated last year
- An experiment in functional interface design☆24Updated 8 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Automatic type class law checking.☆24Updated 3 months ago
- Cofun with Cofree Comonads☆32Updated 8 years ago
- Automation of Haskell package release process.☆31Updated last year
- Zippers based on lenses and traversals☆39Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Type-safe error handling☆64Updated last year
- join and meet semilattices, lower and upper bounds.☆43Updated 7 months ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Smash products, Wedge products, and other Pointed stuff☆34Updated 3 years ago
- An extension to Data.Serialize with built-in version control☆59Updated last month
- Reasonable Haskell default import☆27Updated 2 years ago
- Yet another yet another recursion scheme library in Haskell.☆88Updated 3 weeks ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 weeks ago
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- Serializable closures for distributed programming.☆64Updated last year
- Literally the best anonymous records☆35Updated 2 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 4 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago