fused-effects / fused-effects-lens
Lens combinators for fused-effects.
☆17Updated 4 years ago
Alternatives and similar repositories for fused-effects-lens:
Users that are interested in fused-effects-lens are comparing it to the libraries listed below
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- ☆23Updated 7 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 6 months ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Idris style sized vectors in PureScript☆18Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Lens interface for your filesystem☆22Updated 4 years ago
- ☆20Updated 6 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 5 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- A monad for managed values☆50Updated 2 years ago
- ☆23Updated 7 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- GHC patched with the -fcompact-holes flag☆11Updated 6 years ago
- ☆21Updated 2 years ago
- Session types in Idris2!☆27Updated 4 years ago
- Leibniz Equality☆19Updated 6 years ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Updated 3 months ago
- Efficient parser combinators for Haskell☆39Updated last year
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago