i-am-tom / purescript-data-algebrae
Reified operations for several common data structures.
☆13Updated 5 years ago
Related projects: ⓘ
- Substructural types in PureScript.☆12Updated 7 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Servant dhall bindings☆19Updated 3 years ago
- A library for applying a row of rules for validation to refine a value☆12Updated 6 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 2 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Updated 4 years ago
- Slides and projects for LambdaConf 2018 Workshop☆16Updated 6 years ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆40Updated last year
- Experimental polykinds implementation☆13Updated 5 years ago
- Dead simple setup tools for running a Haskell build matrix using stack for several versions.☆23Updated 6 years ago
- Color highlighting for Haskell profiling information☆40Updated 2 years ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆22Updated 3 months ago
- ZuriHac registration system☆22Updated 3 months ago
- Safe printf-like formatting in purescript☆36Updated 4 years ago
- Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.☆13Updated 4 years ago
- ☆20Updated 5 years ago
- Literally the best anonymous records☆36Updated last year
- Bi-directional JSON codecs for argonaut☆38Updated 4 months ago
- Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive comp…☆32Updated last year
- Use hpack's phrasing in dhall to write cabal files☆31Updated last week
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 5 months ago
- Basic Solitaire game in PureScript, with both web and terminal UIs☆20Updated 4 years ago
- ☆18Updated 3 years ago
- Servant authentication with HMAC☆16Updated 9 months ago
- TemplateHaskell functions to generate types and converter function.☆18Updated 8 months ago
- Derive instances through isomorphisms☆20Updated 3 months ago
- Run a WAI application as the backend Lambda of an AWS API Gateway REST API☆23Updated 2 weeks ago
- Derive a mock server for free from your servant API types☆19Updated 10 months ago