lib:rerefined
Modules
- Rerefined
- Rerefined.Predicate
- Rerefined.Predicate.Common
- Rerefined.Predicate.Common.Binary
- Rerefined.Predicate.Fail
- Rerefined.Predicate.Logical
- Rerefined.Predicate.Logical.And
- Rerefined.Predicate.Logical.If
- Rerefined.Predicate.Logical.Iff
- Rerefined.Predicate.Logical.Nand
- Rerefined.Predicate.Logical.Nor
- Rerefined.Predicate.Logical.Not
- Rerefined.Predicate.Logical.Or
- Rerefined.Predicate.Logical.Xor
- Rerefined.Predicate.Relational
- Rerefined.Predicate.Relational.Internal
- Rerefined.Predicate.Relational.Length
- Rerefined.Predicate.Relational.Value
- Rerefined.Predicate.Succeed
- Rerefined.Predicate.Via
- Rerefined.Predicates
- Rerefined.Predicates.Operators
- Rerefined.Refine
- Rerefined.Refine.TH
- Rerefined.Simplify
- Rerefined.Simplify.Core
- Rerefined.Simplify.Relational
Dependencies
- QuickCheck lib:QuickCheck >=2.14 && <2.16
- base lib:base >=4.18 && <5
- mono-traversable lib:mono-traversable >=1.0.17.0 && <1.1
- template-haskell lib:template-haskell >=2.19.0.0 && <2.23
- text lib:text >=2.0 && <2.2
- text-builder-linear lib:text-builder-linear >=0.1.2 && <0.2
- type-level-show lib:type-level-show >=0.2.1 && <0.4
Reverse dependencies
Direct only. Not exhaustive.
- rerefined test:spec
- strongweak lib:strongweak
- strongweak test:spec