ChrisPenner / comonads-by-example
Comonads By Example Conference talk
β89Updated 5 years ago
Alternatives and similar repositories for comonads-by-example:
Users that are interested in comonads-by-example are comparing it to the libraries listed below
- Components as records of functions for Haskellβ170Updated last month
- A List of Haskell articles on good design, good testingβ45Updated 5 years ago
- π Profunctor based lightweight implementation of Lensesβ71Updated last year
- JSON decoding/encoding/manipulation library.β93Updated 2 years ago
- β49Updated 5 years ago
- A tutorial on writing Haskell Language Server pluginsβ70Updated 4 years ago
- Querying a rate-limited currency exchange API using Redis as a cacheβ41Updated 5 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.β80Updated 5 years ago
- The MonadUnliftIO typeclass for unlifting monads to IOβ150Updated last month
- Benchmarks for sequence data structures: lists, vectors, etc.β88Updated 3 years ago
- First-class type familiesβ87Updated 8 months ago
- β‘οΈEfficient implementation of Map with types as keysβ100Updated last year
- Automatic white-box testing with Free monads: approach description and showcaseβ83Updated 3 years ago
- Higher-kinded data via genericsβ170Updated 8 months ago
- Measure allocations of a Haskell functions/valuesβ94Updated 5 months ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programmingβ44Updated 4 years ago
- Fast and simple JSON encoding toolkitβ82Updated last year
- β93Updated last year
- Validity and validity-based testingβ160Updated 2 months ago
- Composable, streaming, and efficient left foldsβ167Updated 3 months ago
- Extensional capabilities and deriving combinatorsβ214Updated 9 months ago
- A work stealing schedulerβ75Updated 3 months ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamicallyβ205Updated last year
- Generic Programming using True Sums of Productsβ163Updated 3 months ago
- Check properties on standard classes and data structuresβ79Updated last year
- Inspection Testing for Haskellβ176Updated 3 months ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.β99Updated 3 years ago
- Text lenses using PCRE regexesβ126Updated 4 months ago
- β103Updated 4 years ago
- Example of usage polysemy and servantβ57Updated 5 years ago