CRogers / should-not-typecheckView external linksLinks
A HUnit/hspec assertion to verify that an expression does not typecheck
☆43Jun 14, 2019Updated 6 years ago
Alternatives and similar repositories for should-not-typecheck
Users that are interested in should-not-typecheck are comparing it to the libraries listed below
Sorting:
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Jan 14, 2026Updated last month
- Symbol manipulation☆37Apr 17, 2023Updated 2 years ago
- A compatibility layer for base☆21Jan 11, 2026Updated last month
- Parse/unparse JSON with roundtrip invertible syntax descriptions.☆17Feb 1, 2019Updated 7 years ago
- Tools for programming with ConstraintKinds in GHC☆74Jan 26, 2026Updated 2 weeks ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- Types and classes for defining JSON schemas.☆23Oct 3, 2018Updated 7 years ago
- A natural transformation package☆16Jan 8, 2026Updated last month
- constraint level if statements☆117Nov 29, 2017Updated 8 years ago
- Compile git revision info into Haskell projects☆49Jan 3, 2024Updated 2 years ago
- A reliable at-least-once job queue built on Redis.☆38Dec 30, 2024Updated last year
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 4 years ago
- Monad morphisms☆51Jan 10, 2026Updated last month
- Tool for detecting redundant Cabal package dependencies☆47Aug 30, 2018Updated 7 years ago
- Text lenses using PCRE regexes☆128Dec 11, 2024Updated last year
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52May 8, 2025Updated 9 months ago
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 8 years ago
- A tiny EDSL to write type-level-unit tests☆51Jan 21, 2019Updated 7 years ago
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- A Typeable-free implementation of extensible effects☆26Aug 3, 2017Updated 8 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆34Dec 4, 2024Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆125Jan 12, 2025Updated last year
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated last month
- Tame RecordWildCards☆14Dec 30, 2024Updated last year
- fast unique variables☆10Aug 23, 2025Updated 5 months ago
- Keep your laziness in check!☆35Dec 29, 2025Updated last month
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- A Generic implementation of data-has.☆22May 15, 2020Updated 5 years ago
- Inspection Testing for Haskell☆189Jan 17, 2026Updated 3 weeks ago
- A typed, persistent store for values of arbitrary types☆62Dec 25, 2025Updated last month
- Environmentally friendly environment variables☆154Jan 11, 2026Updated last month
- Portable temporary file and directory support for Windows and Unix.☆25Oct 30, 2022Updated 3 years ago
- ☆46Updated this week
- Dynamic network FRP with events and continuous values☆52Aug 4, 2020Updated 5 years ago
- A convenience wrapper around the Gloss library to make writing games in Haskell even easier☆19Oct 10, 2020Updated 5 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 7 years ago