jaspervdj / acme-cofunctorLinks
A Cofunctor is a structure from category theory dual to Functor
☆15Updated 7 years ago
Alternatives and similar repositories for acme-cofunctor
Users that are interested in acme-cofunctor are comparing it to the libraries listed below
Sorting:
- A command-line tool for live monitoring☆25Updated 3 weeks ago
- ☆45Updated 3 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 6 years ago
- Mark test cases as expected-failure☆22Updated 4 years ago
- Extensible type-safe unions for Haskell☆34Updated 3 months ago
- Experimental implementation of generic record subtyping☆18Updated last year
- Simplify and render Template Haskell☆18Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Bidirectional mapping between two key types☆22Updated last year
- Standard module for type-level programming in Haskell☆30Updated 5 years ago
- ☆25Updated 8 years ago
- Overloaded plugin☆30Updated last year
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Maps using values' monoidal structure during merging☆42Updated 2 months ago
- A text editor zipper libary☆17Updated 7 months ago
- A library for generic programming that aims to be easy to understand☆26Updated 3 months ago
- A servant client written for GHCJS☆12Updated 8 years ago
- Function generation for Hedgehog☆18Updated 10 months ago
- Continuously varying values, made easy :)☆42Updated 5 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated 3 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- haskell library to parse commandline args - an alternative to optparse-applicative☆19Updated 2 years ago
- Deep evaluation of data structures without NFData☆10Updated 10 years ago
- 📤 defer instance resolution until runtime☆18Updated 5 years ago
- Compile-time checking for partial smart-constructors☆20Updated last year
- ScopeT and ScopeH☆13Updated 10 months ago
- Monadic capabilities with late binding☆27Updated last year
- high-resolution performance benchmarking☆26Updated 4 months ago
- Source Layouting Engine☆11Updated 4 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Updated 7 years ago