fused-effects / fused-effects-lensLinks
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
Sorting:
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- A recursion scheme library for Idris.☆25Updated 2 weeks ago
- ☆23Updated 7 years ago
- Recursion schemes for Idris☆64Updated 7 years 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
- Free Monads and useful constructions to work with them☆26Updated 7 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 8 years ago
- A command-line replacement for the Google Authenticator App☆25Updated last year
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- ☆23Updated 8 years ago
- Type provider library for Idris☆94Updated 7 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- An HTTP library for idris☆39Updated 6 years ago
- ☆21Updated 2 years ago
- A low level Haskell library to connect to postgres☆25Updated 2 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- Indexed Functors for GHC 7.6☆22Updated 6 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Monad and comonad transformers☆71Updated last year
- ☆23Updated 8 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 8 years ago
- The Effect monad, for handling native side effects☆52Updated 2 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago