iokasimov / monopati
Well-typed paths
☆20Updated 6 years ago
Alternatives and similar repositories for monopati:
Users that are interested in monopati are comparing it to the libraries listed below
- An experiment in functional interface design☆23Updated 8 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated 4 months ago
- A convenient DSL for describing web routes☆42Updated 4 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 2 weeks ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 3 months ago
- Safe web routing in haskell☆30Updated last year
- Automation of Haskell package release process.☆31Updated last year
- Compare the public API of different versions of a Hackage library☆63Updated 6 years ago
- Open records for Haskell☆22Updated 7 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Updated 7 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- ☆24Updated 4 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- a PostgreSQL client library implemented with pure Haskell☆36Updated 4 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- ☆54Updated 6 years ago
- IO without any PseudoExceptions☆28Updated 4 years ago
- Automatically re-export Haskell modules.☆32Updated last month
- Dual Traversable☆42Updated last year
- ☆20Updated 2 years ago
- Extensible type-safe unions for Haskell☆33Updated 2 weeks ago
- Derive instances through isomorphisms☆20Updated 9 months ago
- A little script to upload documentation to Hackage within a stack-powered project☆14Updated 4 years ago