stock-quickcheck: Derive Arbitrary via the stock plugin

The stock plugin provides a newtype Stock for deriving and synthesising instances at compile time. stock-quickcheck extends it to support Arbitrary, CoArbitrary, and their higher-kinded variants.

{-# options_ghc -fplugin Stock #-}

{-# language DerivingVia #-}
{-# language DataKinds   #-}

import Stock
import Stock.QuickCheck

import Test.QuickCheck

data Person = P { name :: String, age :: Int }
  deriving (Eq, Ord, Show, Read) via
    Stock Person
  deriving Arbitrary via
    Overriding Person
      [ name via ASCIIString, age via Positive ]

stock-quickcheck provides four instances, that signal to the plugin how to derive Arbitrary, Arbitrary1, Arbitrary2 and CoArbitrary.

arbitrary is structural and size-aware, in the style of generic-arbitrary. It picks a constructor, preferring terminal constructors once the size runs out, so recursive types terminate, and fills each field with its own arbitrary, dividing the size among recursive fields. shrink defaults.

instance DeriveStock  Arbitrary   ..
instance DeriveStock1 Arbitrary1  ..
instance DeriveStock2 Arbitrary2  ..
instance DeriveStock  CoArbitrary ..

stock companion packages include:

• stock-deepseq: NFData, NFData1, NFData2

• stock-hashable: Hashable, Hashable1, Hashable2

• stock-aeson: ToJSON, ToJSON1, ToJSON2; FromJSON, FromJSON1, FromJSON2

• stock-quickcheck: Arbitrary, Arbitrary1, Arbitrary2; CoArbitrary

• stock-profunctors: Profunctor

Modules

[Index] [Quick Jump]

Downloads

• stock-quickcheck-0.1.0.0.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

• BaldurBlondal

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates