tomjaguarpaw / Arrows2
Ideas for the next generation of Haskell's Arrow notation
☆12Updated 4 years ago
Related projects: ⓘ
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 3 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 9 months ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated 2 months ago
- ☆18Updated 3 years ago
- CI assistant☆44Updated 2 weeks ago
- Dual Traversable☆41Updated last year
- Keep your laziness in check!☆32Updated 2 years ago
- Clean up the formatting of 'show' output☆22Updated 3 weeks ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated 3 weeks ago
- Example uses of linear types☆42Updated 4 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Existential type.☆36Updated 4 months ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 months ago
- Batteries-included structured logging library☆29Updated 3 weeks ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 3 months ago
- Zippers based on lenses and traversals☆38Updated last year
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Omit fields for instance deriving☆37Updated 4 years ago
- higher-kinded data☆30Updated last year
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆35Updated last month
- Platform-independent library for basic file system operations☆58Updated 3 weeks ago
- Libraries for the Effectful Haskell effects system☆21Updated 2 years ago
- type level sets☆67Updated 4 years ago
- Deep evaluation of data structures☆40Updated last week
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated 2 months ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 weeks ago
- ☆45Updated 2 years ago