@hackage / axiomatic-classes

Specify axioms for type classes and quickCheck all available instances

Latest0.1.0.0

Dependencies

library:axiomatic-classes (13 dependencies)

@hackage / lens Lenses, Folds and Traversals
- Version: >=4.12 && <4.15
- License: BSD-2-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.8.1 && <2.10
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.10 && <2.12
- License: BSD-3-Clause
@hackage / portable-template-haskell-lens Lenses for the AST of Template Haskell 2.11 and Template Haskell < 2.11
- Version:
- License: MIT
@hackage / control-invariants Invariants and contract monitoring
- Version:
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4.8 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.4 && <0.6
- License: BSD-3-Clause
@hackage / monad-loops Monadic loops
- Version:
- License: LicenseRef-PublicDomain
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / th-printf Quasiquoters for printf
- Version:
- License: MIT
@hackage / semigroups Anything that associates
- Version:
- License: BSD-3-Clause
@hackage / quickcheck-report Customizable reports for quickcheck properties
- Version:
- License: MIT