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
- Idris Lib to interact with the DOM and Browser API for the JavaScript backendā40Updated 7 years ago
- An approach to user interfaces based in denotational design.ā27Updated 2 years ago
- Malfunction backend for Idris with a FFI to OCamlā28Updated 6 years ago
- ā23Updated 8 years ago
- van Laarhoven lenses for Idrisā20Updated 8 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlersā27Updated 9 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
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"ā19Updated 6 years ago
- Free Monads and useful constructions to work with themā26Updated 7 years ago
- ā23Updated 8 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/ā27Updated 2 years ago
- A partial binary associative operator (appendMaybe :: a ā a ā Maybe a)ā13Updated last year
- Tuple data type and utility functionsā26Updated 3 years ago
- A command-line replacement for the Google Authenticator Appā25Updated 2 years ago
- The Effect monad, for handling native side effectsā52Updated 3 years ago
- "Fail Fast" process management for Haskell; inspired by Erlangā16Updated 8 years ago
- ā21Updated 2 years ago
- Slides and code examples for a talkā22Updated 7 years ago
- Purescript refinement types with runtime checkingā25Updated 3 years ago
- Edit is a monad for rewriting things.ā23Updated 5 years ago
- Type level natural numbers and booleansā34Updated 6 years ago
- A tiny statically typed programming languageā18Updated 11 years ago
- A functional reactive programming (FRP) demo created with PureScript events and behaviors.ā33Updated 7 years ago
- A demo of Functional Reactive Programming in Purescriptā11Updated 7 years ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)ā15Updated 6 years ago
- A recursion scheme library for Idris.ā25Updated last week
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9ā32Updated 3 years ago
- Idris style sized vectors in PureScriptā18Updated 4 years ago
- A tiny EDSL for making slides in PureScriptā26Updated 8 years ago