paf31 / the-future-is-comonadicLinks
My (rejected) OBT-2018 submission
☆33Updated 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
Sorting:
- Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces☆53Updated 4 years ago
- Incremental lambda calculus☆81Updated 6 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 7 years ago
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Updated 4 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 2 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 6 years ago
- An attempt to catalog RowList/RowToList/row type content and memes☆44Updated 6 years ago
- A library for applying a row of rules for validation to refine a value☆12Updated 7 years ago
- Quick scaffolding for Halogen's HTML DSL☆35Updated 3 years ago
- Quick HTTP servers☆60Updated 7 years ago
- Types and kinds for basic type-level programming☆64Updated 9 months ago
- Haskell implementation of C4 model, for specifying software architecture☆18Updated 2 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Functions for working with records and polymorphic labels☆68Updated last year
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 6 years ago
- JSON serialization and deserialization with Argonaut.☆48Updated 3 months ago
- Monad and comonad transformers☆71Updated last year
- ☆43Updated 2 years ago
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆46Updated 2 weeks ago
- Various efficient-ish sequence types for PureScript.☆47Updated last year
- A little utility to derive lenses and prisms for data types in PureScript☆40Updated 8 years ago
- library for generating graphviz visualizations using purescript generics☆23Updated 4 years ago
- Reified operations for several common data structures.☆13Updated 6 years ago
- A type-safe abstraction for platform-independent file system paths.☆32Updated 3 years ago
- A Cycle.js-like utility for working with Purescript-Event☆29Updated 3 years ago
- String parser combinators for PureScript.☆59Updated 8 years ago
- Polymorphic variants for PureScript☆133Updated 2 years ago