FreshPorts -- devel/hs-lazysmallcheck-ghc: A library for demand-driven testing of Haskell programs

Port details

hs-lazysmallcheck-ghc A library for demand-driven testing of Haskell programs

0.5 devel Σ=0 0.5Version of this port present on the latest quarterly branch.

Maintainer: haskell@FreeBSD.org

Port Added: 2009-03-14 15:19:59

Last Update: 2010-05-24 21:52:43

SVN Revision: UNKNOWN

Also Listed In: haskell

License: not specified in port

WWW:

http://www.cs.york.ac.uk/~mfn/lazysmallcheck/

Description: #

Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to `eager' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth. WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/

~~cgit~~ ¦ ~~GitHub~~ ¦ ~~GitHub~~ ¦ ~~GitLab~~ ¦

Manual pages: #

FreshPorts has no man page information for this port.

pkg-plist: as obtained via: make generate-plist #

There is no configure plist information for this port.

USE_RC_SUBR (Service Scripts)

no SUBR information found for this port

Dependency lines:

hs-lazysmallcheck-ghc>0:devel/hs-lazysmallcheck-ghc

No installation instructions:

This port has been deleted.

PKGNAME: hs-lazysmallcheck-ghc

Flavors: #

there is no flavor information for this port.

distinfo: #

There is no distinfo for this port.

No package information for this port in our database #: Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:

Dependencies #

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies: #

ghc : lang/ghc
haddock : devel/hs-haddock
HsColour : print/hs-hscolour

Runtime dependencies: #

ghc : lang/ghc

There are no ports dependent upon this port #

Configuration Options: #

No options to configure

Options name: #

N/A

pkg-message: #

FreshPorts was unable to extract/find any pkg message

Master Sites: #

Expand this list (2 items)

Collapse this list.

Number of commits found: 6 #

Commit	Credits	Log message
Commit History - (may be incomplete: for full details, see links to repositories near top of page)
0.5 24 May 2010 21:52:43	pgj	Rename the following Haskell ports to bring them in sync with the HackageDB: archivers/hs-zip-archive-ghc -> archivers/hs-zip-archive devel/hs-binary-ghc -> devel/hs-binary devel/darcs -> devel/hs-darcs devel/hs-language-c-ghc -> devel/hs-language-c devel/hs-lazysmallcheck-ghc -> devel/hs-lazysmallcheck devel/hs-pcre-light-ghc -> devel/hs-pcre-light devel/hs-utf8-string-ghc -> devel/hs-utf8-string graphics/hs-HGL-ghc -> graphics/hs-HGL ports-mgmt/porte -> ports-mgmt/hs-porte security/hs-digest-ghc -> security/hs-digest textproc/hs-haxml -> textproc/hs-HaXml textproc/hs-highlighting-kate-ghc -> textproc/hs-highlighting-kate (Only the first 15 lines of the commit message are shown above )
0.5 12 May 2010 16:33:59	pgj	Introduce a new (and hopefully better) ports infrastructure for Haskell Cabal ports which makes possible the direct translation of Cabal package descriptions to FreeBSD ports. It promises both easier addition and maintenance for Cabal-based ports.
0.5 30 Dec 2009 14:38:58	pgj	- Update to 0.5 PR: ports/142099 Submitted by: Jacula Modyun <jacula(at)gmail.com>
0.3_2 06 Dec 2009 20:56:55	pgj	- Update HsColour to 1.15 - Bump PORTREVISION for all affected ports PR: ports/138567, ports/138568 Submitted by: Ashish Shukla <wahjava (at) gmail.com> Approved by: maintainer
0.3_1 02 Sep 2009 15:38:45	pgj	- Update GHC and Haskell ports to 6.10.4 (for both i386 and amd64), bump port revision where appropriate - Add devel/hs-ghc-paths - Add devel/hs-QuickCheck - Add devel/hs-readline - Add devel/hs-haskeline - Add devel/hs-mmap - Remove lang/ghc-doc - Mark devel/lhs2TeX broken as it does not compile with GHC 6.10.4 - Set NHC98 as default compiler for devel/hs-hat as it does not compile with GHC 6.10.4 PR: ports/137055, ports/137058, ports/137059, ports/137060, ports/137061, ports/137062, ports/137063, ports/137063, ports/137064, ports/137065, ports/137066, ports/137067, ports/137068, ports/137069, ports/137070, (Only the first 15 lines of the commit message are shown above )
0.3 14 Mar 2009 15:19:34	pgj	Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to `eager' input generation as in SmallCheck, Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth. WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/ Approved by: gabor

Number of commits found: 6

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Latest Vulnerabilities

metasploit	Oct 30
mysql-connector-c++	Oct 30
mysql-connector-j	Oct 30
mysql-shell	Oct 30
mysql267-client	Oct 30
mysql267-server	Oct 30
mysql84-client	Oct 30
mysql84-server	Oct 30
mysql97-client	Oct 30
mysql97-server	Oct 30
openresty	Oct 30
phpmyadmin5	Oct 30
py-dj60-djangorestframework	Oct 30
py-dj61-djangorestframework	Oct 30
py-djangorestframework	Oct 30

56 vulnerabilities affecting 608 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2026-10-30 22:01:57 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	35346
Broken	63
Deprecated	360
Ignore	187
Forbidden	0
Restricted	1
No CDROM	1
Vulnerable	45
Expired	8
Set to expire	279
Interactive	0
new 24 hours	7
new 48 hours	13
new 7 days	46
new fortnight	116
new month	222