twanvl / simple-reflect
Simple reflection of expressions
β33Updated 3 years ago
Alternatives and similar repositories for simple-reflect:
Users that are interested in simple-reflect are comparing it to the libraries listed below
- Safe web routing in haskellβ30Updated last year
- A monad for managed valuesβ50Updated 2 years ago
- π§ Liquid Haskell integration for Cabal and Stackβ24Updated 5 years ago
- generate contextually sensible fuzz tests for servant appsβ26Updated 4 months ago
- Tools for functors from Hask^k to Haskβ23Updated 5 years ago
- Deriving Storable instances using GHC.Genericsβ16Updated 2 years ago
- Haskell time library focusing on performanceβ57Updated 3 months ago
- Various type-aligned sequence data structures.β20Updated 3 years ago
- Maps using values' monoidal structure during mergingβ42Updated 3 months ago
- Type-safe time units in Haskellβ49Updated 2 months ago
- Easy bidirectional serialization in Haskellβ50Updated 6 years ago
- Overloaded pluginβ30Updated 9 months ago
- A command-line tool for live monitoringβ25Updated 2 years ago
- Extensible type-safe unions for Haskellβ33Updated last week
- Dependently typed elimination functions using singletonsβ28Updated 2 months ago
- Fast ByteString Builderβ21Updated 3 weeks ago
- β20Updated 2 years ago
- Servant dhall bindingsβ19Updated 4 years ago
- Code to go along with the blog post "Are Mutable References in HaskellΒ Fast?"β10Updated 7 years ago
- Clean up the formatting of 'show' outputβ21Updated 7 months ago
- Simplify and render Template Haskellβ18Updated 6 years ago
- Experimental implementation of generic record subtypingβ18Updated 10 months ago
- Omit fields for instance derivingβ37Updated 4 years ago
- Automatic type class law checking.β24Updated 2 months ago
- Helpers which allow safe partial pattern matching in lambdasβ31Updated 4 years ago
- Folds for recursive types with GHC Genericsβ26Updated 4 years ago
- a modern library for typed path manipulation in Haskellβ36Updated 3 years ago
- Dependently typed convolutional neural networksβ35Updated 7 years ago
- join and meet semilattices, lower and upper bounds.β43Updated 5 months ago
- Kleene algebra, regular expressionsβ32Updated last year