ekmett / constraints
Tools for programming with ConstraintKinds in GHC
☆71Updated last month
Related projects ⓘ
Alternatives and complementary repositories for constraints
- Zippers based on lenses and traversals☆38Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- Kleene algebra, regular expressions☆32Updated last year
- ☆55Updated 5 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- Filter with effects☆71Updated 3 months ago
- Type-safe time units in Haskell☆49Updated 10 months ago
- Haskell 98 Profunctors☆70Updated 4 months ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 3 weeks ago
- tools for writing better type errors☆73Updated last year
- Type-safe error handling☆64Updated last year
- Color highlighting for Haskell profiling information☆40Updated 3 years ago
- Type-level well-kinded natural numbers.☆33Updated 5 months ago
- ☆40Updated 7 months ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- Haskell Webapps on AWS Lambda☆44Updated last year
- Comma (and other) separated values☆76Updated last year
- ☆74Updated 4 months ago
- A monad for managed values☆50Updated last year
- Swagger 2.0 data model.☆74Updated 4 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- All of `base` without the `Prelude` module☆44Updated last year
- A work stealing scheduler☆77Updated last year
- Symbol manipulation☆36Updated last year
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago