ekmett / foldsLinks
Folds and sequence algebras
☆19Updated 2 years ago
Alternatives and similar repositories for folds
Users that are interested in folds are comparing it to the libraries listed below
Sorting:
- Clowns to the left of me, jokers to the right☆15Updated 6 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Updated 8 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 5 years ago
- Standard module for type-level programming in Haskell☆30Updated 6 years ago
- Signature inference for Functional Property Discovery in Haskell☆38Updated 8 years ago
- Combine and enhance Functors☆39Updated 2 months ago
- Safe web routing in haskell☆30Updated 2 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Updated last week
- Symbol manipulation☆36Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- Functions and newtype wrappers for traversing Trees☆30Updated last year
- Free applicative functors for PureScript☆27Updated 3 years ago
- Constraint-based generics☆49Updated last year
- Generate a command line client from a servant API☆28Updated last year
- The Str signature and implementations☆21Updated 8 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- Hash consing for arbitrary Haskell data types☆25Updated 10 months ago
- Tools for functors from Hask^k to Hask☆23Updated 6 years ago
- Maps using values' monoidal structure during merging☆42Updated 6 months ago
- Uniform interface to reified data type information via Template Haskell☆20Updated 3 weeks ago
- Dual Traversable☆41Updated 2 years ago
- join and meet semilattices, lower and upper bounds.☆48Updated last month
- Haskell Type Level Example Programs☆28Updated 7 years ago
- Extensible type-safe unions for Haskell☆34Updated 7 months ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated 2 months ago
- High-performance JSON parser☆26Updated 3 months ago
- Haskell library of row polymorphic record manipulator☆23Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Updated 3 years ago