PseudoPower / AFSM
Arrowized functional state machines
☆18Updated 8 years ago
Related projects: ⓘ
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 6 years ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- Free applicative functors for PureScript☆27Updated 2 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 5 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆32Updated 11 months ago
- Haskell implementation of C4 model, for specifying software architecture☆18Updated 2 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 3 years ago
- A more flexible mtl☆64Updated 6 years ago
- Get all your structure and rip it apart.☆29Updated 5 years ago
- Quick scaffolding for Halogen's HTML DSL☆36Updated 3 years ago
- Haskell Standard Input and Output☆47Updated 6 years ago
- A Prelude with names from category theory☆50Updated 8 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Perform GPIO from Haskell☆21Updated 5 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 8 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 3 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes☆19Updated 6 years ago
- a simple functional language for learners☆30Updated 7 years ago
- ☆55Updated 5 years ago
- Compile PureScript into Haskell.☆69Updated 6 years ago
- ☆24Updated 7 years ago
- A more elegant specification for FRP☆24Updated 8 months ago
- Substructural types in PureScript.☆12Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- A book about large-scale design in Haskell☆75Updated 9 years ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- an applicative functor that seamlessly talks to HTML inputs☆73Updated 5 years ago