stock-deepseq: Derive NFData via the stock plugin

The stock plugin provides a newtype Stock for deriving and synthesising instances at compile time. stock-deepseq extends it to support NFData and higher-kinded variants.

{-# options_ghc -fplugin Stock #-}

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

import Stock
import Stock.NFData

import Control.Exception

data Person = P { name :: String, age :: Int, secret :: Person }
  deriving (Eq, Ord, Show, NFData) via 
    Stock Person

-- >> try @SomeException (evaluate (rnf geir))
-- Left stack overflow
-- >> geir == geir
-- <loop>
-- >> geir
-- P {name = "Geir", age = 10, secret = P {name = "Geir", .. } }
geir :: Person
geir = P { name = "Geir", age = 10, secret = geir }

The rnf function triggers the loop, but by pinning secret as an ignored field, we can happily force the other fields.

newtype Ignore a = Ignore a
instance NFData (Ignore a) where rnf _ = ()
instance Eq     (Ignore a) where _ == _ = True
instance Ord    (Ignore a) where compare _ _ = EQ
instance Show   (Ignore a) where show _ = "<ignored>"

data Person = P { name :: String, age :: Int, secret :: Person }
  deriving (Eq, Ord, Show, NFData) via 
    Overriding Person '[ secret via Ignore ]

-- >> try @SomeException (evaluate (rnf geir))
-- Right ()
-- >> geir == geir
-- True
-- >> geir
-- P {name = "Geir", age = 10, secret = <ignored>}

stock-deepseq provides three instances, that signal to the plugin how to derive NFData, NFData1, NFData2.

instance DeriveStock  NFData  ..
instance DeriveStock1 NFData1 ..
instance DeriveStock2 NFData2 ..

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-deepseq-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