ππ Combinators for writing pretty type errors easily
β56Mar 7, 2022Updated 4 years ago
Alternatives and similar repositories for type-errors-pretty
Users that are interested in type-errors-pretty are comparing it to the libraries listed below
Sorting:
- tools for writing better type errorsβ73Sep 15, 2023Updated 2 years ago
- Servant authentication with HMACβ16Dec 2, 2025Updated 3 months ago
- π§ Type-safe memory unitsβ61Nov 6, 2020Updated 5 years ago
- rewrite rules for type-level equalitiesβ62Aug 29, 2025Updated 6 months ago
- Haskell library that uses HIBP to evaluate passwordsβ12Jan 25, 2025Updated last year
- Hackager tool for releasing Haskell packages to Hackageβ32Sep 17, 2025Updated 6 months ago
- Text lenses using PCRE regexesβ128Dec 11, 2024Updated last year
- Generate tags file for haskell modules (GHC)β40Mar 8, 2026Updated last week
- π Haskell profiles to sponsorβ48Oct 28, 2021Updated 4 years ago
- A flexible Haskell API for querying the GitHub REST APIβ15Jan 7, 2026Updated 2 months ago
- Implementation of named parameters for `postgresql-simple` libraryβ39Nov 28, 2025Updated 3 months ago
- Futuristic New Age Golden Test managementβ15Sep 27, 2022Updated 3 years ago
- Named parameters (keyword arguments) for Haskellβ98Mar 16, 2025Updated last year
- βΎοΈ Sized listβ47Jan 16, 2026Updated 2 months ago
- Checks that Haskell files are linted with HLint.β12Aug 28, 2022Updated 3 years ago
- Simple reflection of expressionsβ34Jun 18, 2021Updated 4 years ago
- π Out of the shell solution for scripting in Haskellβ74Jan 5, 2026Updated 2 months ago
- Non-empty Vectorsβ26Apr 17, 2025Updated 11 months ago
- a modern library for typed path manipulation in Haskellβ36Jul 24, 2025Updated 7 months ago
- open union and open product types in Haskellβ31Aug 9, 2020Updated 5 years ago
- Generic types and functions for encoding and decoding columnsβ44Nov 4, 2024Updated last year
- Derive KnownNat constraints from other KnownNat constraintsβ14Feb 10, 2026Updated last month
- β‘οΈEfficient implementation of Map with types as keysβ102Jan 15, 2026Updated 2 months ago
- Benchmarks using the non-moving incremental GHC garbage collectorβ22Oct 24, 2019Updated 6 years ago
- Modular arithmetic, promoting moduli to the type levelβ24Sep 13, 2025Updated 6 months ago
- π Idris implementation of patricia treeβ23Nov 6, 2020Updated 5 years ago
- π¦ Custom Setup to automate package modules discoveryβ33Apr 4, 2022Updated 3 years ago
- Type-level assertion operatorsβ16Mar 20, 2018Updated 8 years ago
- Kowainik Git Workflow Helper Toolβ76Jan 13, 2023Updated 3 years ago
- type level setsβ67Nov 19, 2019Updated 6 years ago
- β21Dec 8, 2022Updated 3 years ago
- β20Apr 17, 2019Updated 6 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.β14Jul 11, 2019Updated 6 years ago
- Haskell Library for producing quality fake dataβ149Oct 20, 2024Updated last year
- π π Place for organization guidelines and workflowsβ21May 16, 2021Updated 4 years ago
- Benchmarking tool with focus on comparing results.β16Sep 7, 2024Updated last year
- Haskell types and instances for decoding GitHub webhook payloads.β39Sep 12, 2025Updated 6 months ago
- Stream editing with Haskell Megaparsec parsersβ81May 22, 2024Updated last year
- Automatically trace all (showable) binds in do expressionsβ84Jun 11, 2018Updated 7 years ago