Language

Package: ghc-quickcheck-classes-base @ 0.6.2.0

Synopsis

QuickCheck common typeclasses from `base`

Description

This library is a minimal variant of `quickcheck-classes` that only provides laws for typeclasses from `base`. The main purpose of splitting this out is so that `primitive` can depend on `quickcheck-classes-base` in its test suite, avoiding the circular dependency that arises if `quickcheck-classes` is used instead. . This library provides QuickCheck properties to ensure that typeclass instances adhere to the set of laws that they are supposed to. There are other libraries that do similar things, such as `genvalidity-hspec` and `checkers`. This library differs from other solutions by not introducing any new typeclasses that the user needs to learn. . /Note:/ on GHC < 8.5, this library uses the higher-kinded typeclasses ('Data.Functor.Classes.Show1', 'Data.Functor.Classes.Eq1', 'Data.Functor.Classes.Ord1', etc.), but on GHC >= 8.5, it uses `-XQuantifiedConstraints` to express these constraints more cleanly.

Home page
https://github.com/andrewthad/quickcheck-classes#readme
Location
gnu/packages/haskell-check.scm (line: 1106, column: 2)
License

Lint warnings

LinterMessageLocation
description

Validate package descriptions

use @code or similar ornament instead of quotes
description

Validate package descriptions

sentences in description should be followed by two spaces; possible infractions at 109, 318, 450, 544
formatting

Look for formatting issues in the source

line 1113 is way too long (101 characters)
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f8ed7409c60> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7fa7aa068c60> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f5755cb9c60> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f119da52c60> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fb2d2987dc0> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f3e6bc77dc0> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f62abeb7dc0> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fa23c1dddc0> input: ("_" "static")>
derivation

Report failure to compile a package to a derivation

failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f0f10522dc0> input: ("_" "static")>
description

Validate package descriptions

sentences in description should be followed by two spaces due to issues wth Emacs; possible infractions at 109, 318, 450, 544