sheyll / type-specLinks
A tiny EDSL to write type-level-unit tests
☆49Updated 6 years ago
Alternatives and similar repositories for type-spec
Users that are interested in type-spec are comparing it to the libraries listed below
Sorting:
- Type-safe time units in Haskell☆49Updated 5 months ago
- Generic types and functions for encoding and decoding columns☆44Updated 8 months ago
- ☆54Updated 6 years ago
- Proposals for the Haskell Ecosystem☆52Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- Extensible type-safe unions for Haskell☆34Updated 3 months ago
- Type-safe error handling☆64Updated last year
- Extend the import list of a Haskell source file☆38Updated 3 years ago
- mtl friendly exceptions☆52Updated 3 weeks ago
- Library for tracking system metrics☆41Updated 2 weeks ago
- Web app to track lagging package dependencies.☆66Updated last year
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- Modern library for working with URIs☆68Updated 3 months ago
- Fast ByteString Builder☆21Updated 4 months ago
- Template Haskell for generating ToJSON and FromJSON instances for GADTs☆23Updated 5 months ago
- Automatically re-export Haskell modules.☆32Updated last month
- Constraint-based generics☆49Updated last year
- Use hpack's phrasing in dhall to write cabal files☆31Updated 6 months ago
- Library and tool for parsing .eventlog files from GHC☆33Updated 4 months ago
- A command-line tool for live monitoring☆25Updated last month
- A very general logging effect for Haskell☆61Updated last year
- Anonymous extensible records and variant types☆26Updated 3 years ago
- Efficient conversion of values into Text☆40Updated 3 weeks ago
- Email address validation for Haskell☆43Updated 9 months ago
- Simple typesafe routing☆46Updated 2 years ago
- All of `base` without the `Prelude` module☆44Updated 2 years ago
- A library for generic programming that aims to be easy to understand☆26Updated 3 months ago
- Swagger 2.0 data model.☆74Updated last month
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Updated last week