maybetonyfu / chameleonLinks
A tool to make solving type errors in Haskell simple and fun.
☆38Updated 2 years ago
Alternatives and similar repositories for chameleon
Users that are interested in chameleon are comparing it to the libraries listed below
Sorting:
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Comparing Haskell effect systems for ergonomics and speed☆66Updated 4 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- ☆41Updated last year
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Named parameters (keyword arguments) for Haskell☆97Updated 5 months ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 3 months ago
- Lightweight package providing commonly useful parser combinators☆54Updated 3 weeks ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Syntax highlighter for Haskell using the lexer of GHC☆59Updated 3 weeks ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- 👅 Parse Haskell Language Extensions☆48Updated 2 weeks ago
- GHC language extensions table☆49Updated last month
- Haskell QuasiQuoter for String Formatting☆69Updated 7 months ago
- type level sets☆67Updated 5 years ago
- Generates a references DB from .hie files☆67Updated last month
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Updated 5 years ago
- Tool for cleaning away old Haskell Stack build artifacts☆37Updated last year
- Convert values from one type into another.☆76Updated last month
- Effects libraries in Haskell☆71Updated 2 years ago
- Add early return to any do-expression☆46Updated 4 years ago
- ☆40Updated 2 weeks ago
- Prune unused Haskell dependencies.☆47Updated 2 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆73Updated 10 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 7 months ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 8 months ago