paf31 / the-future-is-comonadicLinks
My (rejected) OBT-2018 submission
☆33Updated 5 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
Sorting:
- Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces☆53Updated 5 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 3 years ago
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Updated 4 years ago
- Incremental lambda calculus☆80Updated 6 years ago
- Extensible checked exceptions with polymorphic variants☆82Updated 3 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆96Updated 2 years ago
- Experiments with comonads for modelling React UIs☆91Updated 7 years ago
- library for generating graphviz visualizations using purescript generics☆23Updated 4 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 6 years ago
- An attempt to catalog RowList/RowToList/row type content and memes☆43Updated 6 years ago
- Standard module for type-level programming in Haskell☆31Updated 6 years ago
- Quick scaffolding for Halogen's HTML DSL☆35Updated 4 years ago
- Maps and folds for heterogeneous data types.☆61Updated 5 months ago
- An introduction to common PureScript operators through the only truly universal language.☆48Updated 7 years ago
- Make your actions observable and listen events from them, algebraically.☆17Updated last year
- Polymorphic variants for PureScript☆133Updated 2 years ago
- Types and kinds for basic type-level programming☆64Updated last year
- Dissectible data structures for implementing iterative traversals.☆20Updated 3 years ago
- A Prelude with names from category theory☆51Updated 9 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 5 years ago
- ☆43Updated 2 years ago
- A binding to puppeteer to drive headless Chrome.☆51Updated 3 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆31Updated 8 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Updated 8 years ago
- A library for applying a row of rules for validation to refine a value☆12Updated 7 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 6 years ago
- Transformerless monads for Puresript☆22Updated 7 years ago
- Safe printf-like formatting in purescript☆37Updated 6 years ago