isovector / constraints-emerge
📤 defer instance resolution until runtime
☆18Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for constraints-emerge
- Source Layouting Engine☆11Updated 3 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 3 years ago
- high-level stream sockets in haskell☆17Updated 11 months ago
- A tool to fill in the version ranges in a cabal file.☆17Updated 9 years ago
- Port of the 'host' example in try-reflex to FLTKHS.☆12Updated 7 years ago
- A servant client written for GHCJS☆12Updated 7 years ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆22Updated 3 years ago
- TemplateHaskell functions to generate types and converter function.☆18Updated 10 months ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 6 years ago
- ☆13Updated 4 years ago
- United Monoids☆24Updated 2 years ago
- type classes and deriving via for encoding☆22Updated 4 years ago
- ☆10Updated 3 years ago
- Pipe the GHC eventlog stream to a UNIX domain socket☆15Updated last year
- Slides for my Haskell Symposium 2015 lighting talk☆12Updated 9 years ago
- ☆12Updated last year
- 🐙 discover Dicts☆14Updated 6 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Updated 5 years ago
- A monadic DSL for simple configuration parsing☆24Updated last year
- A collection of Edward Kmett's packages in a single repository☆15Updated 3 years ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- high-resolution performance benchmarking☆25Updated 3 weeks ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- Overloaded plugin☆31Updated 4 months ago
- A GHC source plugin which detects opportunities to use coerce☆17Updated 6 years ago
- ScopeT and ScopeH☆13Updated 3 months ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Experimental implementation of generic record subtyping☆18Updated 6 months ago