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
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 5 months ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- ☆23Updated 7 years ago
- ☆23Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- ☆21Updated 2 years ago
- Session types in Idris2!☆27Updated 4 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 6 years ago
- A natural transformation package☆16Updated 3 weeks ago
- Deep evaluation of data structures☆41Updated 6 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 4 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last month
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 4 months ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- Efficient parser combinators for Haskell☆39Updated 11 months ago
- Lens interface for your filesystem☆22Updated 4 years ago
- A tiny statically typed programming language☆18Updated 10 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago