cdepillabout / haskell-type-families-presentation
This is a presentation about haskell's type families.
☆15Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-type-families-presentation
- ☆49Updated last week
- Recursion schemes for Idris☆64Updated 6 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 3 years ago
- Free applicative functors for PureScript☆27Updated 2 years ago
- Types and kinds for basic type-level programming☆63Updated last month
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 5 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆93Updated last year
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Updated 6 years ago
- Haskell Package for operating with selections over an underlying functor☆22Updated 4 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- deprecated in favor of -XQualifiedDo☆41Updated 3 years ago
- ☆55Updated 5 years ago
- Refined types☆58Updated 6 years ago
- Monad and comonad transformers☆69Updated 4 months ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- The Effect monad, for handling native side effects☆53Updated 2 years ago
- Cofun with Cofree Comonads☆30Updated 8 years ago
- Quick scaffolding for Halogen's HTML DSL☆36Updated 3 years ago
- Values with two possibilities☆26Updated 2 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- an applicative functor that seamlessly talks to HTML inputs☆73Updated 5 years ago
- Array utility functions☆57Updated 9 months ago
- applicative opt parsing for node☆31Updated 3 years ago
- Sample halogen app that uses a few DSLs within the application's free monad☆62Updated 6 years ago
- Formatting and printing for numeric and date/time/interval values☆41Updated last year
- 🌳 a monadic FRP game library for haskell☆25Updated 4 years ago
- Servant dhall bindings☆19Updated 3 years ago