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 implementation of patricia treeβ23Updated 4 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backendβ40Updated 7 years ago
- A partial implementation of Protocol Buffers in Idrisβ31Updated 7 years ago
- Template for Hindley-Milner based languagesβ39Updated 3 years ago
- An approach to user interfaces based in denotational design.β27Updated 2 years ago
- β23Updated 7 years ago
- A partial binary associative operator (appendMaybe :: a β a β Maybe a)β13Updated 10 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
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"β19Updated 6 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/β27Updated 2 years ago
- Type definitions and low level interface implementations for the W3C DOM specβ35Updated last year
- A library for working with the PureScript functional core.β23Updated 5 years ago
- van Laarhoven lenses for Idrisβ20Updated 7 years ago
- A tiny EDSL for making slides in PureScriptβ26Updated 8 years ago
- Recursion schemes for Idrisβ65Updated 6 years ago
- Write yourself a typed functional languageβ65Updated 6 years ago
- Free Monads and useful constructions to work with themβ26Updated 6 years ago
- Resources for "One Monad to Prove Them All"β29Updated 6 years ago
- β23Updated 7 years ago
- Array utility functionsβ57Updated last year
- Generic programming using an approach inspired by GHC.Genericsβ41Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprogramsβ22Updated 5 years ago
- π Typeclass for monads that can be unlifted to arbitrary base monadsβ25Updated 4 years ago
- Type level natural numbers and booleansβ34Updated 5 years ago
- Derivation of Optimized Definitions Based on Specsβ15Updated 5 years ago
- Haskell JSON schema validator and parser generatorβ62Updated 2 years ago
- Aff wrappers for purescript-node-fsβ21Updated 2 years ago
- Type provider library for Idrisβ94Updated 7 years ago
- A tiny statically typed programming languageβ18Updated 11 years ago
- Examples for the book βAlex and Happyββ34Updated 10 years ago