fused-effects / fused-effects-lensLinks
Lens combinators for fused-effects.
☆17Updated 5 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 implementation of patricia tree☆23Updated 5 years ago
- ☆23Updated 8 years ago
- ☆23Updated 8 years ago
- Hakyll support for Agda literate files☆19Updated 4 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated last year
- An approach to user interfaces based in denotational design.☆27Updated 3 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 8 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
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- van Laarhoven lenses for Idris☆20Updated 8 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- ☆21Updated 2 years ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
- Template for Hindley-Milner based languages☆39Updated 4 years ago
- Haskell bindings to binaryen.☆14Updated 4 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Array utility functions☆57Updated last year
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 8 years ago
- Core modules for a blazing fast markup combinator library☆24Updated 7 months ago
- Free Monads and useful constructions to work with them☆26Updated 7 years ago
- Session types in Idris2!☆27Updated 5 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 7 years ago
- A tiny statically typed programming language☆18Updated 11 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- ☆23Updated 9 years ago