Package: libghc-quickcheck-classes-base-doc (0.6.2.0-3)

[ Source: haskell-quickcheck-classes-base  ]

QuickCheck common typeclasses from `base`; documentation

This libary 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.

This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Other Packages Related to libghc-quickcheck-classes-base-doc

• dep: haddock-interface-38

  virtual package provided by ghc

• dep: sgml-base (>= 1.28)

  SGML infrastructure and SGML catalog file support

• rec: ghc-doc

  Documentation for the Glasgow Haskell Compilation system

• rec: libghc-quickcheck-classes-base-dev

  QuickCheck common typeclasses from `base`

• rec: libghc-quickcheck2-doc

  Haskell automatic testing library for GHC; documentation

• rec: libjs-mathjax

  JavaScript display engine for LaTeX and MathML

• sug: libghc-quickcheck-classes-base-prof

  QuickCheck common typeclasses from `base`; profiling libraries

Download libghc-quickcheck-classes-base-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	139.3 kB	3,044.0 kB	[list of files]