{"id":20606114,"url":"https://github.com/rudymatela/hspec-leancheck","last_synced_at":"2025-04-15T02:37:26.039Z","repository":{"id":59153114,"uuid":"147890084","full_name":"rudymatela/hspec-leancheck","owner":"rudymatela","description":"LeanCheck support for the Hspec test framework.","archived":false,"fork":false,"pushed_at":"2025-01-30T17:13:25.000Z","size":67,"stargazers_count":2,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-28T14:22:31.547Z","etag":null,"topics":["haskell","hspec","leancheck","testing","testing-framework","testing-tools"],"latest_commit_sha":null,"homepage":null,"language":"Makefile","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rudymatela.png","metadata":{"files":{"readme":"README.md","changelog":"changelog.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null}},"created_at":"2018-09-08T01:25:21.000Z","updated_at":"2025-01-30T17:13:29.000Z","dependencies_parsed_at":"2024-02-09T12:12:11.780Z","dependency_job_id":null,"html_url":"https://github.com/rudymatela/hspec-leancheck","commit_stats":{"total_commits":62,"total_committers":1,"mean_commits":62.0,"dds":0.0,"last_synced_commit":"319514bb36a3356ed2d04d8ad32b28fcfc5a6c77"},"previous_names":[],"tags_count":5,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rudymatela%2Fhspec-leancheck","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rudymatela%2Fhspec-leancheck/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rudymatela%2Fhspec-leancheck/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rudymatela%2Fhspec-leancheck/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rudymatela","download_url":"https://codeload.github.com/rudymatela/hspec-leancheck/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248537192,"owners_count":21120711,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["haskell","hspec","leancheck","testing","testing-framework","testing-tools"],"created_at":"2024-11-16T09:32:36.043Z","updated_at":"2025-04-15T02:37:26.018Z","avatar_url":"https://github.com/rudymatela.png","language":"Makefile","funding_links":[],"categories":[],"sub_categories":[],"readme":"hspec-leancheck: LeanCheck support for Hspec\n============================================\n\n[![hspec-leancheck's Build Status][build-status]][build-log]\n[![hspec-leancheck on Hackage][hackage-version]][hspec-leancheck-on-hackage]\n[![hspec-leancheck on Stackage LTS][stackage-lts-badge]][hspec-leancheck-on-stackage-lts]\n[![hspec-leancheck on Stackage Nightly][stackage-nightly-badge]][hspec-leancheck-on-stackage-nightly]\n\n[LeanCheck] support for the [Hspec] test framework.\n\n\nInstalling\n----------\n\n    $ cabal install hspec-leancheck\n\n\nExample\n-------\n\nHere's how your `spec.hs` might look like:\n\n```haskell\nimport Test.Hspec\nimport Test.Hspec.LeanCheck as LC\n\nimport Data.List (sort)\n\nmain :: IO ()\nmain = hspec spec\n\nspec :: Spec\nspec = do\n  describe \"sort\" $ do\n    it \"is idempotent\" $\n      LC.property $ \\xs -\u003e sort (sort xs :: [Int]) == sort xs\n    it \"is identity\" $ -- not really\n      LC.property $ \\xs -\u003e sort (xs :: [Int]) == xs\n```\n\nAnd here is the output for the above program:\n\n```\n$ ./eg/minimal\n\nsort\n  is idempotent\n  is identity FAILED [1]\n\nFailures:\n\n  eg/minimal.hs:17:5: \n  1) sort is identity\n       [1,0]\n\n  To rerun use: --match \"/sort/is identity/\"\n\nRandomized with seed 44182769\n\nFinished in 0.0008 seconds\n2 examples, 1 failure\n```\n\n\nOptions\n-------\n\nUse `propertyWith` to configure the number of tests.\n\n\nFurther reading\n---------------\n\n* [hspec-leancheck's Haddock documentation];\n* [LeanCheck's Haddock documentation];\n* [Hspec's Haddock documentation];\n* [LeanCheck's README];\n* [Hspec's README];\n* [Tutorial on property-based testing with LeanCheck].\n\n[hspec-leancheck's Haddock documentation]: https://hackage.haskell.org/package/hspec-leancheck/docs/Test-Hspec-LeanCheck.html\n[LeanCheck's Haddock documentation]: https://hackage.haskell.org/package/leancheck/docs/Test-LeanCheck.html\n[Hspec's Haddock documentation]: https://hackage.haskell.org/package/hspec/docs/Test-Hspec.html\n[LeanCheck's README]: https://github.com/rudymatela/leancheck#readme\n[Hspec's README]: https://github.com/hspec/hspec#readme\n[tutorial on property-based testing with LeanCheck]: https://github.com/rudymatela/leancheck/blob/master/doc/tutorial.md\n\n[Hspec]:     https://hspec.github.io/\n[LeanCheck]: https://github.com/rudymatela/leancheck\n\n[build-log]:     https://github.com/rudymatela/hspec-leancheck/actions/workflows/build.yml\n[build-status]:  https://github.com/rudymatela/hspec-leancheck/actions/workflows/build.yml/badge.svg\n[hackage-version]: https://img.shields.io/hackage/v/hspec-leancheck.svg\n[hspec-leancheck-on-hackage]: https://hackage.haskell.org/package/hspec-leancheck\n[stackage-lts-badge]:                  https://stackage.org/package/hspec-leancheck/badge/lts\n[stackage-nightly-badge]:              https://stackage.org/package/hspec-leancheck/badge/nightly\n[hspec-leancheck-on-stackage]:         https://stackage.org/package/hspec-leancheck\n[hspec-leancheck-on-stackage-lts]:     https://stackage.org/lts/package/hspec-leancheck\n[hspec-leancheck-on-stackage-nightly]: https://stackage.org/nightly/package/hspec-leancheck\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frudymatela%2Fhspec-leancheck","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Frudymatela%2Fhspec-leancheck","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frudymatela%2Fhspec-leancheck/lists"}