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
- Incremental lambda calculus☆81Updated 5 years ago
- An introduction to common PureScript operators through the only truly universal language.☆49Updated 6 years ago
- Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces☆53Updated 4 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 5 years ago
- Quick HTTP servers☆60Updated 6 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 5 years ago
- An attempt to catalog RowList/RowToList/row type content and memes☆44Updated 6 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- Maps and folds for heterogeneous data types.☆56Updated 2 years ago
- Quick scaffolding for Halogen's HTML DSL☆36Updated 3 years ago
- Make your actions observable and listen events from them, algebraically.☆15Updated 2 months ago
- Example using PureScript with webpack☆53Updated 2 years ago
- ☆43Updated last year
- Reified operations for several common data structures.☆13Updated 6 years ago
- Create PureScript datatypes from Haskell datatypes☆111Updated 7 months ago
- Polymorphic variants for PureScript☆132Updated last year
- Sample halogen app that uses a few DSLs within the application's free monad☆62Updated 6 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- Functions for working with records and polymorphic labels☆68Updated last year
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 7 years ago
- A simple push-pull FRP implementation☆132Updated 4 years ago
- Use jsx-like syntax in Reflex☆50Updated 6 years ago
- Error/Warning reporting frontend for the PureScript compiler☆90Updated 7 months ago
- TodoMVC with purescript-react-basic☆55Updated last year
- Extensible checked exceptions with polymorphic variants☆81Updated 2 years ago
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Updated 3 years ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- First-class type families☆87Updated 5 months ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 2 years ago
- Generate TypeScript definition files from your ADTs☆60Updated last week