ChrisPenner / update-monad
An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf
☆13Updated 5 years ago
Related projects: ⓘ
- ☆12Updated 4 years ago
- Omit fields for instance deriving☆37Updated 4 years ago
- ☆13Updated 4 years ago
- ☆11Updated last year
- Servant dhall bindings☆19Updated 3 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 7 months ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 3 months ago
- Folds for recursive types with GHC Generics☆26Updated 4 years ago
- The greatest hits of https://gist.github.com/RyanGlScott☆11Updated last year
- United Monoids☆24Updated last year
- A library for generic programming that aims to be easy to understand☆26Updated 2 years ago
- A Generic implementation of data-has.☆22Updated 4 years ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- Applicative maps☆15Updated last year
- Haskell library of row polymorphic record manipulator☆19Updated 3 years ago
- Overloaded plugin☆31Updated 3 months ago
- Script to download all of Hackage☆14Updated 5 years ago
- Use tests to monitor changes in Aeson serialization☆18Updated 3 weeks ago
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Speculate laws about Haskell functions☆30Updated 7 months ago
- An output coverage checker☆11Updated 6 years ago
- An experiment in functional interface design☆23Updated 7 years ago
- Compile-time checking for partial smart-constructors☆20Updated last year
- Clowns to the left of me, jokers to the right☆13Updated 5 years ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- Map and Set over contiguous memory☆21Updated last year
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆18Updated 2 months ago
- Safe web routing in haskell☆30Updated last year
- ☆33Updated 7 months ago