cdepillabout / haskell-type-families-presentationLinks
This is a presentation about haskell's type families.
☆15Updated 7 years ago
Alternatives and similar repositories for haskell-type-families-presentation
Users that are interested in haskell-type-families-presentation are comparing it to the libraries listed below
Sorting:
- A tiny EDSL to write type-level-unit tests☆49Updated 6 years ago
- ☆50Updated 6 months ago
- Swagger 2.0 data model.☆74Updated 3 weeks ago
- Generate TypeScript definition files from your ADTs☆62Updated 4 months ago
- Get all your structure and rip it apart.☆32Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Benchmarks for sequence data structures: lists, vectors, etc.☆90Updated 3 years ago
- A micro-benchmark that compares some Haskell serialization libraries☆44Updated 6 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆53Updated 2 months ago
- ☆54Updated 6 years ago
- Type-safe time units in Haskell☆49Updated 4 months ago
- Extensible type-safe unions for Haskell☆34Updated 2 months ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- GHC language extensions table☆48Updated 5 months ago
- A very fast Haskell library for generating high quality pseudo-random numbers.☆55Updated 4 months ago
- Type-safe error handling☆64Updated last year
- Type-safe open unions in Haskell☆32Updated 7 years ago
- Speculate laws about Haskell functions☆30Updated 4 months ago
- Filter with effects☆74Updated 5 months ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- First-class type families☆88Updated 2 weeks ago
- Automatically re-export Haskell modules.☆32Updated 2 weeks ago
- LambdaConf 2018 workshop on building Telegram bots in Haskell.☆25Updated 5 years ago
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- Modern library for working with URIs☆69Updated 2 months ago
- A monad, perhaps.☆32Updated 5 years ago
- A more progressive alternative to the "base" package☆27Updated 4 months ago