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
- An attempt to catalog RowList/RowToList/row type content and memes☆43Updated 6 years ago
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Updated 4 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆96Updated 2 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- Extensible checked exceptions with polymorphic variants☆82Updated 3 years ago
- Incremental lambda calculus☆80Updated 6 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 3 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 6 years ago
- Quick HTTP servers☆60Updated 7 years ago
- ☆43Updated 2 years ago
- Quick scaffolding for Halogen's HTML DSL☆35Updated 4 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Polymorphic variants for PureScript☆133Updated 2 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆39Updated 8 years ago
- An introduction to common PureScript operators through the only truly universal language.☆48Updated 7 years ago
- Compile PureScript into Haskell.☆68Updated 8 years ago
- Types and kinds for basic type-level programming☆64Updated last year
- TodoMVC with purescript-react-basic☆55Updated 2 years ago
- A binding to puppeteer to drive headless Chrome.☆51Updated 3 years ago
- String parser combinators for PureScript.☆59Updated 8 years ago
- Haskell types lined up to highlight their similarities☆30Updated 5 years ago
- library for generating graphviz visualizations using purescript generics☆23Updated 4 years ago
- A combinator for making any monadic control operator stack-safe☆26Updated 6 years ago
- Purescript refinement types with runtime checking☆25Updated 3 years ago
- A type-safe abstraction for platform-independent file system paths.☆32Updated 3 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Safe printf-like formatting in purescript☆37Updated 6 years ago
- Functions for working with records and polymorphic labels☆68Updated last year
- Free applicative functors for PureScript☆26Updated 3 years ago