paf31 / the-future-is-comonadic
My (rejected) OBT-2018 submission
☆35Updated 4 years ago
Alternatives and similar repositories for the-future-is-comonadic:
Users that are interested in the-future-is-comonadic are comparing it to the libraries listed below
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- Incremental lambda calculus☆81Updated 5 years ago
- An attempt to catalog RowList/RowToList/row type content and memes☆44Updated 6 years ago
- Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces☆54Updated 4 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆69Updated 5 years ago
- Quick scaffolding for Halogen's HTML DSL☆36Updated 3 years ago
- Maps and folds for heterogeneous data types.☆56Updated 3 years ago
- Common control classes and utility functions☆56Updated last year
- Quick HTTP servers☆60Updated 6 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 2 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 5 years ago
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆46Updated last week
- Extensible checked exceptions with polymorphic variants☆81Updated 3 years ago
- The Effect monad, for handling native side effects☆53Updated 2 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 8 years ago
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Updated 4 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- Polymorphic variants for PureScript☆132Updated last year
- An extensible virtual-dom library for PureScript.☆58Updated 10 months ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- String parser combinators for PureScript.☆59Updated 8 years ago
- A PureScript interpreter in Haskell☆120Updated 3 years ago
- Functions for working with records and polymorphic labels☆68Updated last year
- A library to assemble examples or develop components separately.☆37Updated 3 years ago
- PureScript bindings for node-postgres.☆33Updated 2 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆32Updated last year
- Extra functions for working with Records☆30Updated 2 years ago
- A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locally☆72Updated 4 years ago
- Error/Warning reporting frontend for the PureScript compiler☆91Updated 9 months ago