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
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 8 years ago
- An approach to user interfaces based in denotational design.☆27Updated 3 years ago
- ☆23Updated 8 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
- van Laarhoven lenses for Idris☆20Updated 8 years ago
- Purescript refinement types with runtime checking☆25Updated 3 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A port of QuickCheck to Idris☆60Updated 8 years ago
- Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries☆21Updated last year
- Free Monads and useful constructions to work with them☆26Updated 7 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A command-line replacement for the Google Authenticator App☆25Updated 2 years ago
- Core modules for a blazing fast markup combinator library☆24Updated 8 months ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Updated 3 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- Type level natural numbers and booleans☆34Updated 6 years ago
- The Effect monad, for handling native side effects☆52Updated 3 years ago
- ☆23Updated 8 years ago
- Type provider library for Idris☆95Updated 8 years ago
- Aff wrappers for purescript-node-fs☆21Updated 2 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Updated 2 years ago
- Array utility functions☆57Updated last year
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 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
- Monad and comonad transformers☆71Updated last year
- A recursion scheme library for Idris.☆25Updated this week
- Leibniz Equality☆19Updated 7 years ago