rudymatela / fitspec
refine properties for testing Haskell programs
☆74Updated 2 months ago
Alternatives and similar repositories for fitspec:
Users that are interested in fitspec are comparing it to the libraries listed below
- An implementation of "Freer Monads, More Extensible Effects".☆65Updated 6 years ago
- Hoed - A Lightweight Haskell Tracer and Debugger☆51Updated 4 years ago
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- Generic Programming using True Sums of Products☆162Updated 3 months ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated 3 months ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Yet another Haskell build system.☆115Updated 4 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆84Updated 6 years ago
- ☆89Updated 11 months ago
- Type-safe time units in Haskell☆49Updated 2 months ago
- ☆54Updated 6 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Create command line interfaces with ease☆41Updated 2 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- High performance type safe html generation☆128Updated 2 years ago
- Modern library for working with URIs☆69Updated 2 weeks ago
- Write PostgreSQL functions in Haskell☆54Updated 11 years ago
- Measure allocations of a Haskell functions/values☆94Updated 5 months ago
- constraint level if statements☆111Updated 7 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆71Updated 5 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 8 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Specify Servant routes with records☆87Updated 6 years ago
- A more flexible mtl☆64Updated 7 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 3 months ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago