maybevoid / casimir
Algebraic Effects in Haskell using Implicit Parameters
☆46Updated 4 years ago
Alternatives and similar repositories for casimir:
Users that are interested in casimir are comparing it to the libraries listed below
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- CLI tool for Hackage☆26Updated 2 months ago
- Servant dhall bindings☆19Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- Haskell time library focusing on performance☆57Updated 3 months ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- A command-line tool for live monitoring☆25Updated 2 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- A faster date and time library based on time☆47Updated 2 months ago
- 🎒 Backpack interface for containers☆32Updated 4 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- Folds and sequence algebras☆18Updated 2 years ago
- GHC patched with the -fcompact-holes flag☆11Updated 6 years ago
- Fast ByteString Builder☆21Updated last month
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 5 months ago
- Generate realistic looking fake data☆47Updated 3 years ago
- A monad, perhaps.☆32Updated 5 years ago
- Advent of code 2017 ... ho' ho' ho', so much code' code' code', merry christmas!☆8Updated 7 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Map and Set over contiguous memory☆21Updated last year
- Verified left pad☆19Updated 6 years ago
- Clowns to the left of me, jokers to the right☆15Updated 5 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- Compile-time checking for partial smart-constructors☆21Updated last year
- Maps using values' monoidal structure during merging☆42Updated this week
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago