{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/quickspec","name":"quickspec","description":"QuickSpec takes your Haskell code and, as if by magic, discovers laws\nabout it. You give QuickSpec a collection of Haskell functions;\nQuickSpec tests your functions with QuickCheck and prints out laws which\nseem to hold.\n\nFor example, give QuickSpec the functions reverse, ++ and [], and\nit will find six laws:\n\nQuickSpec can find equational laws as well as conditional equations. All\nyou need to supply are the functions to test, as well as Ord and\nArbitrary instances for QuickSpec to use in testing; the rest is\nautomatic.\n\nFor information on how to use QuickSpec, see the documentation in the main\nmodule, QuickSpec. You can also look in the\nexamples\ndirectory, for example at\nLists.hs,\nIntSet.hs, or\nParsing.hs.\nTo read about how\nQuickSpec works, see our paper,\nQuick specifications for the busy programmer.","version":"2.2.2","softwareVersion":"2.2.2","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/nick8325/quickspec","issueTracker":"https://github.com/nick8325/quickspec/issues","url":"https://github.com/nick8325/quickspec","keywords":["bsd3","library","testing","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"NickSmallbone"}],"author":[{"@type":"Person","name":"NickSmallbone"}],"copyrightHolder":[{"@type":"Person","name":"NickSmallbone"}],"dateCreated":"2013-02-19","dateModified":"2026-08-27","datePublished":"2026-08-27","copyrightYear":2013,"downloadUrl":"https://hackage.haskell.org/package/quickspec-2.2.2/quickspec-2.2.2.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/quickspec"],"https://www.w3.org/ns/activitystreams#likes":270,"https://forgefed.org/ns#forks":29}