Comments (2)
I agree, but I'm not sure if it's possible without catching false positives.
from validity.
To elaborate on this a bit: I don't know how to detect cyclic instances in such a way that validating recursive datastructures still work.
For example:
data Tree a = Node a (Tree a) (Tree a)
from validity.
Related Issues (20)
- genvalidity-text-1.0.0.0 testsuite failed in Stackage Nightly build HOT 5
- genvalidity-text-1.0.0.1 benchmark compilation errors HOT 2
- genvalidity-hspec doesn't build with hspec 2.10 HOT 1
- Are there replacements for `GenInvalid` and `GenUnchecked`? HOT 1
- genvalidity-sydtest specs for Enum/Bounded HOT 4
- Build error with hspec-core-2.11 HOT 1
- Pass the validation to `MonadFail`? HOT 1
- genvalidity-hspec fails to build with ghc-9.6 HOT 1
- validity-path-0.4.0.1: Overlapping instances for Eq (Maybe (Path Rel Dir)) HOT 7
- Please, provide a general introduction example HOT 4
- genvalidity-containers-0.9.0.0 test compilation failure HOT 3
- Tests fail on 32-bit architectures HOT 8
- GenUnchecked and abstract data types HOT 5
- Genvalidity support for ghc-8.2 and prior HOT 1
- genvalidity-0.11.0.2: Variable not in scope: isLineSeparator HOT 2
- How to build HOT 2
- Aeson tests don't validate toJSON and toEncoding agree HOT 2
- Aeson tests should support golden round trip tests HOT 4
- genvalidity-time-1.0.0.0: No instance for (Validity CalendarDiffDays) HOT 1
- validity-aeson fails to build with aeson-2.0 HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from validity.