nikita-volkov / compound-types
Sum and Product types and such
☆29Updated 4 years ago
Alternatives and similar repositories for compound-types:
Users that are interested in compound-types are comparing it to the libraries listed below
- A library for generic programming that aims to be easy to understand☆26Updated 3 years ago
- An example of reflex-dom built by Stack☆23Updated 8 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- Generic types and functions for encoding and decoding columns☆43Updated 2 months ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆22Updated this week
- Relational algebra☆25Updated 8 years ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 8 years ago
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- Automatically re-export Haskell modules.☆32Updated last month
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- An example of an "isomorphic" Miso server set up with stack☆44Updated 4 years ago
- Structured logging solution.☆35Updated last year
- A benchmark comparing different ways of building a strict bytestring in Haskell☆24Updated last year
- Simple typesafe routing☆44Updated 2 years ago
- TemplateHaskell functions to generate types and converter function.☆18Updated last year
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Proposals for the Haskell Ecosystem☆51Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- ☆32Updated 6 years ago
- ☆54Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Demonstrating comonad transformers.☆36Updated 8 years ago
- Generic data types in Haskell, utilities for GHC.Generics☆44Updated 3 weeks ago
- Cofun with Cofree Comonads☆31Updated 8 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated this week
- Continuously varying values, made easy :)☆40Updated 5 years ago
- A monad for managed values☆50Updated last year
- ☆20Updated 5 years ago
- ☆28Updated 8 years ago
- An implementation of the 7GUIs in reflex-dom☆17Updated 8 years ago