{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/leancheck","name":"leancheck","description":"LeanCheck is a simple enumerative property-based testing library.\n\nProperties are defined as Haskell functions returning a boolean value which\nshould be true for all possible choices of argument values.    LeanCheck\napplies enumerated argument values to these properties in search for a\ncounterexample.  Properties can be viewed as parameterized unit tests.\n\nLeanCheck works by producing tiers of test values: a possibly infinite list\nof finite sublists of same-and-increasingly-sized values.\n\nLeanCheck has lean core with only 200 lines of Haskell code.","version":"1.0.4","softwareVersion":"1.0.4","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/rudymatela/leancheck","issueTracker":"https://github.com/rudymatela/leancheck/issues","url":"https://github.com/rudymatela/leancheck#readme","keywords":["bsd3","library","testing","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"rudymatela"}],"author":[{"@type":"Person","name":"rudymatela"}],"copyrightHolder":[{"@type":"Person","name":"rudymatela"}],"dateCreated":"2016-04-07","dateModified":"2025-08-07","datePublished":"2025-08-07","copyrightYear":2016,"downloadUrl":"https://hackage.haskell.org/package/leancheck-1.0.4/leancheck-1.0.4.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/leancheck"],"https://www.w3.org/ns/activitystreams#likes":53,"https://forgefed.org/ns#forks":8}